🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Automated Clustering and Program Repair for Introductory Programming Assignments

Sumit Gulwani, Ivan Radiček, Florian Zuleger

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

R.I.P. 👻 Ghosted

GraphIt: A High-Performance DSL for Graph Analytics

Yunming Zhang, Mengjiao Yang, ... (+4 more)

cs.PL 🏛 PACMPL 📚 172 cites 7 years ago

R.I.P. 👻 Ghosted

Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code

Abhinav Jangda, Bobby Powers, ... (+2 more)

cs.PL 🏛 USENIX Annual Technical Conference 📚 163 cites 7 years ago

R.I.P. 👻 Ghosted

Verified Low-Level Programming Embedded in F*

Jonathan Protzenko, Jean-Karim Zinzindohoué, ... (+9 more)

cs.PL 🏛 PACMPL 📚 161 cites 9 years ago

R.I.P. 👻 Ghosted

Program Synthesis using Natural Language

Aditya Desai, Sumit Gulwani, ... (+6 more)

cs.PL 🏛 ICSE 📚 160 cites 10 years ago

R.I.P. 👻 Ghosted

Interaction Trees: Representing Recursive and Impure Programs in Coq

Li-yao Xia, Yannick Zakowski, ... (+5 more)

cs.PL 🏛 PACMPL 📚 156 cites 6 years ago

R.I.P. 👻 Ghosted

Typilus: Neural Type Hints

Miltiadis Allamanis, Earl T. Barr, ... (+2 more)

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

R.I.P. 👻 Ghosted

NatGen: Generative pre-training by "Naturalizing" source code

Saikat Chakraborty, Toufique Ahmed, ... (+3 more)

cs.PL 🏛 FSE 📚 146 cites 3 years ago

R.I.P. 👻 Ghosted

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

Sam Staton, Hongseok Yang, ... (+3 more)

cs.PL 🏛 Logic in Computer Science 📚 144 cites 10 years ago

R.I.P. 👻 Ghosted

A Categorical Programming Language

Tatsuya Hagino

cs.PL 🏛 arXiv 📚 143 cites 5 years ago

R.I.P. 👻 Ghosted

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Clara Schneidewind, Ilya Grishchenko, ... (+2 more)

cs.PL 🏛 CCS 📚 138 cites 5 years ago

R.I.P. 👻 Ghosted

A Verified Optimizer for Quantum Circuits

Kesha Hietala, Robert Rand, ... (+3 more)

cs.PL 🏛 PACMPL 📚 138 cites 6 years ago

R.I.P. 👻 Ghosted

BOLT: A Practical Binary Optimizer for Data Centers and Beyond

Maksim Panchenko, Rafael Auler, ... (+2 more)

cs.PL 🏛 IEEE/ACM International Symposium on Code Generation and Optimization 📚 138 cites 7 years ago

R.I.P. 👻 Ghosted

Towards Automatic Resource Bound Analysis for OCaml

Jan Hoffmann, Ankush Das, Shu-Chun Weng

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

R.I.P. 👻 Ghosted

Spectre is here to stay: An analysis of side-channels and speculative execution

Ross Mcilroy, Jaroslav Sevcik, ... (+3 more)

cs.PL 🏛 arXiv 📚 132 cites 7 years ago

R.I.P. 👻 Ghosted

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

Elvira Albert, Pablo Gordillo, ... (+3 more)

cs.PL 🏛 ATVA 📚 129 cites 7 years ago

R.I.P. 👻 Ghosted

VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

Sunbeom So, Myungho Lee, ... (+3 more)

cs.PL 🏛 IEEE S&P 📚 128 cites 6 years ago

R.I.P. 👻 Ghosted

Scenic: A Language for Scenario Specification and Data Generation

Daniel J. Fremont, Edward Kim, ... (+5 more)

cs.PL 🏛 MML 📚 127 cites 5 years ago

R.I.P. 👻 Ghosted

Stateful Dataflow Multigraphs: A Data-Centric Model for Performance Portability on Heterogeneous Architectures

Tal Ben-Nun, Johannes de Fine Licht, ... (+3 more)

cs.PL 🏛 SC 📚 127 cites 7 years ago

R.I.P. 👻 Ghosted

sk_p: a neural program corrector for MOOCs

Yewen Pu, Karthik Narasimhan, ... (+2 more)

cs.PL 🏛 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity 📚 126 cites 9 years ago

R.I.P. 👻 Ghosted

Skeletal Program Enumeration for Rigorous Compiler Testing

Qirun Zhang, Chengnian Sun, Zhendong Su

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

R.I.P. 👻 Ghosted

solc-verify: A Modular Verifier for Solidity Smart Contracts

Ákos Hajdu, Dejan Jovanović

cs.PL 🏛 Verified Software: Theories, Tools, Experiments 📚 124 cites 6 years ago

R.I.P. 👻 Ghosted

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

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

cs.PL 🏛 ICTACAS 📚 122 cites 6 years ago

R.I.P. 👻 Ghosted

Constraint Answer Set Programming without Grounding

Joaquín Arias, Manuel Carro, ... (+3 more)

cs.PL 🏛 TPLP 📚 121 cites 7 years ago