R.I.P.
👻
Ghosted
🏛️ 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
Combining Forward and Backward Abstract Interpretation of Horn Clauses
R.I.P.
👻
Ghosted
A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
R.I.P.
👻
Ghosted
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
R.I.P.
👻
Ghosted
Reasoning about Graph Programs
R.I.P.
👻
Ghosted
Flag-Based Big-Step Semantics
R.I.P.
👻
Ghosted
Parsing Expression Grammars Made Practical
R.I.P.
👻
Ghosted
Transparent Object Proxies for JavaScript
R.I.P.
👻
Ghosted
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
R.I.P.
👻
Ghosted
LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers
R.I.P.
👻
Ghosted
Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
R.I.P.
👻
Ghosted
LTL learning on GPUs
R.I.P.
👻
Ghosted
Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
R.I.P.
👻
Ghosted
PSM: Policy Synchronised Deterministic Memory
R.I.P.
👻
Ghosted
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
R.I.P.
👻
Ghosted
With a Few Square Roots, Quantum Computing is as Easy as Π
R.I.P.
👻
Ghosted
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
R.I.P.
👻
Ghosted
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach
R.I.P.
👻
Ghosted
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
R.I.P.
👻
Ghosted
ImageEye: Batch Image Processing Using Program Synthesis
R.I.P.
👻
Ghosted
On ML-Based Program Translation: Perils and Promises
R.I.P.
👻
Ghosted
Bitcoin covenants unchained
R.I.P.
👻
Ghosted
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
R.I.P.
👻
Ghosted