| 2018 | A Framework for Computer-Aided Design of Educational Domain Models. Eric Butler, Emina Torlak, Zoran Popovic |
| 2018 | A Logical System for Modular Information Flow Verification. Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin |
| 2018 | Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. Samuele Buro, Isabella Mastroeni |
| 2018 | Abstraction-Based Interaction Model for Synthesis. Hila Peleg, Shachar Itzhaky, Sharon Shoham |
| 2018 | An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz |
| 2018 | Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. Swen Jacobs, Mouhammad Sakr |
| 2018 | Automatic Verification of Intermittent Systems. Manjeet Dahiya, Sorav Bansal |
| 2018 | Automatic Verification of RMA Programs via Abstraction Extrapolation. Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev |
| 2018 | Co-Design and Verification of an Available File System. Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster |
| 2018 | Code Obfuscation Against Abstract Model Checking Attacks. Roberto Bruni, Roberto Giacobazzi, Roberta Gori |
| 2018 | From Shapes to Amortized Complexity. Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger |
| 2018 | Generating Tests by Example. Hila Peleg, Dan Rasin, Eran Yahav |
| 2018 | Gradual Program Verification. Johannes Bader, Jonathan Aldrich, Éric Tanter |
| 2018 | Invariant Generation for Multi-Path Loops with Polynomial Assignments. Andreas Humenberger, Maximilian Jaroschek, Laura Kovács |
| 2018 | Learning to Complement Büchi Automata. Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe |
| 2018 | Modular Analysis of Executables Using On-Demand Heyting Completion. Julian Kranz, Axel Simon |
| 2018 | On Constructivity of Galois Connections. Francesco Ranzato |
| 2018 | On abstraction and compositionality for weak-memory linearisability. Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong |
| 2018 | P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols. Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf |
| 2018 | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger |
| 2018 | Refinement Types for Ruby. Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak |
| 2018 | Revisiting MITL to Fix Decision Procedures. Nima Roohi, Mahesh Viswanathan |
| 2018 | Scalable Approximation of Quantitative Information Flow in Programs. Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf |
| 2018 | Selfless Interpolation for Infinite-State Model Checking. Tanja Schindler, Dejan Jovanovic |
| 2018 | Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings Isil Dillig, Jens Palsberg |