🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3783
Total Papers
3450
No Code
30
Twilight
303
Has Code
8.0%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
A Simple and Practical Linear Algebra Library Interface with Static Size Checking
R.I.P.
👻
Ghosted
Nez: practical open grammar language
R.I.P.
👻
Ghosted
Normalisation by Traversals
R.I.P.
👻
Ghosted
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)
R.I.P.
👻
Ghosted
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version)
R.I.P.
👻
Ghosted
A Denotational Semantics for Communicating Unstructured Code
R.I.P.
👻
Ghosted
A Falsification View of Success Typing
R.I.P.
👻
Ghosted
To what extent can we analyze Kotlin programs using existing Java taint analysis tools? (Extended Version)
R.I.P.
👻
Ghosted
Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics
R.I.P.
👻
Ghosted
GAP-Gen: Guided Automatic Python Code Generation
R.I.P.
👻
Ghosted
Towards a high-performance AI compiler with upstream MLIR
R.I.P.
👻
Ghosted
CoNST: Code Generator for Sparse Tensor Networks
R.I.P.
👻
Ghosted
LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis
R.I.P.
👻
Ghosted
Efficient, Portable, Census-Polymorphic Choreographic Programming
R.I.P.
👻
Ghosted
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
📚
📚
The Cartographer
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
R.I.P.
👻
Ghosted
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
R.I.P.
👻
Ghosted
Parsimonious Optimal Dynamic Partial Order Reduction
R.I.P.
👻
Ghosted
Is Next Token Prediction Sufficient for GPT? Exploration on Code Logic Comprehension
R.I.P.
👻
Ghosted
Lean4Lean: Verifying a Typechecker for Lean, in Lean
R.I.P.
👻
Ghosted
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
R.I.P.
👻
Ghosted
Incremental Proof Development in Dafny with Module-Based Induction
R.I.P.
👻
Ghosted