R.I.P.
👻
Ghosted
🏛️ 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
An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
R.I.P.
👻
Ghosted
A Problem-Oriented Perspective and Anchor Verification for Code Optimization
R.I.P.
👻
Ghosted
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
📚
📚
The Cartographer
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
R.I.P.
👻
Ghosted
Opportunistically Parallel Lambda Calculus
R.I.P.
👻
Ghosted
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
R.I.P.
👻
Ghosted
ViCAR: Visualizing Categories with Automated Rewriting in Coq
R.I.P.
👻
Ghosted
Predictable Verification using Intrinsic Definitions
R.I.P.
👻
Ghosted
Forklift: An Extensible Neural Lifter
R.I.P.
👻
Ghosted
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
R.I.P.
👻
Ghosted
Less is More Revisited
R.I.P.
👻
Ghosted
Inferring Non-Failure Conditions for Declarative Programs
R.I.P.
👻
Ghosted
Solving Data-centric Tasks using Large Language Models
R.I.P.
👻
Ghosted
Denotational Foundations for Expected Cost Analysis
R.I.P.
👻
Ghosted
Stale Profile Matching
R.I.P.
👻
Ghosted
On the Anatomy of Real-World R Code for Static Analysis
R.I.P.
👻
Ghosted
Hashing Modulo Context-Sensitive $α$-Equivalence
R.I.P.
👻
Ghosted
Object-Spatial Programming
R.I.P.
👻
Ghosted
HUGR: A Quantum-Classical Intermediate Representation
R.I.P.
👻
Ghosted
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
R.I.P.
👻
Ghosted
Growing Mathlib: maintenance of a large scale mathematical library
R.I.P.
👻
Ghosted
Universal Synthesis of Differentiably Tunable Numerical Abstract Transformers
R.I.P.
👻
Ghosted