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 | 2101 | 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 | 954 | 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 | 766 | 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 | 497 | 2010 |
Token coherence: Decoupling performance and correctness MMK Martin, MD Hill, DA Wood Computer Architecture, 2003. Proceedings. 30th Annual International …, 2003 | 425 | 2003 |
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 | 424 | 2002 |
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 | 403 | 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 | 360 | 2012 |
Subtleties of transactional memory atomicity semantics C Blundell, EC Lewis, MMK Martin IEEE Computer Architecture Letters 5 (2), 2006 | 314 | 2006 |
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 | 313 | 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 | 313 | 2008 |
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 | 263 | 2013 |
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 | 245 | 2007 |
Computational sprinting A Raghavan, Y Luo, A Chandawalla, M Papaefthymiou, KP Pipe, ... IEEE international symposium on high-performance comp architecture, 1-12, 2012 | 241 | 2012 |
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 | 205 | 2003 |
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 | 195 | 2007 |
Deconstructing transactional semantics: The subtleties of atomicity C Blundell, EC Lewis, M Martin Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June, 2005 | 181 | 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 | 174 | 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 | 161 | 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 | 151 | 2012 |