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
Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
R.I.P.
👻
Ghosted
Tail recursion transformation for invertible functions
R.I.P.
👻
Ghosted
Black Boxes, White Noise: Similarity Detection for Neural Functions
R.I.P.
👻
Ghosted
Triemaps that match
R.I.P.
👻
Ghosted
Unsupervised clustering of file dialects according to monotonic decompositions of mixtures
R.I.P.
👻
Ghosted
The Marriage of Effects and Rewrites
R.I.P.
👻
Ghosted
Type Theory as a Language Workbench
R.I.P.
👻
Ghosted
Data accounting and error counting
R.I.P.
👻
Ghosted
Interpreting Knowledge-based Programs (Extended Version with Proofs)
R.I.P.
👻
Ghosted
Proving Correctness of Parallel Implementations of Transition System Specifications
R.I.P.
👻
Ghosted
Bridging Swift Error Handling Model to C++
R.I.P.
👻
Ghosted
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)
R.I.P.
👻
Ghosted
Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning
R.I.P.
👻
Ghosted
MotePy: A domain specific language for low-overhead machine learning and data processing
R.I.P.
👻
Ghosted
AsyncTaichi: On-the-fly Inter-kernel Optimizations for Imperative and Spatially Sparse Programming
R.I.P.
👻
Ghosted
Coinduction Plain and Simple
R.I.P.
👻
Ghosted
Session-layer Attack Traffic Classification by Program Synthesis
R.I.P.
👻
Ghosted
An Object Oriented Approach For the Protection of Information Systems
R.I.P.
👻
Ghosted
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)
R.I.P.
👻
Ghosted
First Infrastructure and Experimentation in Echo-debugging
📚
📚
The Cartographer
Refinement Types: A Tutorial
R.I.P.
👻
Ghosted
A Core Calculus for Static Latency Tracking with Placement Types
R.I.P.
👻
Ghosted