🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Scallop: A Language for Neurosymbolic Programming

Ziyang Li, Jiani Huang, Mayur Naik

cs.PL 🏛 PACMPL 📚 59 cites 2 years ago

R.I.P. 👻 Ghosted

Undecidability of Asynchronous Session Subtyping

Mario Bravetti, Marco Carbone, Gianluigi Zavattaro

cs.PL 🏛 Information and Computation 📚 59 cites 9 years ago

R.I.P. 👻 Ghosted

Fast and Precise Type Checking for JavaScript

Avik Chaudhuri, Panagiotis Vekris, ... (+3 more)

cs.PL 🏛 PACMPL 📚 58 cites 8 years ago

R.I.P. 👻 Ghosted

Programming and Reasoning with Guarded Recursion for Coinductive Types

Ranald Clouston, Aleš Bizjak, ... (+2 more)

cs.PL 🏛 Foundations of Software Science and Computation Structure 📚 58 cites 11 years ago

R.I.P. 💀 404 Not Found

Ranking LLM-Generated Loop Invariants for Program Verification

Saikat Chakraborty, Shuvendu K. Lahiri, ... (+7 more)

cs.PL 🏛 EMNLP 📚 57 cites 2 years ago

R.I.P. 👻 Ghosted

Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models

Tung Phung, José Cambronero, ... (+5 more)

cs.PL 🏛 Educational Data Mining 📚 57 cites 3 years ago

R.I.P. 👻 Ghosted

Fast, Sound and Effectively Complete Dynamic Race Prediction

Andreas Pavlogiannis

cs.PL 🏛 PACMPL 📚 57 cites 7 years ago

R.I.P. 👻 Ghosted

Canonicity and normalisation for Dependent Type Theory

Thierry Coquand

cs.PL 🏛 TCS 📚 57 cites 7 years ago

R.I.P. 👻 Ghosted

A Semantic Account of Metric Preservation

Arthur Azevedo de Amorim, Marco Gaboardi, ... (+3 more)

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

R.I.P. 👻 Ghosted

Program Synthesis by Type-Guided Abstraction Refinement

Zheng Guo, Michael James, ... (+5 more)

cs.PL 🏛 PACMPL 📚 55 cites 6 years ago

R.I.P. 👻 Ghosted

Quantitative Robustness Analysis of Quantum Programs (Extended Version)

Shih-Han Hung, Kesha Hietala, ... (+4 more)

cs.PL 🏛 PACMPL 📚 55 cites 7 years ago

R.I.P. 👻 Ghosted

Learning a Static Analyzer from Data

Pavol Bielik, Veselin Raychev, Martin Vechev

cs.PL 🏛 CAV 📚 55 cites 9 years ago

R.I.P. 👻 Ghosted

Refinement Types for TypeScript

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

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

R.I.P. 👻 Ghosted

Modular implicits

Leo White, Frédéric Bour, Jeremy Yallop

cs.PL 🏛 ML/OCaml 📚 55 cites 10 years ago

R.I.P. 👻 Ghosted

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Mathieu Huot, Sam Staton, Matthijs Vákár

cs.PL 🏛 Foundations of Software Science and Computation Structure 📚 54 cites 6 years ago

R.I.P. 👻 Ghosted

Cost Analysis of Nondeterministic Probabilistic Programs

Peixin Wang, Hongfei Fu, ... (+4 more)

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

R.I.P. 👻 Ghosted

Abstracting Definitional Interpreters

David Darais, Nicholas Labich, ... (+2 more)

cs.PL 🏛 PACMPL 📚 54 cites 8 years ago

R.I.P. 👻 Ghosted

Synthesis of Data Completion Scripts using Finite Tree Automata

Xinyu Wang, Isil Dillig, Rishabh Singh

cs.PL 🏛 PACMPL 📚 54 cites 8 years ago

R.I.P. 👻 Ghosted

A Relational Logic for Higher-Order Programs

Alejandro Aguirre, Gilles Barthe, ... (+3 more)

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

R.I.P. 👻 Ghosted

Structuring the Synthesis of Heap-Manipulating Programs - Extended Version

Nadia Polikarpova, Ilya Sergey

cs.PL 🏛 PACMPL 📚 53 cites 7 years ago

R.I.P. 👻 Ghosted

A Theory of Reversibility for Erlang

Ivan Lanese, Naoki Nishida, ... (+2 more)

cs.PL 🏛 J. Log. Algebraic Methods Program. 📚 53 cites 7 years ago

R.I.P. 👻 Ghosted

Dependent Types in Haskell: Theory and Practice

Richard A. Eisenberg

cs.PL 🏛 arXiv 📚 53 cites 9 years ago

R.I.P. 👻 Ghosted

Synthesizing Probabilistic Invariants via Doob's Decomposition

Gilles Barthe, Thomas Espitau, ... (+2 more)

cs.PL 🏛 CAV 📚 53 cites 9 years ago

R.I.P. 👻 Ghosted

A framework for deadlock detection in core ABS

Elena Giachino, Cosimo Laneve, Michael Lienhardt

cs.PL 🏛 J.SSM 📚 53 cites 10 years ago