Milo M. K. Martin
Milo M. K. Martin
Former Associate Professor, University of Pennsylvania
Dirección de correo verificada de cis.upenn.edu - Página principal
Título
Citado por
Citado por
Año
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
20062005
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
5802013
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
5252009
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
4132002
Token coherence: Decoupling performance and correctness
MMK Martin, MD Hill, DA Wood
Computer Architecture, 2003. Proceedings. 30th Annual International …, 2003
3762003
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
3342010
Why on-chip cache coherence is here to stay
MMK Martin, MD Hill, DJ Sorin
Communications of the ACM 55 (7), 78-89, 2012
3172012
Subtleties of transactional memory atomicity semantics
C Blundell, EC Lewis, MMK Martin
IEEE Computer Architecture Letters 5 (2), 2006
3012006
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
2922010
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
2312007
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
2232012
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
2152008
Computational sprinting
A Raghavan, Y Luo, A Chandawalla, M Papaefthymiou, KP Pipe, ...
IEEE international symposium on high-performance comp architecture, 1-12, 2012
2052012
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
1942003
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
1882007
Deconstructing transactional semantics: The subtleties of atomicity
C Blundell, EC Lewis, M Martin
Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June, 2005
1762005
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
1702003
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
1662013
Exploiting dead value information
MM Martin, A Roth, CN Fischer
Proceedings of 30th Annual International Symposium on Microarchitecture, 125-135, 1997
1291997
InvisiFence: performance-transparent memory ordering in conventional multiprocessors
C Blundell, MMK Martin, TF Wenisch
Proceedings of the 36th annual international symposium on Computer …, 2009
1252009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20