R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3767
Total Papers
3450
No Code
30
Twilight
287
Has Code
7.6%
Survival Rate
R.I.P.
👻
Ghosted
Nominal Unification of Higher Order Expressions with Recursive Let
R.I.P.
👻
Ghosted
On the Complexity and Performance of Parsing with Derivatives
R.I.P.
👻
Ghosted
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)
R.I.P.
👻
Ghosted
Data Extraction via Semantic Regular Expression Synthesis
R.I.P.
👻
Ghosted
Atomicity Checking in Linear Time using Vector Clocks
R.I.P.
👻
Ghosted
SMT-Friendly Formalization of the Solidity Memory Model
R.I.P.
👻
Ghosted
Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode
R.I.P.
👻
Ghosted
The Mathematical Foundations of Physical Systems Modeling Languages
R.I.P.
👻
Ghosted
Maintaining a Library of Formal Mathematics
R.I.P.
👻
Ghosted
Tabled Typeclass Resolution
R.I.P.
👻
Ghosted
Fuzzi: A Three-Level Logic for Differential Privacy
R.I.P.
👻
Ghosted
Get rid of inline assembly through verification-oriented lifting
R.I.P.
👻
Ghosted
Optimizing and Evaluating Transient Gradual Typing
R.I.P.
👻
Ghosted
Improved Basic Block Reordering
R.I.P.
👻
Ghosted
Relational Program Synthesis
R.I.P.
👻
Ghosted
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
R.I.P.
👻
Ghosted
Recalling a Witness: Foundations and Applications of Monotonic State
R.I.P.
👻
Ghosted
A Language for Probabilistically Oblivious Computation
R.I.P.
👻
Ghosted
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too
R.I.P.
👻
Ghosted
A Denotational Semantics for SPARC TSO
R.I.P.
👻
Ghosted
Tracing where IoT data are collected and aggregated
R.I.P.
👻
Ghosted
NoFAQ: Synthesizing Command Repairs from Examples
R.I.P.
👻
Ghosted