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
ClassInvGen: Class Invariant Synthesis using Large Language Models
R.I.P.
💀
404 Not Found
VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
R.I.P.
👻
Ghosted
A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
R.I.P.
👻
Ghosted
Coinductive Proofs for Temporal Hyperliveness
R.I.P.
👻
Ghosted
Flo: a Semantic Foundation for Progressive Stream Processing
R.I.P.
👻
Ghosted
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
R.I.P.
👻
Ghosted
Provably Fair Cooperative Scheduling
R.I.P.
👻
Ghosted
Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design
R.I.P.
👻
Ghosted
Enriched Presheaf Model of Quantum FPC
R.I.P.
👻
Ghosted
Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version)
R.I.P.
👻
Ghosted
Modeling Reachability Types with Logical Relations
R.I.P.
👻
Ghosted
Logical Relations for Session-Typed Concurrency
R.I.P.
👻
Ghosted
An Intermediate Representation for Composable Typed Streaming Dataflow Designs
R.I.P.
👻
Ghosted
Degrees of Separation: A Flexible Type System for Data Race Prevention
R.I.P.
👻
Ghosted
Monitoring Hyperproperties With Prefix Transducers
R.I.P.
👻
Ghosted
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
R.I.P.
👻
Ghosted
HasTEE: Programming Trusted Execution Environments with Haskell
R.I.P.
👻
Ghosted
Type-Preserving Compilation of Class-Based Languages
R.I.P.
👻
Ghosted
Efficient CHAD
R.I.P.
👻
Ghosted
Formalizing Box Inference for Capture Calculus
R.I.P.
👻
Ghosted
(Un)Solvable Loop Analysis
R.I.P.
👻
Ghosted
Colored E-Graph: Equality Reasoning with Conditions
R.I.P.
👻
Ghosted