R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3799
Total Papers
3450
No Code
30
Twilight
319
Has Code
8.4%
Survival Rate
R.I.P.
👻
Ghosted
RustSFQ: A Domain-Specific Language for SFQ Circuit Design
R.I.P.
👻
Ghosted
A Coq implementation of a Theory of Tagged Objects
R.I.P.
👻
Ghosted
Building Bridges: Julia as an MLIR Frontend
R.I.P.
👻
Ghosted
Härpfer's Extended Indispensability Algorithm in Z
R.I.P.
👻
Ghosted
RustMC: Extending the GenMC stateless model checker to Rust
R.I.P.
👻
Ghosted
Tensor Evolution: A Framework for Fast Evaluation of Tensor Computations using Recurrences
R.I.P.
👻
Ghosted
Coverage Semantics for Dependent Pattern Matching
R.I.P.
👻
Ghosted
Gray-Box Fuzzing in Local Space
R.I.P.
👻
Ghosted
Multiparty Session Typing, Embedded (Technical Report)
R.I.P.
👻
Ghosted
Multiparty Session Types with a Bang!
R.I.P.
👻
Ghosted
Type-Based Approaches to Rounding Error Analysis
R.I.P.
👻
Ghosted
Reasoning about Weak Isolation Levels in Separation Logic
R.I.P.
👻
Ghosted
Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
R.I.P.
👻
Ghosted
MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
R.I.P.
👻
Ghosted
Finding $\forall\exists$ Hyperbugs using Symbolic Execution
R.I.P.
👻
Ghosted
Refuting Equivalence in Probabilistic Programs with Conditioning
R.I.P.
👻
Ghosted
Reversible Computation with Stacks and "Reversible Management of Failures"
R.I.P.
👻
Ghosted
A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
R.I.P.
👻
Ghosted
GeckoGraph: A Visual Language for Polymorphic Types
R.I.P.
👻
Ghosted
Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
R.I.P.
👻
Ghosted
Core Challenge 2023: Solver and Graph Descriptions
R.I.P.
👻
Ghosted
Linearizability Analysis of the Contention-Friendly Binary Search Tree
R.I.P.
👻
Ghosted