Martin Dixon

According to our database, Martin Dixon authored at least 11 papers between 2014 and 2025.

Collaborative distances:

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

2025

Silent Data Corruption by 10× Test Escapes Threatens Reliable Computing.

Subhasish Mitra, Subho S. Banerjee, Martin Dixon, Mike Fuller, Rama Govindaraju, Peter Hochschild, Eric X. Liu, Bharath Parthasarathy, Parthasarathy Ranganathan

IEEE Des. Test, December, 2025

Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing.

Subhasish Mitra, Subho S. 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

2024

FLIQS: One-Shot Mixed-Precision Floating-Point and Integer Quantization Search.

Jordan Dotzel, Gang Wu, Andrew Li, Muhammad Umar, Yun Ni, Mohamed S. Abdelfattah, Zhiru Zhang, Liqun Cheng, Martin G. Dixon, Norman P. Jouppi, Quoc V. Le, Sheng Li

Proceedings of the International Conference on Automated Machine Learning, 2024

2020

8.1 Lakefield and Mobility Compute: A 3D Stacked 10nm and 22FFL Hybrid Processor System in 12×12mm², 1mm Package-on-Package.

Wilfred Gomes, Sanjeev Khushu, Doug B. Ingerly, Patrick N. Stover, Nasirul I. Chowdhury, Frank O'Mahony, Ajay Balankutty, Noam Dolev, Martin G. Dixon, Lei Jiang, Surya Prekke, Biswajit Patra, Pavel V. Rott, Rajesh Kumar

Proceedings of the 2020 IEEE International Solid- State Circuits Conference, 2020

2019

Toward Postquantum Security for Embedded Cores.

Rafael Misoczki, Sean Gulley, Vinodh Gopal, Martin G. Dixon, Hrvoje Vrsalovic, Wajdi K. Feghali

IEEE Micro, 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

2015

Specialized Evolution of the General Purpose CPU.

Ravi Rajwar, Martin G. Dixon, Ronak Singhal

Proceedings of the Seventh Biennial Conference on Innovative Data Systems Research, 2015

2014

Haswell: The Fourth-Generation Intel Core Processor.

Per Hammarlund, Alberto J. Martinez, Atiq A. Bajwa, David L. Hill, Erik G. Hallnor, Hong Jiang, Martin G. Dixon, Michael Derr, Mikal Hunsaker, Rajesh Kumar, Randy B. Osborne, Ravi Rajwar, Ronak Singhal, Reynold D'Sa, Robert Chappell, Shiv Kaushik, Srinivas Chennupaty, Stéphan Jourdan, Steve Gunther, Thomas Piazza, Ted Burton

IEEE Micro, 2014

Speeding Up Active Mesh Segmentation by Local Termination of Nodes.

Carl J. Nelson, Martin G. Dixon, Philippe Laissue, Boguslaw Obara

Proceedings of the Medical Image Understanding and Analysis, 2014