🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Pushdown Control-Flow Analysis for Free

Thomas Gilray, Steven Lyde, ... (+3 more)

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

R.I.P. 👻 Ghosted

Revisiting Actor Programming in C++

Dominik Charousset, Raphael Hiesgen, Thomas C. Schmidt

cs.PL 🏛 Computer languages, systems & structures 📚 53 cites 10 years ago

R.I.P. 👻 Ghosted

Fault-Aware Neural Code Rankers

Jeevana Priya Inala, Chenglong Wang, ... (+6 more)

cs.PL 🏛 NeurIPS 📚 53 cites 3 years ago

R.I.P. 👻 Ghosted

ExceLint: Automatically Finding Spreadsheet Formula Errors

Daniel W. Barowy, Emery D. Berger, Benjamin Zorn

cs.PL 🏛 PACMPL 📚 52 cites 7 years ago

R.I.P. 👻 Ghosted

Towards Neural Decompilation

Omer Katz, Yuval Olshaker, ... (+2 more)

cs.PL 🏛 arXiv 📚 52 cites 6 years ago

R.I.P. 👻 Ghosted

Dijkstra Monads for All

Kenji Maillard, Danel Ahman, ... (+5 more)

cs.PL 🏛 PACMPL 📚 52 cites 7 years ago

R.I.P. 👻 Ghosted

Obsidian: Typestate and Assets for Safer Blockchain Programming

Michael Coblenz, Reed Oei, ... (+7 more)

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 51 cites 6 years ago

R.I.P. 👻 Ghosted

On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony

Ahmed Bouajjani, Constantin Enea, ... (+2 more)

cs.PL 🏛 CAV 📚 51 cites 7 years ago

R.I.P. 👻 Ghosted

Beginner's Luck: A Language for Property-Based Generators

Leonidas Lampropoulos, Diane Gallois-Wong, ... (+4 more)

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

R.I.P. 👻 Ghosted

Just-in-Time Learning for Bottom-Up Enumerative Synthesis

Shraddha Barke, Hila Peleg, Nadia Polikarpova

cs.PL 🏛 PACMPL 📚 50 cites 5 years ago

R.I.P. 👻 Ghosted

Property Directed Self Composition

Ron Shemer, Arie Gurfinkel, ... (+2 more)

cs.PL 🏛 CAV 📚 50 cites 6 years ago

R.I.P. 👻 Ghosted

What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection

Umang Mathur, Dileep Kini, Mahesh Viswanathan

cs.PL 🏛 PACMPL 📚 50 cites 7 years ago

R.I.P. 👻 Ghosted

A Separation Logic for Concurrent Randomized Programs

Joseph Tassarotti, Robert Harper

cs.PL 🏛 PACMPL 📚 50 cites 8 years ago

R.I.P. 👻 Ghosted

Verifying and Synthesizing Constant-Resource Implementations with Types

Van Chan Ngo, Mario Dehesa-Azuara, ... (+2 more)

cs.PL 🏛 IEEE S&P 📚 50 cites 8 years ago

R.I.P. 👻 Ghosted

A Higher-Order Logic for Concurrent Termination-Preserving Refinement

Joseph Tassarotti, Ralf Jung, Robert Harper

cs.PL 🏛 European Symposium on Programming 📚 50 cites 9 years ago

R.I.P. 👻 Ghosted

Coupling proofs are probabilistic product programs

Gilles Barthe, Benjamin Grégoire, ... (+2 more)

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

R.I.P. 👻 Ghosted

Java Generics are Turing Complete

Radu Grigore

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

R.I.P. 👻 Ghosted

Proving Differential Privacy with Shadow Execution

Yuxin Wang, Zeyu Ding, ... (+3 more)

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

R.I.P. 👻 Ghosted

Total Haskell is Reasonable Coq

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

cs.PL 🏛 Certified Programs and Proofs 📚 48 cites 8 years ago

R.I.P. 👻 Ghosted

Polymorphic Type Inference for Machine Code

Matthew Noonan, Alexey Loginov, David Cok

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

R.I.P. 👻 Ghosted

Event-Driven Network Programming

Jedidiah McClurg, Hossein Hojjat, ... (+2 more)

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

R.I.P. 👻 Ghosted

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling

Roberto Casadei

cs.PL 🏛 ACM CSUR 📚 48 cites 4 years ago

R.I.P. 👻 Ghosted

Better Together: Unifying Datalog and Equality Saturation

Yihong Zhang, Yisu Remy Wang, ... (+6 more)

cs.PL 🏛 Proceedings of the ACM on Programming Languages 📚 47 cites 2 years ago

R.I.P. 👻 Ghosted

CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples

Yuxin Wang, Zeyu Ding, ... (+2 more)

cs.PL 🏛 CCS 📚 47 cites 5 years ago