Martin Dixon

According to our database, Martin Dixon authored at least 4 papers between 2019 and 2025.

Collaborative distances:

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

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, August, 2025

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

Proceedings of the 52nd Annual International Symposium on Computer Architecture, 2025

2019

An Increasing Need for Formality (Invited Talk).

Martin Dixon

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

An Increasing Need for Formality (Keynote).

Martin Dixon

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019