🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Visualising interactive inferences with IDPD3

Ruben Lapauw, Ingmar Dasseville, Marc Denecker

cs.PL 🏛 arXiv 📚 11 cites 10 years ago

R.I.P. 👻 Ghosted

Several types of types in programming languages

Simone Martini

cs.PL 🏛 ICHPC 📚 11 cites 10 years ago

R.I.P. 👻 Ghosted

Experience Report: Developing the Servo Web Browser Engine using Rust

Brian Anderson, Lars Bergstrom, ... (+6 more)

cs.PL 🏛 arXiv 📚 11 cites 11 years ago

R.I.P. 👻 Ghosted

Fine-grained Language Composition: A Case Study

Edd Barrett, Carl Friedrich Bolz, ... (+2 more)

cs.PL 🏛 ECOOP 📚 11 cites 11 years ago

R.I.P. 👻 Ghosted

A Finite Model Property for Intersection Types

Rick Statman

cs.PL 🏛 ITRS 📚 11 cites 11 years ago

R.I.P. 👻 Ghosted

Quickstrom: Property Based Acceptance Testing with LTL Specifications

Liam O'Connor, Oskar Wickström

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

R.I.P. 👻 Ghosted

A Formal Model of Checked C

Liyi Li, Yiyun Liu, ... (+4 more)

cs.PL 🏛 CSF 📚 11 cites 4 years ago

R.I.P. 👻 Ghosted

Compiling C to Safe Rust, Formalized

Aymeric Fromherz, Jonathan Protzenko

cs.PL 🏛 arXiv 📚 10 cites 1 year ago

R.I.P. 👻 Ghosted

Causal-Consistent Reversible Debugging: Improving CauDEr

Juan José González-Abril, Germán Vidal

cs.PL 🏛 ICPADL 📚 10 cites 2 years ago

R.I.P. 👻 Ghosted

A Nominal Approach to Probabilistic Separation Logic

John M. Li, Jon Aytac, ... (+3 more)

cs.PL 🏛 Logic in Computer Science 📚 10 cites 2 years ago

R.I.P. 👻 Ghosted

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs

Krishnendu Chatterjee, Amir Kafshdar Goharshady, ... (+3 more)

cs.PL 🏛 FM 📚 10 cites 2 years ago

R.I.P. 👻 Ghosted

Neural Network Verification is a Programming Language Challenge

Lucas C. Cordeiro, Matthew L. Daggitt, ... (+9 more)

cs.PL 🏛 European Symposium on Programming 📚 10 cites 1 year ago

R.I.P. 👻 Ghosted

Live, Rich, and Composable: Qualities for Programming Beyond Static Text

Joshua Horowitz, Jeffrey Heer

cs.PL 🏛 arXiv 📚 10 cites 3 years ago

R.I.P. 👻 Ghosted

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation

Chang Liu, Xiwei Wu, ... (+3 more)

cs.PL 🏛 NeurIPS 📚 10 cites 2 years ago

R.I.P. 👻 Ghosted

Decalf: A Directed, Effectful Cost-Aware Logical Framework

Harrison Grodin, Yue Niu, ... (+2 more)

cs.PL 🏛 PACMPL 📚 10 cites 2 years ago

R.I.P. 👻 Ghosted

Automated Expected Value Analysis of Recursive Programs

Martin Avanzini, Georg Moser, Michael Schaper

cs.PL 🏛 PACMPL 📚 10 cites 3 years ago

R.I.P. 👻 Ghosted

User-Customizable Transpilation of Scripting Languages

Bo Wang, Aashish Kolluri, ... (+3 more)

cs.PL 🏛 PACMPL 📚 10 cites 3 years ago

R.I.P. 👻 Ghosted

Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations

Sahil Verma, Subhajit Roy

cs.PL 🏛 Formal methods in system design 📚 10 cites 5 years ago

R.I.P. 👻 Ghosted

Deep Generation of Coq Lemma Names Using Elaborated Terms

Pengyu Nie, Karl Palmskog, ... (+2 more)

cs.PL 🏛 International Joint Conference on Automated Reasoning 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (Extended Version)

Nouraldin Jaber, Christopher Wagner, ... (+3 more)

cs.PL 🏛 PACMPL 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

Verifying Correct Usage of Context-Free API Protocols (Extended Version)

Kostas Ferles, Jon Stephens, Isil Dillig

cs.PL 🏛 PACMPL 📚 10 cites 5 years ago

R.I.P. 👻 Ghosted

Build Scripts with Perfect Dependencies

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

cs.PL 🏛 PACMPL 📚 10 cites 5 years ago

R.I.P. 👻 Ghosted

Program Verification via Predicate Constraint Satisfiability Modulo Theories

Hiroshi Unno, Yuki Satake, ... (+2 more)

cs.PL 🏛 arXiv 📚 10 cites 5 years ago

R.I.P. 👻 Ghosted

Certified Semantics for Relational Programming

Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev

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