Milo M. K. Martin

Citado por

	Total	Desde 2019
Citas	11714	3442
Índice h	45	25
Índice i10	61	38

840

420

210

630

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202450 95 102 137 259 296 436 448 574 597 579 672 630 788 743 832 752 624 574 593 552 588 510

Acceso público

Ver todo

1 artículo

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Mark D. HillUniversity of Wisconsin-Madison Professor EmeritusDirección de correo verificada de cs.wisc.edu
David A. WoodUniversity of Wisconsin, MadisonDirección de correo verificada de cs.wisc.edu
Daniel J. SorinProfessor of ECE and Computer Science, Duke UniversityDirección de correo verificada de ee.duke.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Santosh NagarakatteProfessor of Computer Science at Rutgers UniversityDirección de correo verificada de cs.rutgers.edu
Colin BlundellGoogleDirección de correo verificada de google.com
Arun RaghavanOracle LabsDirección de correo verificada de oracle.com
Thomas F. WenischProf. of CSE, University of MichiganDirección de correo verificada de umich.edu
Jianzhou ZhaoDirección de correo verificada de cis.upenn.edu
Alaa R. AlameldeenSimon Fraser UniversityDirección de correo verificada de cs.sfu.ca
Sela Mador-HaimComputer Information Science, University of PennsylvaniaDirección de correo verificada de xcitedb.com
Abhishek UdupaMicrosoft ResearchDirección de correo verificada de microsoft.com
Kevin PipeUniversity of MichiganDirección de correo verificada de umich.edu
Michael R. MartyGoogleDirección de correo verificada de google.com
E Christopher LewisVMware, Inc.Dirección de correo verificada de vmware.com
Joseph DeviettiAssistant Professor of Computer & Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Sebastian BurckhardtMicrosoft ResearchDirección de correo verificada de microsoft.com
Laurel EmurianStudent, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
Amir RothUS DOEDirección de correo verificada de ee.doe.gov
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaDirección de correo verificada de usc.edu

Seguir

Milo M. K. Martin

Google (Former Associate Professor, University of Pennsylvania)

Dirección de correo verificada de google.com - Página principal

Computer Architecture Compilers Networking Storage


Título Ordenar por citas Ordenar por año Ordenar por 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	2125	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	1016	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	809	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	517	2010
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	429	2002
Token coherence: Decoupling performance and correctness MMK Martin, MD Hill, DA Wood Computer Architecture, 2003. Proceedings. 30th Annual International …, 2003	425	2003
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	413	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	364	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	330	2008
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	326	2012
Subtleties of transactional memory atomicity semantics C Blundell, EC Lewis, MMK Martin IEEE Computer Architecture Letters 5 (2), 2006	319	2006
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	268	2013
Computational sprinting A Raghavan, Y Luo, A Chandawalla, M Papaefthymiou, KP Pipe, ... IEEE international symposium on high-performance comp architecture, 1-12, 2012	249	2012
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	249	2007
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	204	2007
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	204	2003
Deconstructing transactional semantics: The subtleties of atomicity C Blundell, EC Lewis, M Martin Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June, 2005	185	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	175	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	168	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	159	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores