🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Denotational recurrence extraction for amortized analysis

Joseph W. Cutler, Daniel R. Licata, Norman Danner

cs.PL 🏛 PACMPL 📚 17 cites 5 years ago

R.I.P. 👻 Ghosted

Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages

Daniel Lundén, Johannes Borgström, David Broman

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

R.I.P. 👻 Ghosted

Diamonds are not forever: Liveness in reactive programming with guarded recursion

Patrick Bahr, Christian Uldal Graulund, Rasmus Møgelberg

cs.PL 🏛 PACMPL 📚 17 cites 6 years ago

R.I.P. 👻 Ghosted

Bacatá: Notebooks for DSLs, Almost for Free

Mauricio Verano Merino, Jurgen Vinju, Tijs van der Storm

cs.PL 🏛 Programming 📚 17 cites 6 years ago

R.I.P. 👻 Ghosted

Joint Distributions for TensorFlow Probability

Dan Piponi, Dave Moore, Joshua V. Dillon

cs.PL 🏛 arXiv 📚 17 cites 6 years ago

R.I.P. 👻 Ghosted

Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer

Gushu Li, Li Zhou, ... (+4 more)

cs.PL 🏛 arXiv 📚 17 cites 6 years ago

R.I.P. 👻 Ghosted

Trace-Relating Compiler Correctness and Secure Compilation

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

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

R.I.P. 👻 Ghosted

Proof Pearl: Magic Wand as Frame

Qinxiang Cao, Shengyi Wang, ... (+2 more)

cs.PL 🏛 arXiv 📚 17 cites 6 years ago

R.I.P. 👻 Ghosted

Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation

ThanhVu Nguyen, Westley Weimer, ... (+2 more)

cs.PL 🏛 ICTACAS 📚 17 cites 7 years ago

R.I.P. 👻 Ghosted

Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis

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

cs.PL 🏛 arXiv 📚 17 cites 7 years ago

R.I.P. 👻 Ghosted

Bidirectional Type Checking for Relational Properties

Ezgi Çiçek, Weihao Qu, ... (+3 more)

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

R.I.P. 👻 Ghosted

Trace Abstraction Modulo Probability

Calvin Smith, Justin Hsu, Aws Albarghouthi

cs.PL 🏛 PACMPL 📚 17 cites 7 years ago

R.I.P. 👻 Ghosted

Feature-Specific Profiling

Leif Andersen, Vincent St-Amour, ... (+2 more)

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 17 cites 7 years ago

R.I.P. 👻 Ghosted

Competitive Parallelism: Getting Your Priorities Right

Stefan K. Muller, Umut A. Acar, Robert Harper

cs.PL 🏛 PACMPL 📚 17 cites 7 years ago

R.I.P. 👻 Ghosted

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs

Toru Takisaka, Yuichiro Oyabu, ... (+2 more)

cs.PL 🏛 ATVA 📚 17 cites 8 years ago

R.I.P. 👻 Ghosted

LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Saswat Padhi, Rahul Sharma, Todd Millstein

cs.PL 🏛 arXiv 📚 17 cites 8 years ago

R.I.P. 👻 Ghosted

One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax

James Koppel, Varot Premtoon, Armando Solar-Lezama

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

R.I.P. 👻 Ghosted

The Complexity of Abstract Machines

Beniamino Accattoli

cs.PL 🏛 WPTE@FSCD 📚 17 cites 9 years ago

R.I.P. 👻 Ghosted

MiniZinc with Strings

Roberto Amadini, Pierre Flener, ... (+4 more)

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 17 cites 9 years ago

R.I.P. 👻 Ghosted

Domain Theory: An Introduction

Robert Cartwright, Rebecca Parsons, Moez AbdelGawad

cs.PL 🏛 arXiv 📚 17 cites 10 years ago

R.I.P. 👻 Ghosted

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components

Yannis Juglaret, Catalin Hritcu, ... (+4 more)

cs.PL 🏛 arXiv 📚 17 cites 10 years ago

R.I.P. 👻 Ghosted

Fragments of ML Decidable by Nested Data Class Memory Automata

Conrad Cotton-Barratt, David Hopkins, ... (+2 more)

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

R.I.P. 👻 Ghosted

Lazy TSO Reachability

Ahmed Bouajjani, Georgel Calin, ... (+2 more)

cs.PL 🏛 Fundamental Approaches to Software Engineering 📚 17 cites 11 years ago

R.I.P. 👻 Ghosted

foetus -- Termination Checker for Simple Functional Programs

Andreas Abel

cs.PL 🏛 arXiv 📚 16 cites 1 year ago