🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3694
Total Papers
3466
No Code
21
Twilight
207
Has Code
5.6%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Simplicity: A New Language for Blockchains
R.I.P.
👻
Ghosted
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
R.I.P.
👻
Ghosted
TensorFlow Eager: A Multi-Stage, Python-Embedded DSL for Machine Learning
R.I.P.
👻
Ghosted
When Language Model Meets Private Library
R.I.P.
👻
Ghosted
Applied Type System: An Approach to Practical Programming with Theorem-Proving
R.I.P.
👻
Ghosted
A Verified Information-Flow Architecture
R.I.P.
👻
Ghosted
RustHorn: CHC-based Verification for Rust Programs (full version)
R.I.P.
👻
Ghosted
Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness
R.I.P.
👻
Ghosted
Wasabi: A Framework for Dynamically Analyzing WebAssembly
R.I.P.
👻
Ghosted
Programmatic and Direct Manipulation, Together at Last
R.I.P.
👻
Ghosted
Multi-modal Synthesis of Regular Expressions
R.I.P.
👻
Ghosted
Datalog Disassembly
R.I.P.
👻
Ghosted
Code Translation with Compiler Representations
R.I.P.
👻
Ghosted
Compiling ONNX Neural Network Models Using MLIR
R.I.P.
👻
Ghosted
Dynamic Race Prediction in Linear Time
R.I.P.
👻
Ghosted
Souper: A Synthesizing Superoptimizer
R.I.P.
👻
Ghosted
Large Language Models for Compiler Optimization
R.I.P.
👻
Ghosted
Perfectly Parallel Fairness Certification of Neural Networks
R.I.P.
👻
Ghosted
Secure Serverless Computing Using Dynamic Information Flow Control
R.I.P.
👻
Ghosted
Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs
R.I.P.
👻
Ghosted
LightDP: Towards Automating Differential Privacy Proofs
R.I.P.
👻
Ghosted
Machine Learning in Compiler Optimisation
R.I.P.
👻
Ghosted