🏛️ 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
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
R.I.P.
👻
Ghosted
Glow: Graph Lowering Compiler Techniques for Neural Networks
R.I.P.
👻
Ghosted
Learnable Programming: Blocks and Beyond
R.I.P.
👻
Ghosted
Scenic: A Language for Scenario Specification and Scene Generation
R.I.P.
👻
Ghosted
Vandal: A Scalable Security Analysis Framework for Smart Contracts
R.I.P.
👻
Ghosted
MLIR: A Compiler Infrastructure for the End of Moore's Law
R.I.P.
👻
Ghosted
VeriGen: A Large Language Model for Verilog Code Generation
R.I.P.
👻
Ghosted
Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code
R.I.P.
👻
Ghosted
Program Synthesis from Polymorphic Refinement Types
R.I.P.
👻
Ghosted
The Essence of JavaScript
R.I.P.
👻
Ghosted
A Survey on Compiler Autotuning using Machine Learning
R.I.P.
👻
Ghosted
Effective Extensible Programming: Unleashing Julia on GPUs
R.I.P.
👻
Ghosted
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts
R.I.P.
👻
Ghosted
A General Path-Based Representation for Predicting Program Properties
R.I.P.
👻
Ghosted
Don't Unroll Adjoint: Differentiating SSA-Form Programs
R.I.P.
👻
Ghosted
A Differentiable Programming System to Bridge Machine Learning and Scientific Computing
R.I.P.
👻
Ghosted
Synthesizing Program Input Grammars
R.I.P.
👻
Ghosted
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
R.I.P.
👻
Ghosted
Write, Execute, Assess: Program Synthesis with a REPL
R.I.P.
👻
Ghosted
Fashionable Modelling with Flux
R.I.P.
👻
Ghosted
Program Synthesis using Conflict-Driven Learning
R.I.P.
👻
Ghosted
A Convenient Category for Higher-Order Probability Theory
R.I.P.
👻
Ghosted