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
Practical Type-Based Taint Checking and Inference (Extended Version)
R.I.P.
👻
Ghosted
Portability of Optimizations from SC to TSO
R.I.P.
👻
Ghosted
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
R.I.P.
👻
Ghosted
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
R.I.P.
👻
Ghosted
IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)
R.I.P.
👻
Ghosted
An effectful object calculus
R.I.P.
👻
Ghosted
Contrasting Deadlock-Free Session Processes (Extended Version)
R.I.P.
👻
Ghosted
Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
R.I.P.
👻
Ghosted
Dynamic Robustness Verification Against Weak Memory (Extended Version)
R.I.P.
👻
Ghosted
Program Synthesis from Partial Traces
R.I.P.
👻
Ghosted
SGL: A Structured Graphics Language
R.I.P.
👻
Ghosted
Active Learning of Symbolic NetKAT Automata
R.I.P.
👻
Ghosted
Products of Recursive Programs for Hypersafety Verification (Extended Version)
R.I.P.
👻
Ghosted
Unleashing Optimizations in Dynamic Circuits through Branch Expansion
R.I.P.
👻
Ghosted
Incremental Bidirectional Typing via Order Maintenance
R.I.P.
👻
Ghosted
Efficient Timestamping for Sampling-based Race Detection
R.I.P.
👻
Ghosted
CRDT Emulation, Simulation, and Representation Independence
R.I.P.
👻
Ghosted
pyeb: A Python Implementation of Event-B Refinement Calculus
R.I.P.
👻
Ghosted
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
R.I.P.
👻
Ghosted
Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
R.I.P.
👻
Ghosted
Functional Meaning for Parallel Streaming
R.I.P.
👻
Ghosted
Garbage Collection for Rust: The Finalizer Frontier
R.I.P.
👻
Ghosted