Milo M. K. Martin

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	11891	3014
h-index	46	22
i10-index	61	35

840

420

210

630

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202550 96 102 136 260 301 429 446 576 593 578 667 640 790 744 824 739 630 572 598 564 578 601 100

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

مقالة واحدة

0 مقالة

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

المؤلفون المشاركون

Mark D. HillUniversity of Wisconsin-Madison Professor Emeritusبريد إلكتروني تم التحقق منه على cs.wisc.edu
David A. WoodUniversity of Wisconsin, Madisonبريد إلكتروني تم التحقق منه على cs.wisc.edu
Daniel J. SorinProfessor of ECE and Computer Science, Duke Universityبريد إلكتروني تم التحقق منه على ee.duke.edu
Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvaniaبريد إلكتروني تم التحقق منه على cis.upenn.edu
Santosh NagarakatteProfessor of Computer Science at Rutgers Universityبريد إلكتروني تم التحقق منه على cs.rutgers.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of Pennsylvaniaبريد إلكتروني تم التحقق منه على seas.upenn.edu
Colin BlundellGoogleبريد إلكتروني تم التحقق منه على google.com
Arun RaghavanOracle Labsبريد إلكتروني تم التحقق منه على oracle.com
Thomas F. WenischProf. of CSE, University of Michiganبريد إلكتروني تم التحقق منه على umich.edu
Alaa R. AlameldeenSimon Fraser Universityبريد إلكتروني تم التحقق منه على cs.sfu.ca
Sela Mador-HaimComputer Information Science, University of Pennsylvaniaبريد إلكتروني تم التحقق منه على xcitedb.com
Abhishek UdupaMicrosoft Researchبريد إلكتروني تم التحقق منه على microsoft.com
Kevin PipeUniversity of Michiganبريد إلكتروني تم التحقق منه على umich.edu
Jianzhou Zhaoبريد إلكتروني تم التحقق منه على cis.upenn.edu
Michael R. MartyGoogleبريد إلكتروني تم التحقق منه على google.com
E Christopher LewisVMware, Inc.بريد إلكتروني تم التحقق منه على vmware.com
Joseph DeviettiAssistant Professor of Computer & Information Science, University of Pennsylvaniaبريد إلكتروني تم التحقق منه على cis.upenn.edu
Sebastian BurckhardtMicrosoft Researchبريد إلكتروني تم التحقق منه على microsoft.com
Laurel EmurianStudent, University of Pennsylvaniaبريد إلكتروني تم التحقق منه على seas.upenn.edu
Amir RothUS DOEبريد إلكتروني تم التحقق منه على ee.doe.gov

متابعة

Milo M. K. Martin

Google (Former Associate Professor, University of Pennsylvania)

بريد إلكتروني تم التحقق منه على google.com - الصفحة الرئيسية

Computer Architecture Compilers Networking Storage


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
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‏	2124	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‏	1078	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‏	815	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‏	513	2010
Token coherence: Decoupling performance and correctness‏ MMK Martin, MD Hill, DA Wood‏ Computer Architecture, 2003. Proceedings. 30th Annual International …, 2003‏	430	2003
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‏	428	2002
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‏	427	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‏	365	2012
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‏	341	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‏	333	2008
Subtleties of transactional memory atomicity semantics‏ C Blundell, EC Lewis, MMK Martin‏ IEEE Computer Architecture Letters 5 (2), 2006‏	321	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‏	279	2013
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‏	253	2007
Computational sprinting‏ A Raghavan, Y Luo, A Chandawalla, M Papaefthymiou, KP Pipe, ...‏ IEEE international symposium on high-performance comp architecture, 1-12, 2012‏	250	2012
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‏	203	2003
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‏	201	2007
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‏	176	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‏	162	2012

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون