R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3767
Total Papers
3450
No Code
30
Twilight
287
Has Code
7.6%
Survival Rate
R.I.P.
👻
Ghosted
Making Weak Memory Models Fair
R.I.P.
👻
Ghosted
A minimal core calculus for Solidity contracts
R.I.P.
👻
Ghosted
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Space Leaks
R.I.P.
👻
Ghosted
Hierarchical Memory Management for Mutable State
R.I.P.
👻
Ghosted
Dynamic Type Inference for Gradual Hindley--Milner Typing
R.I.P.
👻
Ghosted
Polymorphic Iterable Sequential Effect Systems
R.I.P.
👻
Ghosted
Termination of Nondeterministic Recursive Probabilistic Programs
R.I.P.
👻
Ghosted
The Paths to Choreography Extraction
R.I.P.
👻
Ghosted
Operational Aspects of C/C++ Concurrency
R.I.P.
👻
Ghosted
LifeJacket: Verifying precise floating-point optimizations in LLVM
R.I.P.
👻
Ghosted
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types
R.I.P.
👻
Ghosted
A simple abstraction of arrays and maps by program translation
R.I.P.
👻
Ghosted
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
R.I.P.
👻
Ghosted
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
R.I.P.
👻
Ghosted
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
R.I.P.
👻
Ghosted
Technical Dimensions of Programming Systems
R.I.P.
👻
Ghosted
Learning Compiler Pass Orders using Coreset and Normalized Value Prediction
R.I.P.
👻
Ghosted
TracerX: Dynamic Symbolic Execution with Interpolation
R.I.P.
👻
Ghosted
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
R.I.P.
👻
Ghosted
Static Analysis for Probabilistic Programs
R.I.P.
👻
Ghosted
Dependence-Aware, Unbounded Sound Predictive Race Detection
R.I.P.
👻
Ghosted
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
R.I.P.
👻
Ghosted