R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3729
Total Papers
3466
No Code
21
Twilight
242
Has Code
6.5%
Survival Rate
R.I.P.
👻
Ghosted
MLGOPerf: An ML Guided Inliner to Optimize Performance
R.I.P.
👻
Ghosted
The SyGuS Language Standard Version 2.1
R.I.P.
👻
Ghosted
Compiler Auto-tuning through Multiple Phase Learning
R.I.P.
👻
Ghosted
Designing with Static Capabilities and Effects: Use, Mention, and Invariants
R.I.P.
👻
Ghosted
Repairing and Mechanising the JavaScript Relaxed Memory Model
R.I.P.
👻
Ghosted
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
R.I.P.
👻
Ghosted
Cache Persistence Analysis: Finally Exact
R.I.P.
👻
Ghosted
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
R.I.P.
👻
Ghosted
Asynchronous Execution of Python Code on Task Based Runtime Systems
R.I.P.
👻
Ghosted
Learning Abstractions for Program Synthesis
R.I.P.
👻
Ghosted
Performing Fully Parallel Constraint Logic Programming on a Quantum Annealer
R.I.P.
👻
Ghosted
Harmonizing Signals and Events with a Lightweight Extension to Java
R.I.P.
👻
Ghosted
Thread-Modular Static Analysis for Relaxed Memory Models
R.I.P.
👻
Ghosted
Nominal C-Unification
R.I.P.
👻
Ghosted
A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)
R.I.P.
👻
Ghosted
Language-integrated provenance
R.I.P.
👻
Ghosted
Mixing Metaphors: Actors as Channels and Channels as Actors (Extended Version)
R.I.P.
👻
Ghosted
The Complexity of Interaction (Long Version)
R.I.P.
👻
Ghosted
From F to DOT: Type Soundness Proofs with Definitional Interpreters
R.I.P.
👻
Ghosted
Paradigm-Based Automatic HDL Code Generation Using LLMs
R.I.P.
👻
Ghosted
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
R.I.P.
👻
Ghosted
An abstract semantics of speculative execution for reasoning about security vulnerabilities
R.I.P.
👻
Ghosted