R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3729
Total Papers
3466
No Code
21
Twilight
242
Has Code
6.5%
Survival Rate
R.I.P.
👻
Ghosted
Lazy TSO Reachability
R.I.P.
👻
Ghosted
foetus -- Termination Checker for Simple Functional Programs
R.I.P.
👻
Ghosted
An LLM-Tool Compiler for Fused Parallel Function Calling
R.I.P.
👻
Ghosted
RTL++: Graph-enhanced LLM for RTL Code Generation
R.I.P.
👻
Ghosted
LPR: Large Language Models-Aided Program Reduction
R.I.P.
👻
Ghosted
ANPL: Towards Natural Programming with Interactive Decomposition
R.I.P.
👻
Ghosted
Understand Code Style: Efficient CNN-based Compiler Optimization Recognition System
R.I.P.
👻
Ghosted
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
R.I.P.
👻
Ghosted
Bounded verification of message-passing concurrency in Go using Promela and Spin
R.I.P.
👻
Ghosted
The Usability of Ownership
R.I.P.
👻
Ghosted
Modules over monads and operational semantics (expanded version)
R.I.P.
👻
Ghosted
RustViz: Interactively Visualizing Ownership and Borrowing
R.I.P.
👻
Ghosted
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)
R.I.P.
👻
Ghosted
The (In)Efficiency of Interaction
R.I.P.
👻
Ghosted
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
R.I.P.
👻
Ghosted
Flint for Safer Smart Contracts
R.I.P.
👻
Ghosted
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
R.I.P.
👻
Ghosted
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs (Extended Version)
R.I.P.
👻
Ghosted
QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation
R.I.P.
👻
Ghosted
Unification-based Pointer Analysis without Oversharing
R.I.P.
👻
Ghosted
Static Analysis for Asynchronous JavaScript Programs
R.I.P.
👻
Ghosted
Effect Handling for Composable Program Transformations in Edward2
R.I.P.
👻
Ghosted