World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
46
Citations
11870
World Ranking
6718
National Ranking
2966

Overview

Milo M. K. Martin is affiliated with Google in the United States. Their professional focus lies within the domain of computer science and technology as suggested by their association with a major technology corporation.

The available data does not list any recent papers or publications by Milo M. K. Martin, nor are there documented co-authors or frequent publication venues connected to their work. There is also no recorded information regarding book publications or awards received.

No specific details about their fields of study, subfields, or the main research topics they have worked on are present. The absence of published papers, co-authors, and venues implies limited publicly available bibliographic or scientific data about their scholarly contributions at this time.

Best Publications

  • Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset

    Milo M. K. Martin;Daniel J. Sorin;Bradford M. Beckmann;Michael R. Marty

  • Syntax-guided synthesis

    Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin

  • SoftBound: highly compatible and complete spatial memory safety for c

    Santosh Nagarakatte;Jianzhou Zhao;Milo M.K. Martin;Steve Zdancewic

  • Syntax-Guided Synthesis.

    Rajeev Alur;Rastislav Bodík;Eric Dallal;Dana Fisman

  • CETS: compiler enforced temporal safety for C

    Santosh Nagarakatte;Jianzhou Zhao;Milo M.K. Martin;Steve Zdancewic

  • SafetyNet: improving the availability of shared memory multiprocessors with global checkpoint/recovery

    Daniel J. Sorin;Milo M. K. Martin;Mark D. Hill;David A. Wood

  • Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically

    Matthew Hicks;Murph Finnicum;Samuel T. King;Milo M. K. Martin

  • Token Coherence: decoupling performance and correctness

    Milo M. K. Martin;Mark D. Hill;David A. Wood

  • Why on-chip cache coherence is here to stay

    Milo M. K. Martin;Mark D. Hill;Daniel J. Sorin

  • Subtleties of transactional memory atomicity semantics

    C. Blundell;E.C. Lewis;M.M.K. Martin

  • Syntax-guided synthesis

    Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin

  • Formalizing the LLVM intermediate representation for verified program transformations

    Jianzhou Zhao;Santosh Nagarakatte;Milo M.K. Martin;Steve Zdancewic

  • Hardbound: architectural support for spatial safety of the C programming language

    Joe Devietti;Colin Blundell;Milo M. K. Martin;Steve Zdancewic

  • CheckFence: checking consistency of concurrent data types on relaxed memory models

    Sebastian Burckhardt;Rajeev Alur;Milo M. K. Martin

  • Computational sprinting

    Arun Raghavan;Yixin Luo;Anuj Chandawalla;Marios Papaefthymiou

  • TRANSIT: specifying protocols with concolic snippets

    Abhishek Udupa;Arun Raghavan;Jyotirmoy V. Deshmukh;Sela Mador-Haim

  • Simulating a $2M commercial server on a $2K PC

    A.R. Alameldeen;M.M.K. Martin;C.J. Mauer;K.E. Moore

  • Making the fast case common and the uncommon case simple in unbounded transactional memory

    Colin Blundell;Joe Devietti;E. Christopher Lewis;Milo M. K. Martin

  • Deconstructing Transactional Semantics: The Subtleties of Atomicity

    Colin Blundell;E Christopher Lewis;Milo M. K. Martin

  • Using destination-set prediction to improve the latency/bandwidth tradeoff in shared-memory multiprocessors

    Milo M. K. Martin;Pacia J. Harper;Daniel J. Sorin;Mark D. Hill

  • An axiomatic memory model for POWER multiprocessors

    Sela Mador-Haim;Luc Maranget;Susmit Sarkar;Kayvan Memarian

Frequent Co-Authors

Rajeev Alur
Rajeev Alur University of Pennsylvania
Mark D. Hill
Mark D. Hill University of Wisconsin–Madison
Daniel J. Sorin
Daniel J. Sorin Duke University
Steve Zdancewic
Steve Zdancewic University of Pennsylvania
Thomas F. Wenisch
Thomas F. Wenisch University of Michigan–Ann Arbor
Kevin P. Pipe
Kevin P. Pipe University of Michigan–Ann Arbor
Marios C. Papaefthymiou
Marios C. Papaefthymiou University of California, Irvine
Stavros Tripakis
Stavros Tripakis Northeastern University
Alaa R. Alameldeen
Alaa R. Alameldeen Intel (United States)
Sanjit A. Seshia
Sanjit A. Seshia University of California, Berkeley

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens the door to a range of related online degrees and career pathways. Many students expand their technical expertise by pursuing a cyber security bachelor degree online. This is a rapidly growing field focused on protecting digital systems and data, with high demand for skilled professionals.

Other students might prefer the structured environment of construction technology. If so, advancing your skills with an online construction management masters can prepare you for leadership roles and projects blending IT and construction.

For those interested in law, forensics, or public safety, evaluating the criminal justice degree cost can help you budget for a career that combines computer science with criminal justice, such as cybersecurity investigation.

Financial technology (fintech) is another fast-growing sector. Taking accounting classes online equips you with skills for data analysis, auditing, or merging IT with finance roles.

These diverse online options offer flexible learning for those pursuing specialized careers related to computer science, making it easier to develop skills in high-demand industries.

Best Scientists Citing Milo M. K. Martin

Trending Scientists

Recently Published Articles