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
Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits
R.I.P.
👻
Ghosted
A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
R.I.P.
👻
Ghosted
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
R.I.P.
👻
Ghosted
Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
R.I.P.
👻
Ghosted
Fast Trigonometric Functions using the RLIBM Approach
R.I.P.
👻
Ghosted
Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
R.I.P.
👻
Ghosted
Compilation as Multi-Language Semantics
R.I.P.
👻
Ghosted
Efficient Linearizability Monitoring
R.I.P.
👻
Ghosted
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
R.I.P.
👻
Ghosted
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools
R.I.P.
👻
Ghosted
A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
R.I.P.
👻
Ghosted
Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
R.I.P.
👻
Ghosted
SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
R.I.P.
👻
Ghosted
One Weird Trick to Untie Landin's Knot
R.I.P.
⏳
Coming Soon™
NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
R.I.P.
👻
Ghosted
Random Variate Generation with Formal Guarantees
R.I.P.
👻
Ghosted
Quantum Circuits Are Just a Phase
R.I.P.
👻
Ghosted
CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
R.I.P.
👻
Ghosted
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
R.I.P.
👻
Ghosted
An instance of FreeCHR with refined operational semantics
R.I.P.
👻
Ghosted
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
R.I.P.
👻
Ghosted
Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
R.I.P.
👻
Ghosted