🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3738
Total Papers
3466
No Code
21
Twilight
251
Has Code
6.7%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Using Cognitive Computing for Learning Parallel Programming: An IBM Watson Solution
R.I.P.
👻
Ghosted
A Framework for Extending microKanren with Constraints
R.I.P.
👻
Ghosted
Causally consistent dynamic slicing
R.I.P.
👻
Ghosted
Trees That Grow
R.I.P.
👻
Ghosted
A New Functional-Logic Compiler for Curry: Sprite
R.I.P.
👻
Ghosted
Trace semantics for polymorphic references
R.I.P.
👻
Ghosted
Predicate Abstraction for Linked Data Structures
R.I.P.
👻
Ghosted
TreatJS: Higher-Order Contracts for JavaScript
🌅
💤
Eternal Rest
HTVM: Efficient Neural Network Deployment On Heterogeneous TinyML Platforms
R.I.P.
👻
Ghosted
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
R.I.P.
👻
Ghosted
Validating Traces of Distributed Programs Against TLA+ Specifications
R.I.P.
👻
Ghosted
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
R.I.P.
👻
Ghosted
PERFOGRAPH: A Numerical Aware Program Graph Representation for Performance Optimization and Program Analysis
R.I.P.
👻
Ghosted
Linear Matching of JavaScript Regular Expressions
R.I.P.
👻
Ghosted
Implementation and Synthesis of Math Library Functions
R.I.P.
👻
Ghosted
Predictive Monitoring against Pattern Regular Languages
R.I.P.
👻
Ghosted
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
R.I.P.
👻
Ghosted
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
R.I.P.
👻
Ghosted
Search-Based Regular Expression Inference on a GPU
R.I.P.
👻
Ghosted
Optimal Reads-From Consistency Checking for C11-Style Memory Models
R.I.P.
👻
Ghosted
Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators
R.I.P.
👻
Ghosted
BISM: Bytecode-Level Instrumentation for Software Monitoring
R.I.P.
👻
Ghosted