| 2021 | A Multithreaded Vampire with Shared Persistent Grounding. Michael Rawson, Giles Reger |
| 2021 | Active Automata Learning: from L Frits W. Vaandrager |
| 2021 | Algorithms for the People. Seny Kamara |
| 2021 | Automating System Configuration. Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett |
| 2021 | COCOALMA: A Versatile Masking Verifier. Vedad Hadzic, Roderick Bloem |
| 2021 | Celestial: A Smart Contracts Verification Framework. Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal |
| 2021 | Data-driven Optimization of Inductive Generalization. Nham Le, Xujie Si, Arie Gurfinkel |
| 2021 | Designing Samplers is Easy: The Boon of Testers. Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel |
| 2021 | Dynamic Partial Order Reductions for Spinloops. Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis |
| 2021 | End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers. Dapeng Gao, Tom Melham |
| 2021 | Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V. Peter Sewell |
| 2021 | Exploiting Isomorphic Subgraphs in SAT. Alexander Ivrii, Ofer Strichman |
| 2021 | Fair and Adventurous Enumeration of Quantifier Instantiations. Mikolás Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds |
| 2021 | Formal Methods for the Security Analysis of Smart Contracts. Matteo Maffei |
| 2021 | Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021 |
| 2021 | From Viewstamped Replication to Blockchains. Barbara Liskov |
| 2021 | Hardware Security Leak Detection by Symbolic Simulation. Neta Bar Kama, Roope Kaivola |
| 2021 | IC3 with Internal Signals. Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel |
| 2021 | Induction with Recursive Definitions in Superposition. Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov |
| 2021 | Logical Characterization of Coherent Uninterpreted Programs. Hari Govind V. K., Sharon Shoham, Arie Gurfinkel |
| 2021 | Lookahead in Partitioning SMT. Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina |
| 2021 | Mathematical Programming Modulo Strings. Ankit Kumar, Panagiotis Manolios |
| 2021 | Model Checking AUTOSAR Components with CBMC. Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr |
| 2021 | On Decomposition of Maximal Satisfiable Subsets. Jaroslav Bendík |
| 2021 | Pruning and Slicing Neural Networks using Formal Verification. Ori Lahav, Guy Katz |
| 2021 | Reactive Synthesis Beyond Realizability. Rayna Dimitrova |
| 2021 | Refinement-Based Verification of Device-to-Device Information Flow. Ning Dong, Roberto Guanciale, Mads Dam |
| 2021 | Robustness between Weak Memory Models. Soham Chakraborty |
| 2021 | SAT Solving in the Serverless Cloud. Alex Ozdemir, Haoze Wu, Clark W. Barrett |
| 2021 | SAT-Inspired Eliminations for Superposition. Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule |
| 2021 | Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra |
| 2021 | Single Clause Assumption without Activation Literals to Speed-up IC3. Nils Froleyks, Armin Biere |
| 2021 | Sound and Automated Verification of Real-World RTL Multipliers. Mertcan Temel, Warren A. Hunt |
| 2021 | Stainless Verification System Tutorial. Viktor Kuncak, Jad Hamza |
| 2021 | Synthesizing Pareto-Optimal Interpretations for Black-Box Models. Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia |
| 2021 | The Civl Verifier. Bernhard Kragl, Shaz Qadeer |
| 2021 | The FMCAD 2021 Student Forum. Mark Santolucito |
| 2021 | Towards Scalable Verification of Deep Reinforcement Learning. Guy Amir, Michael Schapira, Guy Katz |
| 2021 | Towards an Automatic Proof of Lamport's Paxos. Aman Goel, Karem A. Sakallah |