🏛️ 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
Conditioning in Probabilistic Programming
R.I.P.
👻
Ghosted
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
R.I.P.
👻
Ghosted
Refinement Reflection: Complete Verification with SMT
R.I.P.
👻
Ghosted
Formal Specification and Verification of Smart Contracts for Azure Blockchain
R.I.P.
👻
Ghosted
Denotational validation of higher-order Bayesian inference
R.I.P.
👻
Ghosted
Synthesizing Coupling Proofs of Differential Privacy
R.I.P.
👻
Ghosted
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
R.I.P.
👻
Ghosted
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
R.I.P.
👻
Ghosted
Refactoring Programs Using Large Language Models with Few-Shot Examples
R.I.P.
👻
Ghosted
Bidirectional Typing
R.I.P.
👻
Ghosted
Top-Down Synthesis for Library Learning
R.I.P.
👻
Ghosted
Predictable Accelerator Design with Time-Sensitive Affine Types
R.I.P.
👻
Ghosted
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
R.I.P.
👻
Ghosted
Stream Fusion, to Completeness
R.I.P.
👻
Ghosted
Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling
R.I.P.
👻
Ghosted
A Simple Differentiable Programming Language
R.I.P.
👻
Ghosted
Precise, Dynamic Information Flow for Database-Backed Applications
R.I.P.
👻
Ghosted
Oxide: The Essence of Rust
R.I.P.
👻
Ghosted
Quantitative Analysis of Smart Contracts
R.I.P.
👻
Ghosted
Rehearsal: A Configuration Verification Tool for Puppet
R.I.P.
👻
Ghosted
A Deductive Verification Framework for Circuit-building Quantum Programs
R.I.P.
👻
Ghosted
Generating Correctness Proofs with Neural Networks
R.I.P.
👻
Ghosted