🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification

Luis Garcia, Stefan Mitsch, Andre Platzer

cs.PL 🏛 ICCS 📚 22 cites 7 years ago

R.I.P. 👻 Ghosted

Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software

Zeming Yu, Linhai Song, Yiying Zhang

cs.PL 🏛 arXiv 📚 22 cites 7 years ago

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 7 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 8 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 10 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

Compiler Testing using Template Java Programs

Zhiqiang Zang, Nathan Wiatrek, ... (+2 more)

cs.PL 🏛 ASE 📚 22 cites 3 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 5 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