Mitch Briles

According to our database, Mitch Briles authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Numerical Superoptimization for Library Learning.

Jonas Regehr, Mitch Briles, Zachary Tatlock, Pavel Panchekha

CoRR, March, 2026

2025

Translation Validation for LLVM's AArch64 Backend.

Ryan Berger, Mitch Briles, Nader Boushehrinejad Moradi, Nicholas Coughlin, Kait Lam, Nuno P. Lopes, Stefan Mada, Tanmay Tirpankar, John Regehr

Proc. ACM Program. Lang., 2025