🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Bounded Expectations: Resource Analysis for Probabilistic Programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann

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

R.I.P. 👻 Ghosted

Linear Haskell: practical linearity in a higher-order polymorphic language

Jean-Philippe Bernardy, Mathieu Boespflug, ... (+3 more)

cs.PL 🏛 PACMPL 📚 121 cites 8 years ago

R.I.P. 👻 Ghosted

Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks

Sahil Bhatia, Rishabh Singh

cs.PL 🏛 arXiv 📚 120 cites 10 years ago

R.I.P. 👻 Ghosted

Scilla: a Smart Contract Intermediate-Level LAnguage

Ilya Sergey, Amrit Kumar, Aquinas Hobor

cs.PL 🏛 arXiv 📚 119 cites 8 years ago

R.I.P. 👻 Ghosted

Relay: A New IR for Machine Learning Frameworks

Jared Roesch, Steven Lyubomirsky, ... (+5 more)

cs.PL 🏛 MAPL@PLDI 📚 117 cites 7 years ago

🌅 🌅 Old Age

The simple essence of automatic differentiation

Conal Elliott

cs.PL 🏛 PACMPL 📚 117 cites 8 years ago

R.I.P. 👻 Ghosted

Paxos Made EPR: Decidable Reasoning about Distributed Protocols

Oded Padon, Giuliano Losa, ... (+2 more)

cs.PL 🏛 PACMPL 📚 116 cites 8 years ago

R.I.P. 👻 Ghosted

Do be do be do

Sam Lindley, Conor McBride, Craig McLaughlin

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

R.I.P. 👻 Ghosted

LambdaNet: Probabilistic Type Inference using Graph Neural Networks

Jiayi Wei, Maruth Goyal, ... (+2 more)

cs.PL 🏛 ICLR 📚 115 cites 5 years ago

R.I.P. 👻 Ghosted

Design and Implementation of Probabilistic Programming Language Anglican

David Tolpin, Jan Willem van de Meent, ... (+2 more)

cs.PL 🏛 ICIAFL 📚 114 cites 9 years ago

R.I.P. 👻 Ghosted

Termination Analysis of Probabilistic Programs through Positivstellensatz's

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady

cs.PL 🏛 CAV 📚 114 cites 9 years ago

R.I.P. 👻 Ghosted

A Lambda-Calculus Foundation for Universal Probabilistic Programming

Johannes Borgström, Ugo Dal Lago, ... (+2 more)

cs.PL 🏛 ACM SIGPLAN International Conference on Functional Programming 📚 111 cites 10 years ago

R.I.P. 👻 Ghosted

ADsafety: Type-Based Verification of JavaScript Sandboxing

Joe Gibbs Politz, Spiridon Eliopoulos, ... (+2 more)

cs.PL 🏛 USENIX Sec 📚 108 cites 10 years ago

R.I.P. 👻 Ghosted

Program Synthesis using Abstraction Refinement

Xinyu Wang, Isil Dillig, Rishabh Singh

cs.PL 🏛 PACMPL 📚 107 cites 8 years ago

R.I.P. 👻 Ghosted

Virtual Machine Warmup Blows Hot and Cold

Edd Barrett, Carl Friedrich Bolz-Tereick, ... (+3 more)

cs.PL 🏛 PACMPL 📚 107 cites 10 years ago

R.I.P. 👻 Ghosted

Formal Foundations of Serverless Computing

Abhinav Jangda, Donald Pinckney, ... (+2 more)

cs.PL 🏛 PACMPL 📚 105 cites 7 years ago

R.I.P. 👻 Ghosted

Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness

Greg Anderson, Shankara Pailoor, ... (+2 more)

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

R.I.P. 👻 Ghosted

A New Proof Rule for Almost-Sure Termination

Annabelle McIver, Carroll Morgan, ... (+2 more)

cs.PL 🏛 PACMPL 📚 103 cites 8 years ago

R.I.P. 👻 Ghosted

Stochastic Invariants for Probabilistic Termination

Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić

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

R.I.P. 👻 Ghosted

EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++

Gregory J. Duck, Roland H. C. Yap

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

R.I.P. 👻 Ghosted

Data-Driven Feedback Generation for Introductory Programming Exercises

Ke Wang, RIshabh Singh, Zhendong Su

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

R.I.P. 👻 Ghosted

Live Functional Programming with Typed Holes

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

cs.PL 🏛 PACMPL 📚 100 cites 7 years ago

R.I.P. 👻 Ghosted

Overhauling SC Atomics in C11 and OpenCL

Mark Batty, Alastair F. Donaldson, John Wickerson

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

R.I.P. 👻 Ghosted

Engineering Record And Replay For Deployability: Extended Technical Report

Robert O'Callahan, Chris Jones, ... (+4 more)

cs.PL 🏛 USENIX Annual Technical Conference 📚 99 cites 8 years ago