Aron Ricardo Perez-Lopez

According to our database, Aron Ricardo Perez-Lopez authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Automated Translation Validation of a Compiler for Statically Scheduled Accelerators.

Jackson Melchert, Caleb Terrill, Aron Ricardo Perez-Lopez, Clark W. Barrett, Priyanka Raina

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025