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
Local Optimization of Quantum Circuits (Extended Version)
R.I.P.
👻
Ghosted
Open-Source AI-Powered Optimization in Scalene: Advancing Python Performance Profiling with DeepSeek-R1 and LLaMA 3.2
R.I.P.
👻
Ghosted
Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
R.I.P.
👻
Ghosted
Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
R.I.P.
👻
Ghosted
Effective LLM-Driven Code Generation with Pythoness
R.I.P.
👻
Ghosted
Optimizing Stateful Dataflow with Local Rewrites
R.I.P.
👻
Ghosted
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
🌅
💤
Eternal Rest
AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators
R.I.P.
👻
Ghosted
Portable, Efficient, and Practical Library-Level Choreographic Programming
R.I.P.
👻
Ghosted
Qualifying System F-sub
R.I.P.
👻
Ghosted
Unboxed data constructors -- or, how cpp decides a halting problem
R.I.P.
👻
Ghosted
Borrowable Fractional Ownership Types for Verification
R.I.P.
👻
Ghosted
Serverless Scheduling Policies based on Cost Analysis
R.I.P.
👻
Ghosted
Definitional Functoriality for Dependent (Sub)Types -- Extended version
R.I.P.
👻
Ghosted
Scoped and Typed Staging by Evaluation
R.I.P.
👻
Ghosted
Compiler Testing With Relaxed Memory Models
R.I.P.
👻
Ghosted
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
R.I.P.
👻
Ghosted
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
R.I.P.
👻
Ghosted
Design of Novel Analog Compute Paradigms with Ark
R.I.P.
👻
Ghosted
MetaOCaml Theory and Implementation
R.I.P.
👻
Ghosted
Graph IRs for Impure Higher-Order Languages (Technical Report)
R.I.P.
👻
Ghosted
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
R.I.P.
👻
Ghosted