Follow
Milo M. K. Martin
Milo M. K. Martin
Google (Former Associate Professor, University of Pennsylvania)
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
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
21272005
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
10212013
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
8122009
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
5172010
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
4292002
Token coherence: Decoupling performance and correctness
MMK Martin, MD Hill, DA Wood
Computer Architecture, 2003. Proceedings. 30th Annual International …, 2003
4262003
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
4152010
Why on-chip cache coherence is here to stay
MMK Martin, MD Hill, DJ Sorin
Communications of the ACM 55 (7), 78-89, 2012
3622012
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
3312012
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
3302008
Subtleties of transactional memory atomicity semantics
C Blundell, EC Lewis, MMK Martin
IEEE Computer Architecture Letters 5 (2), 2006
3192006
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
2682013
Computational sprinting
A Raghavan, Y Luo, A Chandawalla, M Papaefthymiou, KP Pipe, ...
IEEE international symposium on high-performance comp architecture, 1-12, 2012
2492012
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
2492007
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
2042007
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
2042003
Deconstructing transactional semantics: The subtleties of atomicity
C Blundell, EC Lewis, M Martin
Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June, 2005
1852005
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
1752003
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
1682012
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
1602012
The system can't perform the operation now. Try again later.
Articles 1–20