Get started
Author

Milo M. K. Martin

Observed names: M. Martin, M.M. Martin, M.M.K. Martin, Martin Milo M.K., Martin, Milo, Martin, Milo M. K., Martin, Milo M.K., Milo M.K. Martin, Milo Martin
OpenAlex ID: A5109959739
Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset
2005 · Milo M. K. Martin, Daniel J. Sorin, et al. · ACM SIGARCH Computer Architecture News · 1,543
Syntax-guided synthesis
2013 · Rajeev Alur, Rastislav Bodik, et al. · Formal Methods in Computer-Aided Design · 656
PDF
SoftBound
2009 · Santosh Nagarakatte, Jianzhou Zhao, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 523
Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically
2010 · Matthew Hicks, Murph Finnicum, et al. · IEEE Symposium on Security and Privacy (S&P) · 335
CETS
2010 · Santosh Nagarakatte, Jianzhou Zhao, et al. · International Symposium on Memory Management · 312
SafetyNet
2002 · Daniel J. Sorin, Milo M. K. Martin, et al. · ACM SIGARCH Computer Architecture News · 303
Token coherence
2003 · Milo M. K. Martin, Mark D. Hill, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 269
Why on-chip cache coherence is here to stay
2012 · Milo M. K. Martin, Mark D. Hill, et al. · Communications of the ACM · 245
Subtleties of transactional memory atomicity semantics
2006 · C. Blundell, E.C. Lewis, et al. · IEEE Computer Architecture Letters · 229
PDF
CheckFence
2007 · Sebastian Burckhardt, Rajeev Alur, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 220
Syntax-Guided Synthesis
2015 · Alur Rajeev, Bodik Rastislav, et al. · NATO science for peace and security series. D, Information and communication security · 210
Hardbound
2008 · Joe Devietti, Colin Blundell, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 202
Computational sprinting
2012 · Arun Raghavan, Yixin Luo, et al. · IEEE International Symposium on High-Performance Computer Architecture (HPCA) · 177
PDF
Formalizing the LLVM intermediate representation for verified program transformations
2012 · Jianzhou Zhao, Santosh Nagarakatte, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 176
TRANSIT
2013 · Abhishek Udupa, Arun Raghavan, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 161
Simulating a $2M commercial server on a $2K PC
2003 · A.R. Alameldeen, M.M.K. Martin, et al. · Computer · 159
Making the fast case common and the uncommon case simple in unbounded transactional memory
2007 · Colin Blundell, Joe Devietti, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 144
SafetyNet: improving the availability of shared memory multiprocessors with global checkpoint/recovery
2003 · D.J. Sorin, M.M.K. Martin, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 140
Formalizing the LLVM intermediate representation for verified program transformations
2012 · Jianzhou Zhao, Santosh Nagarakatte, et al. · ACM SIGPLAN Notices · 139
PDF
InvisiFence
2009 · Colin Blundell, Milo M.K. Martin, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 129
An Axiomatic Memory Model for POWER Multiprocessors
2012 · Sela Mador-Haim, Luc Maranget, et al. · Lecture notes in computer science · 127
PDF
SoftBound
2009 · Santosh Nagarakatte, Jianzhou Zhao, et al. · ACM SIGPLAN Notices · 125
Using destination-set prediction to improve the latency/bandwidth tradeoff in shared-memory multiprocessors
2003 · M.M.K. Martin, P.J. Harper, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 125
PDF
Improving Multiple-CMP Systems Using Token Coherence
2005 · M.R. Marty, J.D. Bingham, et al. · IEEE International Symposium on High-Performance Computer Architecture (HPCA) · 111
PDF
Deconstructing Transactional Semantics: The Subtleties of Atomicity
2005 · Colin Blundell, E. Christopher Lewis, et al. · 100
Works count: 113
Citation count: 9,299
H-index: 46
I10-index: 77
Year
Topic
Type