🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3694
Total Papers
3466
No Code
21
Twilight
207
Has Code
5.6%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Revisiting Actor Programming in C++
R.I.P.
👻
Ghosted
Fault-Aware Neural Code Rankers
R.I.P.
👻
Ghosted
ExceLint: Automatically Finding Spreadsheet Formula Errors
R.I.P.
👻
Ghosted
Towards Neural Decompilation
R.I.P.
👻
Ghosted
Dijkstra Monads for All
R.I.P.
👻
Ghosted
Obsidian: Typestate and Assets for Safer Blockchain Programming
R.I.P.
👻
Ghosted
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
R.I.P.
👻
Ghosted
Beginner's Luck: A Language for Property-Based Generators
R.I.P.
👻
Ghosted
Just-in-Time Learning for Bottom-Up Enumerative Synthesis
R.I.P.
👻
Ghosted
Property Directed Self Composition
R.I.P.
👻
Ghosted
What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection
R.I.P.
👻
Ghosted
A Separation Logic for Concurrent Randomized Programs
R.I.P.
👻
Ghosted
Verifying and Synthesizing Constant-Resource Implementations with Types
R.I.P.
👻
Ghosted
A Higher-Order Logic for Concurrent Termination-Preserving Refinement
R.I.P.
👻
Ghosted
Coupling proofs are probabilistic product programs
R.I.P.
👻
Ghosted
Java Generics are Turing Complete
R.I.P.
👻
Ghosted
Proving Differential Privacy with Shadow Execution
R.I.P.
👻
Ghosted
Total Haskell is Reasonable Coq
R.I.P.
👻
Ghosted
Polymorphic Type Inference for Machine Code
R.I.P.
👻
Ghosted
Event-Driven Network Programming
R.I.P.
👻
Ghosted
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
R.I.P.
👻
Ghosted
Better Together: Unifying Datalog and Equality Saturation
R.I.P.
👻
Ghosted