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
Positive Almost-Sure Termination -- Complexity and Proof Rules
R.I.P.
👻
Ghosted
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
R.I.P.
👻
Ghosted
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
R.I.P.
👻
Ghosted
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
R.I.P.
👻
Ghosted
Securing Verified IO Programs Against Unverified Code in F*
R.I.P.
👻
Ghosted
Weak Similarity in Higher-Order Mathematical Operational Semantics
R.I.P.
👻
Ghosted
On the Applicability of Language Models to Block-Based Programs
R.I.P.
👻
Ghosted
A Framework for Higher-Order Effects & Handlers
R.I.P.
👻
Ghosted
On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers
R.I.P.
👻
Ghosted
zkay v0.2: Practical Data Privacy for Smart Contracts
R.I.P.
👻
Ghosted
Formal Specification and Verification of Solidity Contracts with Events
R.I.P.
👻
Ghosted
Distributed Bounded Model Checking
R.I.P.
👻
Ghosted
Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat
R.I.P.
👻
Ghosted
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
R.I.P.
👻
Ghosted
On Algebraic Abstractions for Concurrent Separation Logics
R.I.P.
👻
Ghosted
Program Equivalence for Assisted Grading of Functional Programs (Extended Version)
R.I.P.
👻
Ghosted
Wasm/k: Delimited Continuations for WebAssembly
R.I.P.
👻
Ghosted
Learning the Boundary of Inductive Invariants
R.I.P.
👻
Ghosted
Flexible coinductive logic programming
R.I.P.
👻
Ghosted
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph
R.I.P.
👻
Ghosted
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
R.I.P.
👻
Ghosted
Holistic Specifications for Robust Programs
R.I.P.
👻
Ghosted