🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3703
Total Papers
3466
No Code
21
Twilight
216
Has Code
5.8%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software
R.I.P.
👻
Ghosted
Neural-Augmented Static Analysis of Android Communication
R.I.P.
👻
Ghosted
Symbolic Computation via Program Transformation
R.I.P.
👻
Ghosted
The Beta-Bernoulli process and algebraic effects
R.I.P.
👻
Ghosted
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)
R.I.P.
👻
Ghosted
Modular Verification of Interrupt-Driven Software
R.I.P.
👻
Ghosted
Imperative Functional Programs that Explain their Work
R.I.P.
👻
Ghosted
GADTs and Exhaustiveness: Looking for the Impossible
R.I.P.
👻
Ghosted
Results and Analysis of SyGuS-Comp'15
R.I.P.
👻
Ghosted
Sums of Uncertainty: Refinements Go Gradual
R.I.P.
👻
Ghosted
SMT Solving for Functional Programming over Infinite Structures
R.I.P.
👻
Ghosted
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis
🌅
🌅
Old Age
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
R.I.P.
👻
Ghosted
C to Checked C by 3C
R.I.P.
👻
Ghosted
Compiler Testing using Template Java Programs
R.I.P.
👻
Ghosted
Continuing WebAssembly with Effect Handlers
R.I.P.
👻
Ghosted
Gradualizing the Calculus of Inductive Constructions
R.I.P.
👻
Ghosted
The New Rewriting Engine of Dedukti
R.I.P.
👻
Ghosted
Conditional independence by typing
R.I.P.
👻
Ghosted
Featherweight Go
R.I.P.
👻
Ghosted
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
R.I.P.
👻
Ghosted
Intrinsically-Typed Mechanized Semantics for Session Types
R.I.P.
👻
Ghosted