🏛️ 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
R.I.P.
👻
Ghosted
On Multiphase-Linear Ranking Functions
R.I.P.
👻
Ghosted
Cantor meets Scott: Semantic Foundations for Probabilistic Networks
R.I.P.
👻
Ghosted
Data-driven Workflows for Microservices
R.I.P.
👻
Ghosted
JSKETCH: Sketching for Java
R.I.P.
👻
Ghosted
Abstract Interpretation under Speculative Execution
R.I.P.
👻
Ghosted
Automating Induction for Solving Horn Clauses
R.I.P.
👻
Ghosted
CARMA: Collective Adaptive Resource-sharing Markovian Agents
R.I.P.
👻
Ghosted
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
R.I.P.
👻
Ghosted
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example
R.I.P.
👻
Ghosted
Programming Not Only by Example
R.I.P.
👻
Ghosted
Proving Expected Sensitivity of Probabilistic Programs
R.I.P.
👻
Ghosted
Hypercollecting Semantics and its Application to Static Analysis of Information Flow
R.I.P.
👻
Ghosted
Type Inference for Static Compilation of JavaScript (Extended Version)
R.I.P.
👻
Ghosted
Allo: A Programming Model for Composable Accelerator Design
R.I.P.
👻
Ghosted
A graded dependent type system with a usage-aware semantics (extended version)
R.I.P.
👻
Ghosted
Tea: A High-level Language and Runtime System for Automating Statistical Analysis
R.I.P.
👻
Ghosted
goSLP: Globally Optimized Superword Level Parallelism Framework
R.I.P.
👻
Ghosted
Eff Directly in OCaml
R.I.P.
👻
Ghosted
Invariant Generation for Multi-Path Loops with Polynomial Assignments
R.I.P.
👻
Ghosted
Notions of bidirectional computation and entangled state monads
R.I.P.
👻
Ghosted
Optimal Prediction of Synchronization-Preserving Races
R.I.P.
👻
Ghosted
Resource-Guided Program Synthesis
R.I.P.
👻
Ghosted