| Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset MMK Martin, DJ Sorin, BM Beckmann, MR Marty, M Xu, AR Alameldeen, ... ACM SIGARCH Computer Architecture News 33 (4), 92-99, 2005 | 2125 | 2005 |
| Syntax-guided synthesis R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ... Formal Methods in Computer-Aided Design (FMCAD), 2013, 1-17, 2013 | 1016 | 2013 |
| SoftBound: Highly compatible and complete spatial memory safety for C S Nagarakatte, J Zhao, MMK Martin, S Zdancewic Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 809 | 2009 |
| CETS: compiler enforced temporal safety for C S Nagarakatte, J Zhao, MMK Martin, S Zdancewic Proceedings of the 2010 international symposium on Memory management, 31-40, 2010 | 517 | 2010 |
| SafetyNet: improving the availability of shared memory multiprocessors with global checkpoint/recovery DJ Sorin, MMK Martin, MD Hill, DA Wood Proceedings 29th Annual International Symposium on Computer Architecture …, 2002 | 429 | 2002 |
| Token coherence: Decoupling performance and correctness MMK Martin, MD Hill, DA Wood Computer Architecture, 2003. Proceedings. 30th Annual International …, 2003 | 425 | 2003 |
| Overcoming an untrusted computing base: Detecting and removing malicious hardware automatically M Hicks, M Finnicum, ST King, MMK Martin, JM Smith 2010 IEEE Symposium on Security and Privacy, 159-172, 2010 | 413 | 2010 |
| Why on-chip cache coherence is here to stay MMK Martin, MD Hill, DJ Sorin Communications of the ACM 55 (7), 78-89, 2012 | 364 | 2012 |
| Hardbound: architectural support for spatial safety of the C programming language J Devietti, C Blundell, MMK Martin, S Zdancewic ACM SIGARCH Computer Architecture News 36 (1), 103-114, 2008 | 330 | 2008 |
| Formalizing the LLVM intermediate representation for verified program transformations J Zhao, S Nagarakatte, MMK Martin, S Zdancewic Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 326 | 2012 |
| Subtleties of transactional memory atomicity semantics C Blundell, EC Lewis, MMK Martin IEEE Computer Architecture Letters 5 (2), 2006 | 319 | 2006 |
| TRANSIT: specifying protocols with concolic snippets A Udupa, A Raghavan, JV Deshmukh, S Mador-Haim, MMK Martin, R Alur Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 268 | 2013 |
| Computational sprinting A Raghavan, Y Luo, A Chandawalla, M Papaefthymiou, KP Pipe, ... IEEE international symposium on high-performance comp architecture, 1-12, 2012 | 249 | 2012 |
| CheckFence: checking consistency of concurrent data types on relaxed memory models S Burckhardt, R Alur, MMK Martin Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 249 | 2007 |
| Making the fast case common and the uncommon case simple in unbounded transactional memory C Blundell, J Devietti, EC Lewis, MMK Martin ACM SIGARCH Computer Architecture News 35 (2), 24-34, 2007 | 204 | 2007 |
| Simulating a $2 M Commercial Server on a $2 K PC AR Alameldeen, MMK Martin, CJ Mauer, KE Moore, M Xu, MD Hill, ... Computer 36 (2), 50-57, 2003 | 204 | 2003 |
| Deconstructing transactional semantics: The subtleties of atomicity C Blundell, EC Lewis, M Martin Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June, 2005 | 185 | 2005 |
| Using destination-set prediction to improve the latency/bandwidth tradeoff in shared-memory multiprocessors MMK Martin, PJ Harper, DJ Sorin, MD Hill, DA Wood Computer Architecture, 2003. Proceedings. 30th Annual International …, 2003 | 175 | 2003 |
| Watchdog: hardware for safe and secure manual memory management and full memory safety S Nagarakatte, MMK Martin, S Zdancewic Proceedings of the 39th International Symposium on Computer Architecture …, 2012 | 168 | 2012 |
| An axiomatic memory model for POWER multiprocessors S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ... International Conference on Computer Aided Verification, 495-512, 2012 | 159 | 2012 |
Mark D. HillUniversity of Wisconsin-Madison Professor EmeritusEmail verificata su cs.wisc.edu