Aron Ricardo Perez-Lopez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2025–2026
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | 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 |
| 2025 | FMCAD | Automated Translation Validation of a Compiler for Statically Scheduled Accelerators. | Jackson Melchert, Caleb Terrill, Aron Ricardo Perez-Lopez, Clark W. Barrett, Priyanka Raina |