Hugo Pompougnac¶ Post-doc visitor Publications 2025 PLDIFirst-Class Verification Dialects for MLIRMathieu Fehr, Yuyou Fan, Hugo Pompougnac, John Regehr, Tobias Grosser
