Automated Translation Validation of a Compiler for Statically Scheduled Accelerators. - Jackson Melchert; Caleb Terrill; Aron Ricardo Perez-Lopez; Clark W. Barrett; Priyanka Raina (FMCAD, 2025)

Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper). - Aron Ricardo Perez-Lopez; Po-Chun Chien; Florian Lonsing; Samantha Archer; Ahmed Irfan; Clark W. Barrett (FM (2), 2026)