Milo M. K. Martin

2008
24	EE	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic: Hardbound: architectural support for spatial safety of the C programming language. ASPLOS 2008: 103-114
23	EE	Arun Raghavan, Colin Blundell, Milo M. K. Martin: Token tenure: PATCHing token counting using directory-based cache coherence. MICRO 2008: 47-58
2007
22	EE	Colin Blundell, Joe Devietti, E. Christopher Lewis, Milo M. K. Martin: Making the fast case common and the uncommon case simple in unbounded transactional memory. ISCA 2007: 24-34
21	EE	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: CheckFence: checking consistency of concurrent data types on relaxed memory models. PLDI 2007: 12-21
20	EE	Tingting Sha, Milo M. K. Martin, Amir Roth: NoSQ: Store-Load Communication without a Store Queue. IEEE Micro 27(1): 106-113 (2007)
2006
19	EE	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. CAV 2006: 489-502
18	EE	Tingting Sha, Milo M. K. Martin, Amir Roth: NoSQ: Store-Load Communication without a Store Queue. MICRO 2006: 285-296
17	EE	Milo M. K. Martin, Colin Blundell, E. Lewis: Subtleties of Transactional Memory Atomicity Semantics. Computer Architecture Letters 5(2): (2006)
2005
16	EE	Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood: Improving Multiple-CMP Systems Using Token Coherence. HPCA 2005: 328-339
15	EE	Milo M. K. Martin: Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. ICCD 2005: 543-449
14	EE	Tingting Sha, Milo M. K. Martin, Amir Roth: Scalable Store-Load Forwarding via Store Queue Index Prediction. MICRO 2005: 159-170
13	EE	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. VMCAI 2005: 130-145
12	EE	Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann, Michael R. Marty, Min Xu, Alaa R. Alameldeen, Kevin E. Moore, Mark D. Hill, David A. Wood: Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset. SIGARCH Computer Architecture News 33(4): 92-99 (2005)
2004
11	EE	Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood: Using Speculation to Simplify Multiprocessor Design. IPDPS 2004
2003
10	EE	Milo M. K. Martin, Mark D. Hill, David A. Wood: Token Coherence: Decoupling Performance and Correctness. ISCA 2003: 182-193
9	EE	Milo M. K. Martin, Pacia J. Harper, Daniel J. Sorin, Mark D. Hill, David A. Wood: Using Destination-Set Prediction to Improve the Latency/Bandwidth Tradeoff in Shared-Memory Multiprocessors. ISCA 2003: 206-217
8	EE	Alaa R. Alameldeen, Milo M. K. Martin, Carl J. Mauer, Kevin E. Moore, Min Xu, Mark D. Hill, David A. Wood, Daniel J. Sorin: Simulating a $2M Commercial Server on a $2K PC. IEEE Computer 36(2): 50-57 (2003)
7	EE	Milo M. K. Martin, Mark D. Hill, David A. Wood: Token Coherence: A New Framework for Shared-Memory Multiprocessors. IEEE Micro 23(6): 108-116 (2003)
2002
6	EE	Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood: Bandwidth Adaptive Snooping. HPCA 2002: 251-262
5	EE	Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood: SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery. ISCA 2002: 123-
4	EE	Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, David A. Wood: Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. IEEE Trans. Parallel Distrib. Syst. 13(6): 556-578 (2002)
2001
3	EE	Milo M. K. Martin, Daniel J. Sorin, Harold W. Cain, Mark D. Hill, Mikko H. Lipasti: Correctly implementing value prediction in microprocessors that support multithreading or multiprocessing. MICRO 2001: 328-337
2000
2	EE	Milo M. K. Martin, Daniel J. Sorin, Anastassia Ailamaki, Alaa R. Alameldeen, Ross M. Dickson, Carl J. Mauer, Kevin E. Moore, Manoj Plakal, Mark D. Hill, David A. Wood: Timestamp snooping: an approach for extending SMPs. ASPLOS 2000: 25-36
1997
1	EE	Milo M. K. Martin, Amir Roth, Charles N. Fischer: Exploiting Dead Value Information. MICRO 1997: 125-135

Coauthor Index

1	Anastasia Ailamaki (Anastassia Ailamaki, Ailamaki Natassa)	[2]
2	Alaa R. Alameldeen	[2] [8] [12]
3	Rajeev Alur	[13] [19] [21]
4	Bradford M. Beckmann	[12]
5	Jesse D. Bingham	[16]
6	Colin Blundell	[17] [22] [23] [24]
7	Sebastian Burckhardt	[13] [19] [21]
8	Harold W. Cain	[3]
9	Anne Condon	[4]
10	Joe Devietti	[22] [24]
11	Ross M. Dickson	[2]
12	Charles N. Fischer	[1]
13	Pacia J. Harper	[9]
14	Mark D. Hill	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [16]
15	Alan J. Hu	[16]
16	E. Lewis	[17]
17	E. Christopher Lewis	[22]
18	Mikko H. Lipasti	[3]
19	Michael R. Marty	[12] [16]
20	Carl J. Mauer	[2] [8]
21	Kevin E. Moore	[2] [8] [12]
22	Manoj Plakal	[2] [4]
23	Arun Raghavan	[23]
24	Amir Roth	[1] [14] [18] [20]
25	Tingting Sha	[14] [18] [20]
26	Daniel J. Sorin	[2] [3] [4] [5] [6] [8] [9] [11] [12]
27	David A. Wood	[2] [4] [5] [6] [7] [8] [9] [10] [11] [12] [16]
28	Min Xu	[8] [12]
29	Steve Zdancewic	[24]