M
Milo M. K. Martin
Researcher at University of Pennsylvania
Publications - 81
Citations - 9140
Milo M. K. Martin is an academic researcher from University of Pennsylvania. The author has contributed to research in topics: Cache coherence & Cache. The author has an hindex of 43, co-authored 80 publications receiving 8494 citations. Previous affiliations of Milo M. K. Martin include Argonne National Laboratory & University of Wisconsin-Madison.
Papers
More filters
Journal ArticleDOI
Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset
Milo M. K. Martin,Daniel J. Sorin,Bradford M. Beckmann,Michael R. Marty,Min Xu,Alaa R. Alameldeen,Kevin E. Moore,Mark D. Hill,Darien Wood +8 more
TL;DR: The Wisconsin Multifacet Project has created a simulation toolset to characterize and evaluate the performance of multiprocessor hardware systems commonly used as database and web servers as mentioned in this paper, which includes a set of timing simulator modules for modeling the timing of the memory system and microprocessors.
Proceedings ArticleDOI
SoftBound: highly compatible and complete spatial memory safety for c
TL;DR: Inspired by HardBound, a previously proposed hardware-assisted approach, SoftBound similarly records base and bound information for every pointer as disjoint metadata, which enables SoftBound to provide spatial safety without requiring changes to C source code.
Syntax-guided synthesis
Rajeev Alur,Rastislav Bodik,Garvit Juniwal,Milo M. K. Martin,Mukund Raghothaman,Sanjit A. Seshia,Rishabh Singh,Emina Torlak,Abhishek Udupa,Armando Solar-Lezama +9 more
TL;DR: This work describes three different instantiations of the counter-example-guided-inductive-synthesis (CEGIS) strategy for solving the synthesis problem, reports on prototype implementations, and presents experimental results on an initial set of benchmarks.
Proceedings ArticleDOI
CETS: compiler enforced temporal safety for C
TL;DR: CETS maintains a unique identifier with each object, associates this metadata with the pointers in a disjoint metadata space to retain memory layout compatibility, and checks that the object is still allocated on pointer dereferences to provide temporal safety.
Proceedings ArticleDOI
Syntax-guided synthesis
Rajeev Alur,Rastislav Bodik,Garvit Juniwal,Milo M. K. Martin,Mukund Raghothaman,Sanjit A. Seshia,Rishabh Singh,Armando Solar-Lezama,Emina Torlak,Abhishek Udupa +9 more
TL;DR: This work describes three different instantiations of the counter-example-guided-inductive-synthesis (CEGIS) strategy for solving the synthesis problem, reports on prototype implementations, and presents experimental results on an initial set of benchmarks.