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
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules
R.I.P.
👻
Ghosted
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One
R.I.P.
👻
Ghosted
The Jasmin Compiler Preserves Cryptographic Security
R.I.P.
👻
Ghosted
GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
R.I.P.
👻
Ghosted
Automated Formal Verification of a Software Fault Isolation System
R.I.P.
👻
Ghosted
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
R.I.P.
👻
Ghosted
Dynamic Stability of LLM-Generated Code
R.I.P.
👻
Ghosted
Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
R.I.P.
👻
Ghosted
Concept-Based Generic Programming in C++
R.I.P.
👻
Ghosted
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
R.I.P.
👻
Ghosted
A Large-Scale Study of Floating-Point Usage in Statically Typed Languages
R.I.P.
👻
Ghosted
Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
R.I.P.
👻
Ghosted
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
R.I.P.
👻
Ghosted
Mix-of-Language-Experts Architecture for Multilingual Programming
R.I.P.
👻
Ghosted
LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
R.I.P.
👻
Ghosted
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
R.I.P.
👻
Ghosted
Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
R.I.P.
👻
Ghosted
LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
R.I.P.
👻
Ghosted
Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
R.I.P.
👻
Ghosted
Efficient Decrease-and-Conquer Linearizability Monitoring
R.I.P.
👻
Ghosted
A Note on Dynamic Bidirected Dyck-Reachability with Cycles
R.I.P.
👻
Ghosted
Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
R.I.P.
👻
Ghosted