Milo M. K. Martin

	2012
34		Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin: Computational sprinting. HPCA 2012: 249-260
33		Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic: Formalizing the LLVM intermediate representation for verified program transformations. POPL 2012: 427-440
	2011
32		Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin: Litmus tests for comparing memory consistency models: how long do they need to be? DAC 2011: 504-509
	2010
31		Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin: Generating Litmus Tests for Contrasting Memory Consistency Models. CAV 2010: 273-287
30		Matthew Hicks, Murph Finnicum, Samuel T. King, Milo M. K. Martin, Jonathan M. Smith: Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. IEEE Symposium on Security and Privacy 2010: 159-172
29		Colin Blundell, Arun Raghavan, Milo M. K. Martin: RETCON: transactional repair without replay. ISCA 2010: 258-269
28		Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic: CETS: compiler enforced temporal safety for C. ISMM 2010: 31-40
27		Arun Raghavan, Colin Blundell, Milo M. K. Martin: Token tenure and PATCH: A predictive/adaptive token-counting hybrid. TACO 7(2): (2010)
	2009
26		Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch: InvisiFence: performance-transparent memory ordering in conventional multiprocessors. ISCA 2009: 233-244
25		Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic: SoftBound: highly compatible and complete spatial memory safety for c. PLDI 2009: 245-258
	2008
24		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		Arun Raghavan, Colin Blundell, Milo M. K. Martin: Token tenure: PATCHing token counting using directory-based cache coherence. MICRO 2008: 47-58
	2007
22		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		Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: CheckFence: checking consistency of concurrent data types on relaxed memory models. PLDI 2007: 12-21
20		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		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		Tingting Sha, Milo M. K. Martin, Amir Roth: NoSQ: Store-Load Communication without a Store Queue. MICRO 2006: 285-296
17		Milo M. K. Martin, Colin Blundell, E. Lewis: Subtleties of Transactional Memory Atomicity Semantics. Computer Architecture Letters 5(2): (2006)
	2005
16		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		Milo M. K. Martin: Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. ICCD 2005: 543-449
14		Tingting Sha, Milo M. K. Martin, Amir Roth: Scalable Store-Load Forwarding via Store Queue Index Prediction. MICRO 2005: 159-170
13		Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. VMCAI 2005: 130-145
12		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		Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood: Using Speculation to Simplify Multiprocessor Design. IPDPS 2004
	2003
10		Milo M. K. Martin, Mark D. Hill, David A. Wood: Token Coherence: Decoupling Performance and Correctness. ISCA 2003: 182-193
9		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		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		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		Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood: Bandwidth Adaptive Snooping. HPCA 2002: 251-262
5		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		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		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		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		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] [31] [32]
4	Bradford M. Beckmann	[12]
5	Jesse D. Bingham	[16]
6	Colin Blundell	[17] [22] [23] [24] [26] [27] [29]
7	Sebastian Burckhardt	[13] [19] [21]
8	Harold W. Cain	[3]
9	Anuj Chandawalla	[34]
10	Anne Condon	[4]
11	Joe Devietti	[22] [24]
12	Ross M. Dickson	[2]
13	Murph Finnicum	[30]
14	Charles N. Fischer	[1]
15	Pacia J. Harper	[9]
16	Matthew Hicks	[30]
17	Mark D. Hill	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [16]
18	Alan J. Hu	[16]
19	Samuel T. King (Samuel Talmadge King)	[30]
20	E. Lewis	[17]
21	E. Christopher Lewis	[22]
22	Mikko H. Lipasti	[3]
23	Yixin Luo	[34]
24	Sela Mador-Haim	[31] [32]
25	Michael R. Marty	[12] [16]
26	Carl J. Mauer	[2] [8]
27	Kevin E. Moore	[2] [8] [12]
28	Santosh Nagarakatte	[25] [28] [33]
29	Marios C. Papaefthymiou	[34]
30	Kevin P. Pipe	[34]
31	Manoj Plakal	[2] [4]
32	Arun Raghavan	[23] [27] [29] [34]
33	Amir Roth	[1] [14] [18] [20]
34	Tingting Sha	[14] [18] [20]
35	Jonathan M. Smith	[30]
36	Daniel J. Sorin	[2] [3] [4] [5] [6] [8] [9] [11] [12]
37	Thomas F. Wenisch	[26] [34]
38	David A. Wood	[2] [4] [5] [6] [7] [8] [9] [10] [11] [12] [16]
39	Min Xu	[8] [12]
40	Steve Zdancewic	[24] [25] [28] [33]
41	Jianzhou Zhao	[25] [28] [33]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page