| 2022 | The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved. | June Andronick |
| 2022 | Verification-Aided Deep Ensemble Selection. | Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira |
| 2021 | SAT-Inspired Eliminations for Superposition. | Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule |
| 2021 | Active Automata Learning: from L | Frits W. Vaandrager |
| 2021 | Automating System Configuration. | Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett |
| 2021 | Synthesizing Pareto-Optimal Interpretations for Black-Box Models. | Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia |
| 2021 | Sound and Automated Verification of Real-World RTL Multipliers. | Mertcan Temel, Warren A. Hunt |
| 2021 | Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V. | Peter Sewell |
| 2021 | The FMCAD 2021 Student Forum. | Mark Santolucito |
| 2021 | A Multithreaded Vampire with Shared Persistent Grounding. | Michael Rawson, Giles Reger |
| 2021 | SAT Solving in the Serverless Cloud. | Alex Ozdemir, Haoze Wu, Clark W. Barrett |
| 2021 | Formal Methods for the Security Analysis of Smart Contracts. | Matteo Maffei |
| 2021 | From Viewstamped Replication to Blockchains. | Barbara Liskov |
| 2021 | Data-driven Optimization of Inductive Generalization. | Nham Le, Xujie Si, Arie Gurfinkel |
| 2021 | Pruning and Slicing Neural Networks using Formal Verification. | Ori Lahav, Guy Katz |
| 2021 | Stainless Verification System Tutorial. | Viktor Kuncak, Jad Hamza |
| 2021 | Mathematical Programming Modulo Strings. | Ankit Kumar, Panagiotis Manolios |
| 2021 | Logical Characterization of Coherent Uninterpreted Programs. | Hari Govind V. K., Sharon Shoham, Arie Gurfinkel |
| 2021 | The Civl Verifier. | Bernhard Kragl, Shaz Qadeer |
| 2021 | Dynamic Partial Order Reductions for Spinloops. | Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis |
| 2021 | Algorithms for the People. | Seny Kamara |
| 2021 | Hardware Security Leak Detection by Symbolic Simulation. | Neta Bar Kama, Roope Kaivola |
| 2021 | Fair and Adventurous Enumeration of Quantifier Instantiations. | Mikols Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds |
| 2021 | Exploiting Isomorphic Subgraphs in SAT. | Alexander Ivrii, Ofer Strichman |
| 2021 | Lookahead in Partitioning SMT. | Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |