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
Weak Memory Demands Model-based Compiler Testing
R.I.P.
👻
Ghosted
Equality Saturation for Optimizing High-Level Julia IR
R.I.P.
👻
Ghosted
Correctness Witnesses with Function Contracts
R.I.P.
👻
Ghosted
JAX Autodiff from a Linear Logic Perspective (Extended Version)
R.I.P.
👻
Ghosted
Typing Strictness (Extended Version)
R.I.P.
👻
Ghosted
End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
R.I.P.
👻
Ghosted
Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
R.I.P.
👻
Ghosted
Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
R.I.P.
👻
Ghosted
VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
R.I.P.
👻
Ghosted
Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
R.I.P.
👻
Ghosted
The CoCompiler: DSL Lifting via Relational Compilation
R.I.P.
👻
Ghosted
Pacing Types: Safe Monitoring of Asynchronous Streams
R.I.P.
👻
Ghosted
ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
R.I.P.
👻
Ghosted
Synthesizing DSLs for Few-Shot Learning
R.I.P.
👻
Ghosted
Active Learning for Neurosymbolic Program Synthesis
R.I.P.
👻
Ghosted
Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
R.I.P.
👻
Ghosted
Generating Compilers for Qubit Mapping and Routing
R.I.P.
👻
Ghosted
Consistent Updates for Scalable Microservices
R.I.P.
👻
Ghosted
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
R.I.P.
👻
Ghosted
Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
R.I.P.
👻
Ghosted
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
R.I.P.
👻
Ghosted
Bayesian Separation Logic
R.I.P.
👻
Ghosted