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
Reconciling Shannon and Scott with a Lattice of Computable Information
R.I.P.
👻
Ghosted
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
R.I.P.
👻
Ghosted
Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability
R.I.P.
👻
Ghosted
Reversible Programming: A Case Study of Two String-Matching Algorithms
R.I.P.
👻
Ghosted
Practical Detectability for Persistent Lock-Free Data Structures
R.I.P.
👻
Ghosted
zkStruDul: Programming zkSNARKs with Structural Duality
R.I.P.
👻
Ghosted
SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
R.I.P.
👻
Ghosted
CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
R.I.P.
👻
Ghosted
Imperative Quantum Programming with Ownership and Borrowing in Guppy
R.I.P.
👻
Ghosted
ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
R.I.P.
👻
Ghosted
A Trace-based Approach for Code Safety Analysis
R.I.P.
👻
Ghosted
Herb.jl: A Unifying Program Synthesis Library
R.I.P.
👻
Ghosted
Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization
R.I.P.
👻
Ghosted
Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
R.I.P.
👻
Ghosted
Catalpa: GC for a Low-Variance Software Stack
R.I.P.
👻
Ghosted
Try-Mopsa: Relational Static Analysis in Your Pocket
R.I.P.
👻
Ghosted
MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
R.I.P.
👻
Ghosted
Non-Termination Proving: 100 Million LoC and Beyond
R.I.P.
👻
Ghosted
AI-Assisted Modeling: DSL-Driven AI Interactions
R.I.P.
👻
Ghosted
Leveraging Large Language Models to Detect Missed Peephole Optimizations
R.I.P.
👻
Ghosted
Software Model Checking via Summary-Guided Search (Extended Version)
R.I.P.
👻
Ghosted
Tuning Random Generators: Property-Based Testing as Probabilistic Programming
R.I.P.
👻
Ghosted