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