R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3799
Total Papers
3450
No Code
30
Twilight
319
Has Code
8.4%
Survival Rate
R.I.P.
👻
Ghosted
Custom Representations of Inductive Families
R.I.P.
👻
Ghosted
Thread and Memory-Safe Programming with CLASS
R.I.P.
👻
Ghosted
Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
🌅
💤
Eternal Rest
Automated Verification of Monotonic Data Structure Traversals in C
R.I.P.
👻
Ghosted
ZeroML: A Next Generation AutoML Language
R.I.P.
👻
Ghosted
Asynchronous Global Protocols, Precisely: Full Proofs
R.I.P.
👻
Ghosted
Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
R.I.P.
👻
Ghosted
Data-driven Verification of Procedural Programs with Integer Arrays
R.I.P.
👻
Ghosted
Let's Take Esoteric Programming Languages Seriously
R.I.P.
👻
Ghosted
Unraveling the iterative CHAD
R.I.P.
👻
Ghosted
Augmented Weak Distance for Fast and Accurate Bounds Checking
R.I.P.
👻
Ghosted
A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
R.I.P.
👻
Ghosted
Rod Bustall: In Memoriam
R.I.P.
👻
Ghosted
The Complexity of Testing Message-Passing Concurrency
R.I.P.
👻
Ghosted
VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
R.I.P.
👻
Ghosted
Are Programming Paradigms Paradigms? A Critical Examination of Floyd's Appropriation of Kuhn's Philosophy
R.I.P.
👻
Ghosted
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
R.I.P.
👻
Ghosted
An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
R.I.P.
👻
Ghosted
An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
R.I.P.
👻
Ghosted
Type-safe and portable support for packed data
R.I.P.
👻
Ghosted
A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
R.I.P.
👻
Ghosted
GPU accelerated program synthesis: Enumerate semantics, not syntax!
R.I.P.
👻
Ghosted