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
Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
R.I.P.
👻
Ghosted
Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators
R.I.P.
👻
Ghosted
Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
R.I.P.
👻
Ghosted
SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
R.I.P.
👻
Ghosted
Code Style Sheets: CSS for Code
R.I.P.
👻
Ghosted
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
R.I.P.
👻
Ghosted
Bean: A Language for Backward Error Analysis
R.I.P.
👻
Ghosted
Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
R.I.P.
👻
Ghosted
A Verified Cost Analysis of Joinable Red-Black Trees
R.I.P.
👻
Ghosted
Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
R.I.P.
👻
Ghosted
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
R.I.P.
👻
Ghosted
Quest Complete: the Holy Grail of Gradual Security
R.I.P.
👻
Ghosted
A Compiler from Array Programs to Vectorized Homomorphic Encryption
R.I.P.
👻
Ghosted
Commutativity Simplifies Proofs of Parameterized Programs
R.I.P.
👻
Ghosted
Correctness Witness Validation by Abstract Interpretation
R.I.P.
👻
Ghosted
A R4RS Compliant REPL in 7 KB
R.I.P.
👻
Ghosted
Exploiting array manipulation habits to optimize garbage collection and type flow analysis
R.I.P.
👻
Ghosted
Trustworthy Formal Natural Language Specifications
R.I.P.
👻
Ghosted
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
R.I.P.
👻
Ghosted
Comparing Performance and Portability between CUDA and SYCL for Protein Database Search on NVIDIA, AMD, and Intel GPUs
R.I.P.
👻
Ghosted
Compiling Recurrences over Dense and Sparse Arrays
R.I.P.
👻
Ghosted
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
R.I.P.
👻
Ghosted