R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3694
Total Papers
3466
No Code
21
Twilight
207
Has Code
5.6%
Survival Rate
R.I.P.
👻
Ghosted
Sound Mixed-Precision Optimization with Rewriting
R.I.P.
👻
Ghosted
Multiparty Session Actors
R.I.P.
👻
Ghosted
Synthesis through Unification
R.I.P.
👻
Ghosted
Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference
R.I.P.
👻
Ghosted
Domain-Specific Multi-Level IR Rewriting for GPU
R.I.P.
👻
Ghosted
Denotational cost semantics for functional languages with inductive types
R.I.P.
👻
Ghosted
Optimal Dyck Reachability for Data-Dependence and Alias Analysis
R.I.P.
👻
Ghosted
A Fast Compiler for NetKAT
R.I.P.
👻
Ghosted
Profunctor Optics: Modular Data Accessors
R.I.P.
👻
Ghosted
A Core Model for Choreographic Programming
R.I.P.
👻
Ghosted
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server
R.I.P.
👻
Ghosted
Dijkstra Monads for Free
R.I.P.
👻
Ghosted
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
R.I.P.
👻
Ghosted
Understanding and Analyzing Java Reflection
R.I.P.
👻
Ghosted
Sympiler: Transforming Sparse Matrix Codes by Decoupling Symbolic Analysis
R.I.P.
👻
Ghosted
On the Transferability of Pre-trained Language Models for Low-Resource Programming Languages
R.I.P.
👻
Ghosted
Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
R.I.P.
👻
Ghosted
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration
R.I.P.
👻
Ghosted
Resource-Aware Session Types for Digital Contracts
R.I.P.
👻
Ghosted
FrAngel: Component-Based Synthesis with Control Structures
R.I.P.
👻
Ghosted
DLVM: A modern compiler infrastructure for deep learning systems
R.I.P.
👻
Ghosted
Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory
R.I.P.
👻
Ghosted