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
Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
R.I.P.
👻
Ghosted
Dynamic Race Detection With O(1) Samples
R.I.P.
👻
Ghosted
Large Language Model Powered Symbolic Execution
R.I.P.
👻
Ghosted
The Usability of Advanced Type Systems: Rust as a Case Study
R.I.P.
👻
Ghosted
Efficient Bottom-Up Synthesis for Programs with Local Variables
R.I.P.
👻
Ghosted
Absynthe: Abstract Interpretation-Guided Synthesis
R.I.P.
👻
Ghosted
$ω$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
R.I.P.
👻
Ghosted
Synthesizing Specifications
R.I.P.
👻
Ghosted
MAG$π$: Types for Failure-Prone Communication
R.I.P.
👻
Ghosted
An Order-Aware Dataflow Model for Parallel Unix Pipelines
R.I.P.
👻
Ghosted
Quantum Hoare Type Theory
R.I.P.
👻
Ghosted
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper)
R.I.P.
👻
Ghosted
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
R.I.P.
👻
Ghosted
WhylSon: Proving your Michelson Smart Contracts in Why3
R.I.P.
👻
Ghosted
Scaling Exact Inference for Discrete Probabilistic Programs
R.I.P.
👻
Ghosted
Profunctor optics and traversals
R.I.P.
👻
Ghosted
A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
R.I.P.
👻
Ghosted
Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems
R.I.P.
👻
Ghosted
Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation
R.I.P.
👻
Ghosted
Modular Verification of Heap Reachability Properties in Separation Logic
R.I.P.
👻
Ghosted
Computing Abstract Distances in Logic Programs
R.I.P.
👻
Ghosted
Programming Unikernels in the Large via Functor Driven Development
R.I.P.
👻
Ghosted