🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Logical Relations as Types: Proof-Relevant Parametricity for Program Modules

Jonathan Sterling, Robert Harper

cs.PL 🏛 J.A 📚 33 cites 5 years ago

R.I.P. 👻 Ghosted

Automated Termination Analysis of Polynomial Probabilistic Programs

Marcel Moosbrugger, Ezio Bartocci, ... (+2 more)

cs.PL 🏛 European Symposium on Programming 📚 33 cites 5 years ago

R.I.P. 👻 Ghosted

Raising Expectations: Automating Expected Cost Analysis with Types

Di Wang, David M Kahn, Jan Hoffmann

cs.PL 🏛 PACMPL 📚 33 cites 5 years ago

R.I.P. 👻 Ghosted

Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems

Qinheping Hu, John Cyphert, ... (+2 more)

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 33 cites 6 years ago

R.I.P. 👻 Ghosted

Mesh: Compacting Memory Management for C/C++ Applications

Bobby Powers, David Tench, ... (+2 more)

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 33 cites 7 years ago

R.I.P. 👻 Ghosted

Juniper: A Functional Reactive Programming Language for the Arduino

Caleb Helbling, Samuel Z Guyer

cs.PL 🏛 FARM@ICFP 📚 33 cites 6 years ago

R.I.P. 👻 Ghosted

Heaps Don't Lie: Countering Unsoundness with Heap Snapshots

Neville Grech, George Fourtounis, ... (+2 more)

cs.PL 🏛 PACMPL 📚 33 cites 7 years ago

R.I.P. 👻 Ghosted

Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools

Michael Van De Vanter, Chris Seaton, ... (+3 more)

cs.PL 🏛 Programming 📚 33 cites 8 years ago

R.I.P. 👻 Ghosted

Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption

Pedro Lopez-Garcia, Luthfi Darmawan, ... (+4 more)

cs.PL 🏛 TPLP 📚 33 cites 8 years ago

R.I.P. 👻 Ghosted

Diagrammatic Semantics for Digital Circuits

Dan R. Ghica, Achim Jung, Aliaume Lopez

cs.PL 🏛 Annual Conference for Computer Science Logic 📚 33 cites 9 years ago

R.I.P. 👻 Ghosted

Toward Semantic Foundations for Program Editors

Cyrus Omar, Ian Voysey, ... (+5 more)

cs.PL 🏛 Summit on Advances in Programming Languages 📚 33 cites 9 years ago

R.I.P. 👻 Ghosted

Context-Bounded Model Checking for POWER

Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+2 more)

cs.PL 🏛 ICTACAS 📚 33 cites 9 years ago

R.I.P. 👻 Ghosted

OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints

Irene Vlassi Pandi, Earl T. Barr, ... (+2 more)

cs.PL 🏛 arXiv 📚 32 cites 6 years ago

R.I.P. 👻 Ghosted

SAFEVM: A Safety Verifier for Ethereum Smart Contracts

Elvira Albert, Jesús Correas, ... (+3 more)

cs.PL 🏛 ISSTA 📚 32 cites 6 years ago

R.I.P. 👻 Ghosted

On the Termination Problem for Probabilistic Higher-Order Recursive Programs

Naoki Kobayashi, Ugo Dal Lago, Charles Grellois

cs.PL 🏛 Logic in Computer Science 📚 32 cites 7 years ago

R.I.P. 👻 Ghosted

Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool Coq

Zheng Yang, Hang Lei

cs.PL 🏛 arXiv 📚 32 cites 8 years ago

R.I.P. 👻 Ghosted

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

Joachim Breitner, Antal Spector-Zabusky, ... (+4 more)

cs.PL 🏛 Journal of functional programming 📚 32 cites 8 years ago

R.I.P. 👻 Ghosted

Non-polynomial Worst-Case Analysis of Recursive Programs

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady

cs.PL 🏛 CAV 📚 32 cites 9 years ago

R.I.P. 👻 Ghosted

Rust: The Programming Language for Safety and Performance

William Bugden, Ayman Alahmar

cs.PL 🏛 arXiv 📚 32 cites 3 years ago

R.I.P. 👻 Ghosted

High-Performance Deterministic Concurrency using Lingua Franca

Christian Menard, Marten Lohstroh, ... (+11 more)

cs.PL 🏛 ACM Transactions on Architecture and Code Optimization (TACO) 📚 31 cites 3 years ago

R.I.P. 👻 Ghosted

Adding Interactive Visual Syntax to Textual Code

Leif Andersen, Michael Ballantyne, Matthias Felleisen

cs.PL 🏛 PACMPL 📚 31 cites 5 years ago

R.I.P. 👻 Ghosted

Towards a Formal Foundation of Intermittent Computing

Milijana Surbatovich, Limin Jia, Brandon Lucia

cs.PL 🏛 PACMPL 📚 31 cites 5 years ago

R.I.P. 👻 Ghosted

Crafty: Efficient, HTM-Compatible Persistent Transactions

Kaan Genç, Michael D. Bond, Guoqing Harry Xu

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 31 cites 6 years ago

R.I.P. 👻 Ghosted

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

Sebastian Ullrich, Leonardo de Moura

cs.PL 🏛 ICIAFL 📚 31 cites 6 years ago