🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3783
Total Papers
3450
No Code
30
Twilight
303
Has Code
8.0%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Probabilistic Output Analysis by Program Manipulation
R.I.P.
👻
Ghosted
Elaborating Evaluation-Order Polymorphism
R.I.P.
👻
Ghosted
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
R.I.P.
👻
Ghosted
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
R.I.P.
👻
Ghosted
Large Language Model-Powered Agent for C to Rust Code Translation
R.I.P.
👻
Ghosted
Program Skeletons for Automated Program Translation
R.I.P.
👻
Ghosted
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
R.I.P.
👻
Ghosted
Tail Modulo Cons, OCaml, and Relational Separation Logic
R.I.P.
👻
Ghosted
Charon: An Analysis Framework for Rust
R.I.P.
👻
Ghosted
The Incredible Shrinking Context... in a Decompiler Near You
R.I.P.
👻
Ghosted
CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
R.I.P.
👻
Ghosted
SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention
R.I.P.
👻
Ghosted
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
R.I.P.
👻
Ghosted
Easing Maintenance of Academic Static Analyzers
R.I.P.
👻
Ghosted
Modal Effect Types
R.I.P.
👻
Ghosted
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
R.I.P.
👻
Ghosted
Amortizing Pragmatic Program Synthesis with Rankings
R.I.P.
👻
Ghosted
Verification Algorithms for Automated Separation Logic Verifiers
R.I.P.
👻
Ghosted
Predictive Monitoring with Strong Trace Prefixes
R.I.P.
👻
Ghosted
KestRel: Relational Verification Using E-Graphs for Program Alignment
R.I.P.
👻
Ghosted
KATch: A Fast Symbolic Verifier for NetKAT
R.I.P.
👻
Ghosted
Equivalence and Similarity Refutation for Probabilistic Programs
R.I.P.
👻
Ghosted