| 2018 | On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. | Przemyslaw Andrzej Walega |
| 2018 | HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography. | Paventhan Vivekanandan |
| 2018 | Extending a Verified Simplex Algorithm. | Ren Thiemann |
| 2018 | Parse Condition: Symbolic Encoding of LL(1) Parsing. | Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy |
| 2018 | Knowledge Compilation meets Uniform Sampling. | Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel |
| 2018 | The Triguarded Fragment of First-Order Logic. | Sebastian Rudolph, Mantas Simkus |
| 2018 | A Theory of Satisfiability-Preserving Proofs in SAT Solving. | Adrin Rebola-Pardo, Martin Suda |
| 2018 | A Verified Theorem Prover Backend Supported by a Monotonic Library. | Vincent Rahli, Liron Cohen, Mark Bickford |
| 2018 | Automatic Space Bound Analysis for Functional Programs with Garbage Collection. | Yue Niu, Jan Hoffmann |
| 2018 | SMTS: Distributed, Visualized Constraint Solving. | Matteo Marescotti, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2018 | Polymorphic success types for Erlang. | Francisco Javier Lpez-Fraguas, Manuel Montenegro, Gorka Surez-Garca |
| 2018 | Alternating Reachability Games with Behavioral and Revenue Objectives. | Orna Kupferman, Tami Tamir |
| 2018 | Playing with the Maximum-Flow Problem. | Orna Kupferman |
| 2018 | Symmetry breaking in a new stable model search method. | Tarek Khaled, Belaid Benhamou |
| 2018 | Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. | Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger |
| 2018 | Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper). | Martin Jons, Jan Strejcek |
| 2018 | Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. | Chuan Jiang, Gianfranco Ciardo |
| 2018 | Towards Smarter MACE-style Model Finders. | Mikolas Janota, Martin Suda |
| 2018 | A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. | Radu Iosif, Cristina Serban |
| 2018 | Lookahead-Based SMT Solving. | Antti E. J. Hyvrinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina |
| 2018 | Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. | Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Khl |
| 2018 | Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. | Antonio Gonzlez-Burgueo, Damin Aparicio-Snchez, Santiago Escobar, Catherine Meadows, Jos Meseguer |
| 2018 | ProofWatch Meets ENIGMA: First Experiments. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |
| 2018 | Loop Analysis by Quantification over Iterations. | Bernhard Gleiss, Laura Kovcs, Simon Robillard |
| 2018 | Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. | Benjamin Farinier, Robin David, Sbastien Bardin, Matthieu Lemerre |