🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Finding Root Causes of Floating Point Error with Herbgrind

Alex Sanchez-Stern, Pavel Panchekha, ... (+2 more)

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

R.I.P. 👻 Ghosted

Conditioning in Probabilistic Programming

Friedrich Gretz, Nils Jansen, ... (+4 more)

cs.PL 🏛 Mathematical Foundations of Programming Semantics 📚 79 cites 11 years ago

R.I.P. 👻 Ghosted

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)

Julien Lange, Nicholas Ng, ... (+2 more)

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

R.I.P. 👻 Ghosted

Refinement Reflection: Complete Verification with SMT

Niki Vazou, Anish Tondwalkar, ... (+5 more)

cs.PL 🏛 PACMPL 📚 77 cites 8 years ago

R.I.P. 👻 Ghosted

Formal Specification and Verification of Smart Contracts for Azure Blockchain

Yuepeng Wang, Shuvendu K. Lahiri, ... (+5 more)

cs.PL 🏛 arXiv 📚 75 cites 7 years ago

R.I.P. 👻 Ghosted

Denotational validation of higher-order Bayesian inference

Adam Ścibior, Ohad Kammar, ... (+8 more)

cs.PL 🏛 PACMPL 📚 75 cites 8 years ago

R.I.P. 👻 Ghosted

Synthesizing Coupling Proofs of Differential Privacy

Aws Albarghouthi, Justin Hsu

cs.PL 🏛 PACMPL 📚 75 cites 8 years ago

R.I.P. 👻 Ghosted

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

Alan Jeffrey, James Riely

cs.PL 🏛 Log. Methods Comput. Sci. 📚 75 cites 8 years ago

R.I.P. 👻 Ghosted

Hazelnut: A Bidirectionally Typed Structure Editor Calculus

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

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

R.I.P. 👻 Ghosted

Refactoring Programs Using Large Language Models with Few-Shot Examples

Atsushi Shirafuji, Yusuke Oda, ... (+3 more)

cs.PL 🏛 Asia-Pacific Software Engineering Conference 📚 74 cites 2 years ago

R.I.P. 👻 Ghosted

Bidirectional Typing

Jana Dunfield, Neel Krishnaswami

cs.PL 🏛 ACM CSUR 📚 74 cites 6 years ago

R.I.P. 👻 Ghosted

Top-Down Synthesis for Library Learning

Matthew Bowers, Theo X. Olausson, ... (+5 more)

cs.PL 🏛 PACMPL 📚 74 cites 3 years ago

R.I.P. 👻 Ghosted

Predictable Accelerator Design with Time-Sensitive Affine Types

Rachit Nigam, Sachille Atapattu, ... (+7 more)

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

R.I.P. 👻 Ghosted

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

Carmine Abate, Roberto Blanco, ... (+4 more)

cs.PL 🏛 CSF 📚 73 cites 7 years ago

R.I.P. 👻 Ghosted

Stream Fusion, to Completeness

Oleg Kiselyov, Aggelos Biboudis, ... (+2 more)

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

R.I.P. 👻 Ghosted

Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling

Feras A. Saad, Marco F. Cusumano-Towner, ... (+3 more)

cs.PL 🏛 PACMPL 📚 72 cites 6 years ago

R.I.P. 👻 Ghosted

A Simple Differentiable Programming Language

Martin Abadi, Gordon D. Plotkin

cs.PL 🏛 PACMPL 📚 71 cites 6 years ago

R.I.P. 👻 Ghosted

Precise, Dynamic Information Flow for Database-Backed Applications

Jean Yang, Travis Hance, ... (+4 more)

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

R.I.P. 👻 Ghosted

Oxide: The Essence of Rust

Aaron Weiss, Olek Gierczak, ... (+2 more)

cs.PL 🏛 arXiv 📚 70 cites 7 years ago

R.I.P. 👻 Ghosted

Quantitative Analysis of Smart Contracts

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner

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

R.I.P. 👻 Ghosted

Rehearsal: A Configuration Verification Tool for Puppet

Rian Shambaugh, Aaron Weiss, Arjun Guha

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

R.I.P. 👻 Ghosted

A Deductive Verification Framework for Circuit-building Quantum Programs

Christophe Chareton, Sébastien Bardin, ... (+3 more)

cs.PL 🏛 European Symposium on Programming 📚 69 cites 6 years ago

R.I.P. 👻 Ghosted

Generating Correctness Proofs with Neural Networks

Alex Sanchez-Stern, Yousef Alhessi, ... (+2 more)

cs.PL 🏛 MAPL@PLDI 📚 69 cites 6 years ago

R.I.P. 👻 Ghosted

Optimal Stateless Model Checking under the Release-Acquire Semantics

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

cs.PL 🏛 PACMPL 📚 69 cites 7 years ago