| 2018 | Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. | Martin Sulzmann, Kai Stadtmller |
| 2018 | Calculating Distributions. | Chung-chieh Shan |
| 2018 | Three Improvements to the Top-Down Solver. | Helmut Seidl, Ralf Vogler |
| 2018 | Sequential and Parallel Improvements in a Concurrent Functional Programming Language. | Manfred Schmidt-Schau, David Sabel, Nils Dallmeyer |
| 2018 | Symbolic Execution for JavaScript. | Jos Fragoso Santos, Petar Maksimovic, Thotime Grohens, Julian Dolby, Philippa Gardner |
| 2018 | Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems. | Genki Sakanashi, Masahiko Sakai |
| 2018 | Improving Refutational Completeness of Relational Search via Divergence Test. | Dmitri Rozplokhas, Dmitri Boulytchev |
| 2018 | An Internalist Approach to Correct-by-Construction Compilers. | Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera |
| 2018 | Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description. | Falco Nogatz, Jona Kalkus, Dietmar Seipel |
| 2018 | Nondeterministic Manifest Contracts. | Yuki Nishida, Atsushi Igarashi |
| 2018 | Schematic Polymorphism in the Abella Proof Assistant. | Gopalan Nadathur, Yuting Wang |
| 2018 | Implicit Parameters for Logic Programming. | Magnus Madsen, Ondrej Lhotk |
| 2018 | Static Performance Guarantees for Programs with Runtime Checks. | Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | Verifying Fail-Free Declarative Programs. | Michael Hanus |
| 2018 | System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. | Sylvia Grewe, Sebastian Erdweg, Andr Pacak, Mira Mezini |
| 2018 | JaVerT: JavaScript Verification and Testing Framework: Invited Talk. | Philippa Gardner |
| 2018 | Verse: An EDSL for Cryptographic Primitives. | Abhishek Dang, Piyush P. Kurur |
| 2018 | Automatic Reordering for Dataflow Safety of Datalog. | Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice |
| 2018 | On Intersection Types and Probabilistic Lambda Calculi. | Flavien Breuvart, Ugo Dal Lago |
| 2018 | Semantic Equivalence Checking for HHVM Bytecode. | Nick Benton |
| 2018 | Combinatorics of Explicit Substitutions. | Maciej Bendkowski, Pierre Lescanne |
| 2018 | Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract. | Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed |
| 2018 | Certified Compilation of Financial Contracts. | Danil Annenkov, Martin Elsman |
| 2018 | Declarative GUIs: Simple, Consistent, and Verified. | Stephan Adelsberger, Anton Setzer, Eric Walkingshaw |
| 2017 | Expressive and strongly type-safe code generation. | Thomas Winant, Jesper Cockx, Dominique Devriese |