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
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
R.I.P.
👻
Ghosted
Efficient Formal Verification of Quantum Error Correcting Programs
R.I.P.
👻
Ghosted
L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
R.I.P.
👻
Ghosted
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis
R.I.P.
👻
Ghosted
Incremental Computation: What Is the Essence?
R.I.P.
👻
Ghosted
Effects and Coeffects in Call-By-Push-Value (Extended Version)
R.I.P.
👻
Ghosted
The Next 700 ML-Enabled Compiler Optimizations
R.I.P.
👻
Ghosted
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
R.I.P.
👻
Ghosted
On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
R.I.P.
👻
Ghosted
How Hard is Weak-Memory Testing?
R.I.P.
👻
Ghosted
Cocoon: Static Information Flow Control in Rust
R.I.P.
👻
Ghosted
Rewriting History: Repurposing Domain-Specific CGRAs
R.I.P.
👻
Ghosted
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs
🌅
💤
Eternal Rest
AskIt: Unified Programming Interface for Programming with Large Language Models
R.I.P.
👻
Ghosted
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs
R.I.P.
👻
Ghosted
Subtyping Context-Free Session Types
R.I.P.
👻
Ghosted
Descend: A Safe GPU Systems Programming Language
R.I.P.
👻
Ghosted
LoRe: A Programming Model for Verifiably Safe Local-First Software
R.I.P.
👻
Ghosted
On the Evolution of Programming Languages
R.I.P.
👻
Ghosted
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
R.I.P.
👻
Ghosted
Game Semantics: Easy as Pi
R.I.P.
👻
Ghosted
Adjoint Reactive GUI
R.I.P.
👻
Ghosted