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
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
R.I.P.
👻
Ghosted
A Few Fit Most: Improving Performance Portability of SGEMM on GPUs using Multi-Versioning
R.I.P.
👻
Ghosted
Invariant Generation for Floating-Point Programs via Constraint Solving
R.I.P.
👻
Ghosted
Don't exhaust, don't waste
R.I.P.
👻
Ghosted
Increasing the Expressiveness of a Gradual Verifier
R.I.P.
👻
Ghosted
Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
R.I.P.
👻
Ghosted
Dual-Numbers Reverse AD for Functional Array Languages
R.I.P.
👻
Ghosted
A Compute-Matched Re-Evaluation of TroVE on MATH
R.I.P.
👻
Ghosted
Picat Through the Lens of Advent of Code
R.I.P.
👻
Ghosted
The downgrading semantics of memory safety
R.I.P.
👻
Ghosted
Orthologic Type Systems
R.I.P.
👻
Ghosted
BeePL: Correct-by-compilation kernel extensions
R.I.P.
👻
Ghosted
Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
R.I.P.
👻
Ghosted
Filter Equivariant Functions: A symmetric account of length-general extrapolation on lists
R.I.P.
👻
Ghosted
Dependent Multiplicities in Dependent Linear Type Theory
R.I.P.
👻
Ghosted
On Propositional Program Equivalence (extended abstract)
R.I.P.
👻
Ghosted
Sound Interval-Based Synthesis for Probabilistic Programs
R.I.P.
👻
Ghosted
Fast Collection Operations from Indexed Stream Fusion
R.I.P.
👻
Ghosted
Pyrosome: Verified Compilation for Modular Metatheory
R.I.P.
👻
Ghosted
Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
R.I.P.
👻
Ghosted
CCR 2.0: High-level Reasoning for Conditional Refinements
R.I.P.
👻
Ghosted
Semantically Separating Nominal Wyvern for Usability and Decidability
R.I.P.
👻
Ghosted