🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Reversing Parallel Programs with Blocks and Procedures

James Hoey, Irek Ulidowski, Shoji Yuen

cs.PL 🏛 Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics 📚 16 cites 7 years ago

R.I.P. 👻 Ghosted

Efficient and Deterministic Record & Replay for Actor Languages

Dominik Aumayr, Stefan Marr, ... (+3 more)

cs.PL 🏛 Managed Languages & Runtimes 📚 16 cites 8 years ago

R.I.P. 👻 Ghosted

Incremental and Modular Context-sensitive Analysis

Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo

cs.PL 🏛 TPLP 📚 16 cites 8 years ago

R.I.P. 👻 Ghosted

Generic Zero-Cost Reuse for Dependent Types

Larry Diehl, Denis Firsov, Aaron Stump

cs.PL 🏛 PACMPL 📚 16 cites 8 years ago

R.I.P. 👻 Ghosted

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

Alejandro Aguirre, Gilles Barthe, ... (+4 more)

cs.PL 🏛 European Symposium on Programming 📚 16 cites 8 years ago

R.I.P. 👻 Ghosted

Compositional Verification of Compiler Optimisations on Relaxed Memory

Mike Dodds, Mark Batty, Alexey Gotsman

cs.PL 🏛 European Symposium on Programming 📚 16 cites 8 years ago

R.I.P. 👻 Ghosted

Putting in All the Stops: Execution Control for JavaScript

Samuel Baxter, Rachit Nigam, ... (+3 more)

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 16 cites 8 years ago

R.I.P. 👻 Ghosted

A Fast Causal Profiler for Task Parallel Programs

Adarsh Yoga, Santosh Nagarakatte

cs.PL 🏛 FSE 📚 16 cites 9 years ago

R.I.P. 👻 Ghosted

A Productivity Checker for Logic Programming

E. Komendantskaya, P. Johann, M. Schmidt

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 16 cites 9 years ago

R.I.P. 👻 Ghosted

SecCoder: Towards Generalizable and Robust Secure Code Generation

Boyu Zhang, Tianyu Du, ... (+6 more)

cs.PL 🏛 EMNLP 📚 15 cites 1 year ago

R.I.P. 👻 Ghosted

Modular Denotational Semantics for Effects with Guarded Interaction Trees

Dan Frumin, Amin Timany, Lars Birkedal

cs.PL 🏛 PACMPL 📚 15 cites 2 years ago

R.I.P. 👻 Ghosted

Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity

Pedro Antonino, A. W. Roscoe

cs.PL 🏛 arXiv 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

Rast: A Language for Resource-Aware Session Types

Ankush Das, Frank Pfenning

cs.PL 🏛 Log. Methods Comput. Sci. 📚 15 cites 5 years ago

R.I.P. 👻 Ghosted

A Modern Compiler for the French Tax Code

Denis Merigoux, Raphaël Monat, Jonathan Protzenko

cs.PL 🏛 ICCC 📚 15 cites 5 years ago

R.I.P. 👻 Ghosted

Modeling Black-Box Components with Probabilistic Synthesis

Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle

cs.PL 🏛 ICGPCE 📚 15 cites 5 years ago

R.I.P. 👻 Ghosted

CAMP: Cost-Aware Multiparty Session Protocols

David Castro-Perez, Nobuko Yoshida

cs.PL 🏛 PACMPL 📚 15 cites 5 years ago

R.I.P. 👻 Ghosted

Explicit Effect Subtyping

Georgios Karachalias, Matija Pretnar, ... (+3 more)

cs.PL 🏛 Journal of functional programming 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

Learned Garbage Collection

Lujing Cen, Ryan Marcus, ... (+4 more)

cs.PL 🏛 MAPL@PLDI 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL

Sadegh Dalvandi, Brijesh Dongol, Simon Doherty

cs.PL 🏛 arXiv 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use

Steven Costiou, Vincent Aranega, Marcus Denker

cs.PL 🏛 Programming 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

RHLE: Modular Deductive Verification of Relational $\forall\exists$ Properties

Robert Dickerson, Qianchuan Ye, ... (+2 more)

cs.PL 🏛 Asian Symposium on Programming Languages and Systems 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

Albert, an intermediate smart-contract language for the Tezos blockchain

Bruno Bernardo, Raphaël Cauderlier, ... (+2 more)

cs.PL 🏛 Financial Cryptography Workshops 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)

Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski

cs.PL 🏛 Fundamental Approaches to Software Engineering 📚 15 cites 7 years ago

R.I.P. 👻 Ghosted

Complexity and Information in Invariant Inference

Yotam M. Y. Feldman, Neil Immerman, ... (+2 more)

cs.PL 🏛 PACMPL 📚 15 cites 6 years ago