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
PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
R.I.P.
👻
Ghosted
Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
R.I.P.
👻
Ghosted
Data-efficient Performance Modeling via Pre-training
R.I.P.
👻
Ghosted
An Extensive Study on Text Serialization Formats and Methods
R.I.P.
👻
Ghosted
AWDIT: An Optimal Weak Database Isolation Tester
R.I.P.
👻
Ghosted
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
R.I.P.
👻
Ghosted
Distributed Locking as a Data Type
R.I.P.
👻
Ghosted
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
R.I.P.
👻
Ghosted
Verified invertible lexer using regular expressions and DFAs
R.I.P.
👻
Ghosted
A Practical Quantum Hoare Logic with Classical Variables, I
R.I.P.
👻
Ghosted
Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
R.I.P.
👻
Ghosted
CF-GKAT: Efficient Validation of Control-Flow Transformations
R.I.P.
👻
Ghosted
Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
R.I.P.
👻
Ghosted
Deegen: A JIT-Capable VM Generator for Dynamic Languages
R.I.P.
👻
Ghosted
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
R.I.P.
👻
Ghosted
Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
R.I.P.
👻
Ghosted
Exo 2: Growing a Scheduling Language
R.I.P.
👻
Ghosted
Derivative-Guided Symbolic Execution
R.I.P.
👻
Ghosted
Axe 'Em: Eliminating Spurious States with Induction Axioms
🌅
🌅
Old Age
Crux, a Precise Verifier for Rust and Other Languages
R.I.P.
👻
Ghosted
Surveying the Rust Verification Landscape
R.I.P.
👻
Ghosted
Semantic-Type-Guided Bug Finding
R.I.P.
👻
Ghosted