R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3783
Total Papers
3450
No Code
30
Twilight
303
Has Code
8.0%
Survival Rate
R.I.P.
👻
Ghosted
Parallel algorithms development for programmable logic devices
R.I.P.
👻
Ghosted
Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time
R.I.P.
👻
Ghosted
User-Directed Loop-Transformations in Clang
R.I.P.
👻
Ghosted
ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation
R.I.P.
👻
Ghosted
Eliminating Unstable Tests in Floating-Point Programs
R.I.P.
👻
Ghosted
Typed Closure Conversion for the Calculus of Constructions
R.I.P.
👻
Ghosted
Cimple: Instruction and Memory Level Parallelism
R.I.P.
👻
Ghosted
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
R.I.P.
👻
Ghosted
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
R.I.P.
👻
Ghosted
Mailbox Types for Unordered Interactions
R.I.P.
👻
Ghosted
Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report
R.I.P.
👻
Ghosted
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
R.I.P.
👻
Ghosted
Fairness as a Program Property
R.I.P.
👻
Ghosted
Programming Language Features for Refinement
R.I.P.
👻
Ghosted
Jolie Community on the Rise
R.I.P.
👻
Ghosted
CurryCheck: Checking Properties of Curry Programs
R.I.P.
👻
Ghosted
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime
R.I.P.
👻
Ghosted
COGENT: Certified Compilation for a Functional Systems Language
R.I.P.
👻
Ghosted
Combining behavioural types with security analysis
R.I.P.
👻
Ghosted
StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems
R.I.P.
👻
Ghosted
A Hybrid Approach to Semi-automated Rust Verification
R.I.P.
👻
Ghosted
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
R.I.P.
👻
Ghosted