🏛️ 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
An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction
R.I.P.
👻
Ghosted
Executable formal semantics for the POSIX shell
R.I.P.
👻
Ghosted
Overfitting in Synthesis: Theory and Practice (Extended Version)
R.I.P.
👻
Ghosted
SyGuS-Comp 2018: Results and Analysis
R.I.P.
👻
Ghosted
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
R.I.P.
👻
Ghosted
Probabilistic Relational Reasoning via Metrics
R.I.P.
👻
Ghosted
Graduality from Embedding-projection Pairs (Extended Version)
R.I.P.
👻
Ghosted
Relational Symbolic Execution
R.I.P.
👻
Ghosted
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation
R.I.P.
👻
Ghosted
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
R.I.P.
👻
Ghosted
Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings
R.I.P.
👻
Ghosted
Polly's Polyhedral Scheduling in the Presence of Reductions
R.I.P.
👻
Ghosted
Quantum Alternation: Prospects and Problems
R.I.P.
👻
Ghosted
Gradual Certified Programming in Coq
R.I.P.
👻
Ghosted
Efficiently intertwining widening and narrowing
R.I.P.
👻
Ghosted
Kickstarting Choreographic Programming
R.I.P.
👻
Ghosted
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework
R.I.P.
👻
Ghosted
Quantitative Analysis of Assertion Violations in Probabilistic Programs
R.I.P.
👻
Ghosted
Label-Dependent Session Types
R.I.P.
👻
Ghosted
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts
R.I.P.
👻
Ghosted
Faster Variational Execution with Transparent Bytecode Transformation
R.I.P.
👻
Ghosted
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic
R.I.P.
👻
Ghosted