Stefan Mada

According to our database, Stefan Mada authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

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

2024

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer.

Zhengyang Liu, Stefan Mada, John Regehr

Proc. ACM Program. Lang., 2024