Search results for "Milo M. K. Martin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic	Formalizing the LLVM intermediate representation for verified program transformations.	POPL	2012	DBLP DOI BibTeX RDF
1	Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin	Computational sprinting.	HPCA	2012	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Arun Raghavan, Colin Blundell, Milo M. K. Martin	Token tenure and PATCH: A predictive/adaptive token-counting hybrid.	TACO	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Colin Blundell, Arun Raghavan, Milo M. K. Martin	RETCON: transactional repair without replay.	ISCA	2010	DBLP DOI BibTeX RDF	parallel programming, transactional memory
1	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
1	Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin	Generating Litmus Tests for Contrasting Memory Consistency Models.	CAV	2010	DBLP DOI BibTeX RDF
1	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
1	Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch	InvisiFence: performance-transparent memory ordering in conventional multiprocessors.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, memory consistency
1	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic	Hardbound: architectural support for spatial safety of the C programming language.	ASPLOS	2008	DBLP DOI BibTeX RDF	spatial memory safety, C programming language
1	Arun Raghavan, Colin Blundell, Milo M. K. Martin	Token tenure: PATCHing token counting using directory-based cache coherence.	MICRO	2008	DBLP DOI BibTeX RDF
1	Tingting Sha, Milo M. K. Martin, Amir Roth	NoSQ: Store-Load Communication without a Store Queue.	IEEE Micro	2007	DBLP DOI BibTeX RDF	microarchitecture, RISC, pipeline processors, VLIW architectures, CISC
1	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
1	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	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactions, transactional memory
1	Milo M. K. Martin, Colin Blundell, E. Lewis	Subtleties of Transactional Memory Atomicity Semantics.	Computer Architecture Letters	2006	DBLP DOI BibTeX RDF
1	Tingting Sha, Milo M. K. Martin, Amir Roth	NoSQ: Store-Load Communication without a Store Queue.	MICRO	2006	DBLP DOI BibTeX RDF
1	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.	CAV	2006	DBLP DOI BibTeX RDF
1	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	2005	DBLP DOI BibTeX RDF
1	Tingting Sha, Milo M. K. Martin, Amir Roth	Scalable Store-Load Forwarding via Store Queue Index Prediction.	MICRO	2005	DBLP DOI BibTeX RDF
1	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.	VMCAI	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Milo M. K. Martin	Formal Verification and its Impact on the Snooping versus Directory Protocol Debate.	ICCD	2005	DBLP DOI BibTeX RDF
1	Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood	Using Speculation to Simplify Multiprocessor Design.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Milo M. K. Martin, Mark D. Hill, David A. Wood	Token Coherence: A New Framework for Shared-Memory Multiprocessors.	IEEE Micro	2003	DBLP DOI BibTeX RDF
1	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	2003	DBLP DOI BibTeX RDF
1	Milo M. K. Martin, Mark D. Hill, David A. Wood	Token Coherence: Decoupling Performance and Correctness. (PDF / PS)	ISCA	2003	DBLP DOI BibTeX RDF
1	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. (PDF / PS)	ISCA	2003	DBLP DOI BibTeX RDF
1	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.	2002	DBLP DOI BibTeX RDF	multicast snooping, Cache coherence, protocol verification, protocol specification, memory consistency
1	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. (PDF / PS)	ISCA	2002	DBLP DOI BibTeX RDF	multiprocessor, availability, shared memory
1	Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood	Bandwidth Adaptive Snooping.	HPCA	2002	DBLP DOI BibTeX RDF	adaptive, shared-memory multiprocessors, coherence protocols, snooping
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Milo M. K. Martin, Amir Roth, Charles N. Fischer	Exploiting Dead Value Information.	MICRO	1997	DBLP BibTeX RDF

Publications of "Milo M. K. Martin" ( http://dblp.L3S.de/Authors/Milo_M._K._Martin )