🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Active Learning of Points-To Specifications

Osbert Bastani, Rahul Sharma, ... (+2 more)

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

R.I.P. 👻 Ghosted

Correctness of Speculative Optimizations with Dynamic Deoptimization

Olivier Flückiger, Gabriel Scherer, ... (+4 more)

cs.PL 🏛 PACMPL 📚 28 cites 8 years ago

R.I.P. 👻 Ghosted

Automating Deductive Verification for Weak-Memory Programs

Alexander J. Summers, Peter Müller

cs.PL 🏛 International Journal on Software Tools for Technology Transfer (STTT) 📚 28 cites 9 years ago

R.I.P. 👻 Ghosted

An Erlang Implementation of Multiparty Session Actors

Simon Fowler

cs.PL 🏛 ICICE 📚 28 cites 9 years ago

R.I.P. 👻 Ghosted

Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)

Eric L Seidel, Ranjit Jhala, Westley Weimer

cs.PL 🏛 Journal of functional programming 📚 28 cites 9 years ago

R.I.P. 👻 Ghosted

Types from data: Making structured data first-class citizens in F#

Tomas Petricek, Gustavo Guerra, Don Syme

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

R.I.P. 👻 Ghosted

Choreographies in Practice

Luís Cruz-Filipe, Fabrizio Montesi

cs.PL 🏛 Formal Techniques for (Networked and) Distributed Systems 📚 28 cites 10 years ago

R.I.P. 👻 Ghosted

A Language for the Declarative Composition of Concurrent Protocols

Luís Cruz-Filipe, Fabrizio Montesi

cs.PL 🏛 Formal Techniques for (Networked and) Distributed Systems 📚 28 cites 10 years ago

R.I.P. 👻 Ghosted

Abstraction Refinement Guided by a Learnt Probabilistic Model

Radu Grigore, Hongseok Yang

cs.PL 🏛 ACM-SIGACT Symposium on Principles of Programming Languages 📚 28 cites 10 years ago

R.I.P. 👻 Ghosted

Verified Code Transpilation with LLMs

Sahil Bhatia, Jie Qiu, ... (+3 more)

cs.PL 🏛 NeurIPS 📚 27 cites 2 years ago

R.I.P. 👻 Ghosted

DynamiTe: Dynamic Termination and Non-termination Proofs

Ton Chanh Le, Timos Antonopoulos, ... (+3 more)

cs.PL 🏛 PACMPL 📚 27 cites 5 years ago

R.I.P. 👻 Ghosted

Internalizing Representation Independence with Univalence

Carlo Angiuli, Evan Cavallo, ... (+2 more)

cs.PL 🏛 PACMPL 📚 27 cites 5 years ago

R.I.P. 👻 Ghosted

Duality of Session Types: The Final Cut

Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos

cs.PL 🏛 PLACES@ETAPS 📚 27 cites 6 years ago

R.I.P. 👻 Ghosted

Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)

G. A. Kavvos, Edward Morehouse, ... (+2 more)

cs.PL 🏛 PACMPL 📚 27 cites 6 years ago

R.I.P. 👻 Ghosted

A Message-Passing Interpretation of Adjoint Logic

Klaas Pruiksma, Frank Pfenning

cs.PL 🏛 PLACES@ETAPS 📚 27 cites 7 years ago

R.I.P. 👻 Ghosted

JANUS: Fast and Flexible Deep Learning via Symbolic Graph Execution of Imperative Programs

Eunji Jeong, Sungwoo Cho, ... (+4 more)

cs.PL 🏛 NSDI 📚 27 cites 7 years ago

R.I.P. 👻 Ghosted

A wide-spectrum language for verification of programs on weak memory models

Robert J. Colvin, Graeme Smith

cs.PL 🏛 FM 📚 27 cites 8 years ago

R.I.P. 👻 Ghosted

jsCoq: Towards Hybrid Theorem Proving Interfaces

Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot

cs.PL 🏛 UITP 📚 27 cites 9 years ago

R.I.P. 👻 Ghosted

A Verified Compiler for Probability Density Functions

Manuel Eberl, Johannes Hölzl, Tobias Nipkow

cs.PL 🏛 European Symposium on Programming 📚 27 cites 8 years ago

R.I.P. 👻 Ghosted

Rusty Variation: Deadlock-free Sessions with Failure in Rust

Wen Kokke

cs.PL 🏛 ICICE 📚 26 cites 6 years ago

R.I.P. 👻 Ghosted

The Marriage of Univalence and Parametricity

Nicolas Tabareau, Éric Tanter, Matthieu Sozeau

cs.PL 🏛 J.A 📚 26 cites 6 years ago

R.I.P. 👻 Ghosted

A true concurrent model of smart contracts executions

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia

cs.PL 🏛 ICCML 📚 26 cites 7 years ago

R.I.P. 👻 Ghosted

Every Data Structure Deserves Lock-Free Memory Reclamation

Nachshon Cohen

cs.PL 🏛 PACMPL 📚 26 cites 7 years ago

R.I.P. 👻 Ghosted

Alone Together: Compositional Reasoning and Inference for Weak Isolation

Gowtham Kaki, Kartik Nagar, ... (+2 more)

cs.PL 🏛 PACMPL 📚 26 cites 8 years ago