Milo M.K. Martin
Associate Professor
Computer and Information Science (CIS)
Email | Personal Webpage | Research Webpage
Honors and Awards: NSF CAREER Award - 2007, Gustavus Adolphus College First Decade Outstanding Achievement Award - 2006, Norm Koo Fellowship from Sun Microsystems - 2002-2003
Research Expertise: Architecture and Compilers
Milo researches hardware design and implementation techniques for creating faster, power-efficient, secure, and reliable multi-core computing systems that will form the foundation of next-generation web servers and mobile devices. He and his colleagues are exploring new hardware-assisted approaches for creating systems that correctly coordinate parallel activities, including cache coherence protocols, transactional memory, and hardware-aware verification of concurrent software. To improve reliability and security, Milo is developing hardware-assisted runtime monitoring systems which will ensure that common programming mistakes cannot silently corrupt data or cause security vulnerabilities.
Education:
PhD Computer Science 2003 - University of Wisconsin at Madison
MS Computer Science 1998 - University of Wisconsin at Madison
BA 1996 - Gustavus Adolphus College
Recent Publications 
- Computational sprinting on a hardware/software testbed, Raghavan, A. | Emurian, L. | Shao, L. | Papaefthymiou, M. | Pipe, K.P. | Wenisch, T.F. | Martin, M.M.K., International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, 2013
- Watchdog: Hardware for safe and secure manual memory management and full memory safety, Nagarakatte, S. | Martin, M.M.K. | Zdancewic, S., Proceedings - International Symposium on Computer Architecture, 2012
- Multicore acceleration of priority-based schedulers for concurrency bug detection, Nagarakatte, S. | Burckhardt, S. | Martin, M.M.K. | Musuvathi, M., ACM SIGPLAN Notices, 2012
- An axiomatic memory model for POWER multiprocessors, Mador-Haim, S. | Maranget, L. | Sarkar, S. | Memarian, K. | Alglave, J. | Owens, S. | Alur, R. | Martin, M.M.K. | Sewell, P. | Williams, D., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012
- Multicore acceleration of priority-based schedulers for concurrency bug detection, Nagarakatte, S. | Burckhardt, S. | Martin, M.M.K. | Musuvathi, M., Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2012