🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Neural-Augmented Static Analysis of Android Communication

Jinman Zhao, Aws Albarghouthi, ... (+3 more)

cs.PL 🏛 FSE 📚 22 cites 7 years ago

R.I.P. 👻 Ghosted

Symbolic Computation via Program Transformation

Henrich Lauko, Petr Ročkai, Jiří Barnat

cs.PL 🏛 International Colloquium on Theoretical Aspects of Computing 📚 22 cites 8 years ago

R.I.P. 👻 Ghosted

The Beta-Bernoulli process and algebraic effects

Sam Staton, Dario Stein, ... (+4 more)

cs.PL 🏛 ICALP 📚 22 cites 8 years ago

R.I.P. 👻 Ghosted

Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)

Kshitij Bansal, Eric Koskinen, Omer Tripp

cs.PL 🏛 ICTACAS 📚 22 cites 8 years ago

R.I.P. 👻 Ghosted

Modular Verification of Interrupt-Driven Software

Chungha Sung, Markus Kusano, Chao Wang

cs.PL 🏛 ASE 📚 22 cites 8 years ago

R.I.P. 👻 Ghosted

Imperative Functional Programs that Explain their Work

Wilmer Ricciotti, Jan Stolarek, ... (+2 more)

cs.PL 🏛 PACMPL 📚 22 cites 9 years ago

R.I.P. 👻 Ghosted

GADTs and Exhaustiveness: Looking for the Impossible

Jacques Garrigue, Jacques Le Normand

cs.PL 🏛 ML Family/OCaml 📚 22 cites 9 years ago

R.I.P. 👻 Ghosted

Results and Analysis of SyGuS-Comp'15

Rajeev Alur, Dana Fisman, ... (+2 more)

cs.PL 🏛 SYNT 📚 22 cites 10 years ago

R.I.P. 👻 Ghosted

Sums of Uncertainty: Refinements Go Gradual

Khurram A. Jafery, Jana Dunfield

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

R.I.P. 👻 Ghosted

SMT Solving for Functional Programming over Infinite Structures

Bartek Klin, Michał Szynwelski

cs.PL 🏛 MSFP 📚 22 cites 10 years ago

R.I.P. 👻 Ghosted

Interprocedural Type Specialization of JavaScript Programs Without Type Analysis

Maxime Chevalier-Boisvert, Marc Feeley

cs.PL 🏛 ECOOP 📚 22 cites 10 years ago

🌅 🌅 Old Age

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis

Pavol Černý, Edmund M. Clarke, ... (+5 more)

cs.PL 🏛 Formal methods in system design 📚 22 cites 11 years ago

R.I.P. 👻 Ghosted

C to Checked C by 3C

Aravind Machiry, John Kastner, ... (+4 more)

cs.PL 🏛 PACMPL 📚 22 cites 4 years ago

R.I.P. 👻 Ghosted

Continuing WebAssembly with Effect Handlers

Luna Phipps-Costin, Andreas Rossberg, ... (+6 more)

cs.PL 🏛 PACMPL 📚 21 cites 2 years ago

R.I.P. 👻 Ghosted

Gradualizing the Calculus of Inductive Constructions

Meven Lennon-Bertrand, Kenji Maillard, ... (+2 more)

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 21 cites 5 years ago

R.I.P. 👻 Ghosted

The New Rewriting Engine of Dedukti

Gabriel Hondet, Frédéric Blanqui

cs.PL 🏛 ICFSCD 📚 21 cites 5 years ago

R.I.P. 👻 Ghosted

Conditional independence by typing

Maria I. Gorinova, Andrew D. Gordon, ... (+2 more)

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 21 cites 5 years ago

R.I.P. 👻 Ghosted

Featherweight Go

Robert Griesemer, Raymond Hu, ... (+6 more)

cs.PL 🏛 PACMPL 📚 21 cites 6 years ago

R.I.P. 👻 Ghosted

CLOTHO: Directed Test Generation for Weakly Consistent Database Systems

Kia Rahmani, Kartik Nagar, ... (+2 more)

cs.PL 🏛 PACMPL 📚 21 cites 6 years ago

R.I.P. 👻 Ghosted

Intrinsically-Typed Mechanized Semantics for Session Types

Peter Thiemann

cs.PL 🏛 ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming 📚 21 cites 6 years ago

R.I.P. 👻 Ghosted

R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments

Olivier Flückiger, Guido Chari, ... (+4 more)

cs.PL 🏛 Dynamic Languages Symposium 📚 21 cites 6 years ago

R.I.P. 👻 Ghosted

Constraint-Based Type-Directed Program Synthesis

Peter-Michael Osera

cs.PL 🏛 TyDe@ICFP 📚 21 cites 6 years ago

R.I.P. 👻 Ghosted

Loop Summarization with Rational Vector Addition Systems (extended version)

Jake Silverman, Zachary Kincaid

cs.PL 🏛 CAV 📚 21 cites 7 years ago

R.I.P. 👻 Ghosted

No more, no less - A formal model for serverless computing

Maurizio Gabbrielli, Saverio Giallorenzo, ... (+4 more)

cs.PL 🏛 ICCML 📚 21 cites 7 years ago