Milo M. K. Martin
Milo M. K. Martin
Former Associate Professor, University of Pennsylvania
Verified email at cis.upenn.edu - 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
18672005
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
5422013
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
4912009
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
3922002
Token coherence: Decoupling performance and correctness
MMK Martin, MD Hill, DA Wood
Computer Architecture, 2003. Proceedings. 30th Annual International …, 2003
3582003
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
3152010
Why on-chip cache coherence is here to stay
MMK Martin, MD Hill, DJ Sorin
Communications of the ACM 55 (7), 78-89, 2012
2952012
Subtleties of transactional memory atomicity semantics
C Blundell, EC Lewis, MMK Martin
IEEE Computer Architecture Letters 5 (2), 2006
2902006
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
2662010
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
2242007
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
2132012
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
2012008
Computational sprinting
A Raghavan, Y Luo, A Chandawalla, M Papaefthymiou, KP Pipe, ...
IEEE international symposium on high-performance comp architecture, 1-12, 2012
1952012
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
1852003
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
1802007
Deconstructing transactional semantics: The subtleties of atomicity
C Blundell, EC Lewis, M Martin
Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June, 2005
1712005
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
1672003
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
1592013
Exploiting dead value information
MM Martin, A Roth, CN Fischer
Proceedings of 30th Annual International Symposium on Microarchitecture, 125-135, 1997
1221997
Improving multiple-cmp systems using token coherence
MR Marty, JD Bingham, MD Hill, AJ Hu, MMK Martin, DA Wood
11th International Symposium on High-Performance Computer Architecture, 328-339, 2005
1172005
The system can't perform the operation now. Try again later.
Articles 1–20