Milo M. K. Martin

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

Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann et al. · ACM SIGARCH Computer Architecture News · 2005 · 1.6K citations

Engineering, Computer Engineering, Computer Science +14

SoftBound

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic · 2009 · 529 citations

Computing, Computer Engineering, Computer Science +13

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 523 citations

Computing, Computer Science, Algorithms +11

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

Matthew Hicks, Murph Finnicum, Samuel T. King et al. · 2010 · 329 citations

Computing, Computer Science, Computer Systems +16

CETS

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic · 2010 · 320 citations

Computing, Computer Engineering, Computer Science +13