An Increasing Need for Formality (Keynote). - Martin Dixon (FMCAD, 2019)

An Increasing Need for Formality (Invited Talk). - Martin Dixon (ITP, 2019)

Concorde: Fast and Accurate CPU Performance Modeling with Compositional Analytical-ML Fusion. - Arash Nasr-Esfahany; Mohammad Alizadeh; Victor Lee; Hanna Alam; Brett W. Coon; David E. Culler; Vidushi Dadu; Martin Dixon; Henry M. Levy; Santosh Pandey; Parthasarathy Ranganathan; Amir Yazdanbakhsh (ISCA, 2025)

Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing. - Subhasish Mitra; Subho Banerjee; Martin Dixon; Rama Govindaraju; Peter H. Hochschild; Eric X. Liu; Bharath Parthasarathy; Parthasarathy Ranganathan (CoRR, 2025)