<REC>
<AU> Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , and Sergio Yovine </AU>
<DE> . </DE>
<TI> Symbolic model checking for real - time systems </TI>
<DE> . </DE>
<JN> Proceedings of the Seventh Annual Symposium on Logic in Computer Science </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Computer Society Press </PU>
<DE> , </DE>
<DA> 1992 </DA>
<DE> , </DE>
<PP> pp . 394 - 406 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Rajeev Alur , Tomas Feder , and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> The benefits of relaxing punctuality </TI>
<DE> . </DE>
<JN> Proceedings of the Tenth Annual Symposium on Principles of Distributed Computing </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 1991 </DA>
<DE> , </DE>
<PP> pp . 139 - 152 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> The Temporal Specification and Verification of Real - Time Systems </TI>
<DE> . </DE>
<JN> Ph . D. Thesis , Technical Report STAN - CS - 91 - 1380 </JN>
<DE> , </DE>
<OR> Stanford University </OR>
<DE> , </DE>
<DA> August 1991 </DA>
<DE> , </DE>
<PP> 272 pages </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Zohar Manna , and Amir Pnueli </AU>
<DE> . </DE>
<TI> Temporal proof methodologies for real - time systems </TI>
<DE> . </DE>
<JN> Proceedings of the 18th Annual Symposium on Principles of Programming Languages </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 1991 </DA>
<DE> , </DE>
<PP> pp . 353 - 366 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Rajeev Alur and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Real - time logics : Complexity and expressiveness </TI>
<DE> . </DE>
<JN> Proceedings of the Fifth Annual Symposium on Logic in Computer Science </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Computer Society Press </PU>
<DE> , </DE>
<DA> 1990 </DA>
<DE> , </DE>
<PP> pp . 390 - 401 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Half - order modal logic : How to prove real - time properties </TI>
<DE> . </DE>
<JN> Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 1990 </DA>
<DE> , </DE>
<PP> pp . 281 - 296 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Rajeev Alur and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> A really temporal logic </TI>
<DE> . </DE>
<JN> Proceedings of the 30th Annual Symposium on Foundations of Computer Science </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Computer Society Press </PU>
<DE> , </DE>
<DA> 1989 </DA>
<DE> , </DE>
<PP> pp . 164 - 169 </PP>
<DE> . </DE>
</REC>
<REC>
<TI> Improving Multiple - CMP Systems Using Token Coherence </TI>
<DE> , </DE>
<AU> Michael R. Marty , Jesse D. Bingham , Mark D. Hill , Alan J. Hu , Milo M. K. Martin and David A. Wood </AU>
<DE> , </DE>
<JN> International Symposium on High Performance Computer Architecture ( HPCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> February 2005 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Talk </FL>
<DE> : </DE>
<DE> . </DE>
</REC>
<REC>
<TI> Interaction Cost : For when event counts just do n't add up </TI>
<DE> , </DE>
<AU> Brian A. Fields , Rastislav Bodik , Mark D. Hill , and Chris J. Newburn </AU>
<DE> , </DE>
<JN> IEEE Micro Special Issue : Micro 's Top Picks from Microarchitecture Conferences </JN>
<DE> , </DE>
<DA> November - December 2004 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<JN> pdf Expanded TACO 2004 Journal Version </JN>
<DE> : </DE>
<FL> pdf </FL>
</REC>
<REC>
<TI> Future Computer Advances are Between a Rock ( Slow Memory ) and a Hard Place ( Multithreading </TI>
<DE> ) </DE>
<DE> ( </DE>
<NG> Talk to CSTB and US government agencies </NG>
<DE> ) </DE>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<JN> The National Academies 's Computer Science and Telecommunications Board ( CSTB ) Meeting </JN>
<DE> , </DE>
<DA> October 2004 </DA>
<DE> . </DE>
<FL> Talk : ppt </FL>
</REC>
<REC>
<TI> Interaction Cost and Shotgun Profiling </TI>
<DE> , </DE>
<AU> Brian A. Fields , Rastislav Bodik , Mark D. Hill , and Chris J. Newburn </AU>
<DE> , </DE>
<JN> ACM Trans . on Architecture and Compiler Optimizations ( TACO </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> September 2004 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<JN> pdf Original Micro 2003 Conference Version </JN>
<DE> : </DE>
<FL> pdf Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> A Future for Parallel Computer Architectures </TI>
<DE> ( </DE>
<NG> Keynote talk to parallel software researchers </NG>
<DE> ) </DE>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<JN> International Conference on Parallel Processing ( ICPP </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> August 2004 </DA>
<DE> . </DE>
<FL> Talk : ppt </FL>
</REC>
<REC>
<TI> Using Speculation to Simplify Multiprocessor Design </TI>
<DE> , </DE>
<AU> Daniel J. Sorin , Milo M. K. Martin , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> International Parallel and Distributed Processing Symposium ( IPDPS </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> April 2004 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Talk : ppt </FL>
</REC>
<REC>
<TI> Evaluating a $ 2M Commercial Server on a $ 2K PC and Related Challenges </TI>
<DE> ( </DE>
<NG> Invited Talk </NG>
<DE> ) </DE>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<JN> Workshop On Computer Architecture Evaluation using Commercial Workloads ( CAECW </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> February 2004 </DA>
<DE> . </DE>
<FL> Talk Abstract : pdf Talk : ppt </FL>
</REC>
<REC>
<TI> Token Coherence : A New Framework for Shared - Memory Multiprocessors </TI>
<DE> , </DE>
<AU> Milo M. K. Martin , Mark D. Hill and David A. Wood </AU>
<DE> , </DE>
<JN> IEEE Micro Special Issue : Micro 's Top Picks from Microarchitecture Conferences </JN>
<DE> , </DE>
<DA> November - December 2003 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<JN> pdf Original ISCA03 Paper </JN>
<DE> : </DE>
<FL> pdf </FL>
</REC>
<REC>
<TI> Using Interaction Costs for Microarchitectural Bottleneck Analysis </TI>
<DE> , </DE>
<AU> Brian A. Fields , Rastislav Bodik , Mark D. Hill , and Chris J. Newburn </AU>
<DE> , </DE>
<JN> 36th International Symposium on Microarchitecture ( MICRO </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> December 2003 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Talk </FL>
<DE> : </DE>
<JN> ppt Expanded TACO 2004 Journal Version </JN>
<DE> : </DE>
<FL> pdf </FL>
</REC>
<REC>
<TI> Challenges in Computer Architecture Evaluation </TI>
<DE> , </DE>
<AU> Kevin Skadron , Margaret Martonosi , David I. August , Mark D. Hill , David J. Lilja , and Vijay S. Pai </AU>
<DE> . </DE>
<JN> IEEE Computer </JN>
<DE> , </DE>
<DA> August 2003 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf </FL>
</REC>
<REC>
<TI> Revisiting " Multiprocessors Should Support Simple Memory Consistency Models </TI>
<DE> " </DE>
<DE> ( </DE>
<NG> Talk to software memory consistency model researchers </NG>
<DE> ) </DE>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<TI> Dagstuhl Seminar 03431 on Hardware and Software Consistency Models : Programmability and Performance </TI>
<DE> , </DE>
<DA> October 2003 </DA>
<DE> . </DE>
<FL> Abstract : txt Talk : ppt Original 1998 Paper : pdf </FL>
</REC>
<REC>
<TI> Token Coherence : Decoupling Performance and Correctness </TI>
<DE> , </DE>
<AU> Milo M. K. Martin , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> International Symposium on Computer Architecture ( ISCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> June 2003 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Reference : ACM Talk : pdf </FL>
<DE> , </DE>
<JN> Shorter IEEE Micro Top Picks Paper </JN>
<DE> : </DE>
<FL> pdf </FL>
</REC>
<REC>
<TI> Using Destination - Set Prediction to Improve the Latency / Bandwidth Tradeoff in Shared Memory Multiprocessors </TI>
<DE> , </DE>
<AU> Milo M. K. Martin , Pacia J. Harper , Daniel J. Sorin , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> International Symposium on Computer Architecture ( ISCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> June 2003 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Reference : ACM Talk : pdf </FL>
<DE> , </DE>
</REC>
<REC>
<TI> A " Flight Data Recorder " for Enabling Full - system Multiprocessor Deterministic Replay </TI>
<DE> , </DE>
<AU> Min Xu , Rastislav Bodik and Mark D. Hill </AU>
<JN> International Symposium on Computer Architecture ( ISCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> June 2003 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Reference : ACM Talk : pdf </FL>
<DE> , </DE>
</REC>
<REC>
<TI> Dynamic Verification of End - to - End Multiprocessor Invariants </TI>
<DE> , </DE>
<AU> Daniel J. Sorin , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> International Conference on Dependable Systems and Networks ( DSN , formerly FTCC </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> June 2003 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Talk : ppt </FL>
</REC>
<REC>
<TI> Simulating a $ 2M Commercial Server on a $ 2K PC </TI>
<DE> , </DE>
<AU> Alaa R. Alameldeen , Milo M. K. Martin , Carl J. Mauer , Kevin E. Moore , Min Xu , Daniel J. Sorin , Mark D. Hill and David A. Wood </AU>
<DE> , </DE>
<JN> IEEE Computer </JN>
<DE> , </DE>
<DA> February 2003 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Talk : ppt </FL>
</REC>
<REC>
<TI> Skewed finite hashing function </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 6 , 654 , 866 issued </NG>
<DA> November 25 , 2003 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Repeater for use in a shared memory computing system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 6 , 578 , 071 issued </NG>
<DA> June 10 , 2003 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Methods and apparatus for a directory - less memory access protocol in a distributed shared memory computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 6 , 574 , 659 issued </NG>
<DA> June 3 , 2003 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Data Page Layouts for Relational Databases on Deep Memory Hierarchies </TI>
<DE> , </DE>
<AU> Anastassia Ailamaki , David J. DeWitt , and Mark D. Hill </AU>
<DE> , </DE>
<JN> The VLDB Journal </JN>
<DE> , </DE>
<VO> 11 ( 3 </VO>
<DE> ) </DE>
<DE> , </DE>
<DA> 2002 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf </FL>
</REC>
<REC>
<TI> Full - System Timing - First Simulation </TI>
<DE> , </DE>
<AU> Carl J. Mauer , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> ACM SIGMETRICS </JN>
<DE> , </DE>
<DA> June 2002 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Reference : ACM Talk : pdf and ppt </FL>
</REC>
<REC>
<TI> Harnessing Moore 's Law </TI>
<DE> ( </DE>
<NG> Talk to computer science undergraduates </NG>
<DE> ) </DE>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<NG> Several venues </NG>
<DE> , </DE>
<DA> 2002 - 03 </DA>
<DE> . </DE>
<FL> Abstract : txt Talk : ppt </FL>
</REC>
<REC>
<TI> SafetyNet : Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint / Recovery </TI>
<DE> , </DE>
<AU> Daniel J. Sorin , Milo M. K. Martin , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> International Symposium on Computer Architecture ( ISCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> May 2002 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Reference : IEEE Talk : ppt </FL>
</REC>
<REC>
<TI> Slack : Maximizing Performance Under Technological Constraints </TI>
<DE> , </DE>
<AU> Brian Fields , Rastislav Bodik , and Mark D. Hill </AU>
<DE> , </DE>
<JN> International Symposium on Computer Architecture ( ISCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> 2002 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Reference : IEEE Talk : ppt </FL>
</REC>
<REC>
<TI> Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol </TI>
<DE> , </DE>
<AU> Daniel J. Sorin , Manoj Plakal , Anne E. Condon , Mark D. Hill , Milo M. K. Martin and David A. Wood </AU>
<DE> , </DE>
<JN> IEEE Transactions on Parallel and Distributed Systems </JN>
<DE> , </DE>
<DA> June 2002 </DA>
<DE> ( </DE>
<VO> vol 13 , number 6 </VO>
<DE> ) </DE>
<DE> . </DE>
<DE> ( </DE>
<JN> Previously available as Dept . of Computer Sciences Technical Report CS - TR - 2000 - 1412 </JN>
<DE> , </DE>
<DA> March 2000 </DA>
<DE> . </DE>
<DE> ) </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Online protocol examples in html </FL>
</REC>
<REC>
<TI> Bandwidth Adaptive Snooping </TI>
<DE> , </DE>
<AU> Milo M. K. Martin , Daniel J. Sorin , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> 8th International Symposium on High Performance Computer Architecture ( HPCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> February 2002 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Talk : pdf and ppt </FL>
</REC>
<REC>
<TI> Evaluating Non - deterministic Multi - threaded Commercial Workloads </TI>
<DE> , </DE>
<AU> Alaa R. Alameldeen , Carl J. Mauer , Min Xu , Pacia J. Harper , Milo M. K. Martin , Daniel J. Sorin , Mark D. Hill and David A. Wood </AU>
<DE> , </DE>
<JN> Workshop On Computer Architecture Evaluation using Commercial Workloads ( CAECW </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> February 2002 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Talk : pdf and ppt </FL>
</REC>
<REC>
<TI> Hybrid memory access protocol in a distributed shared memory computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 6 , 496 , 854 issued </NG>
<DA> December 17 , 2002 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Methods and apparatus for a directory - less memory access protocol in a distributed shared memory computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 6 , 377 , 980 issued </NG>
<DA> April 23 , 2002 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Correctly Implementing Value Prediction in Microprocessors that Support Multithreading or Multiprocessing </TI>
<DE> , </DE>
<AU> Milo M. K. Martin , Daniel J. Sorin , Harold W. Cain , Mark D. Hill , and Mikko H. Lipasti </AU>
<DE> , </DE>
<JN> 34th International Symposium on Microarchitecture ( MICRO </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> December 2001 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Talk : pdf and ppt </FL>
</REC>
<REC>
<TI> Weaving Relations for Cache Performance </TI>
<DE> , </DE>
<AU> Anastassia G. Ailamaki , David J. DeWitt , Mark D. Hill , and Marios Skounakis </AU>
<DE> , </DE>
<JN> International Conference on Very Large Databases ( VLDB </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> 2001 </DA>
<DE> . </DE>
<JN> Received VLDB 2001 Best Paper Award Paper </JN>
<DE> : </DE>
<FL> pdf Talk : ppt </FL>
</REC>
<REC>
<TI> Facile : A Language and Compiler For High - Performance Processor Simulators </TI>
<DE> , </DE>
<AU> Eric C. Schnarr , James R. Larus , and Mark D. Hill </AU>
<DE> , </DE>
<JN> Programming Language Design and Implementation ( PLDI </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> 2001 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> Cache Performance for Selected SPEC CPU2000 Benchmarks </TI>
<DE> , </DE>
<AU> Jason F. Cantin and Mark D. Hill </AU>
<DE> , </DE>
<JN> Computer Architecture News ( CAN </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> Spetember 2001 </DA>
<DE> . </DE>
<FL> Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> Skewed finite hashing function </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 6 , 308 , 246 issued </NG>
<DA> October 23 , 2001 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Hybrid memory access protocol in a distributed shared memory computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 6 , 243 , 742 issued </NG>
<DA> June 5 , 2001 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0818732 and Japanese Patent 10177518 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Shared memory system for symmetric multiprocessor systems </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 6 , 226 , 671 issued </NG>
<DA> May 1 , 2001 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Readings in Computer Architecture </TI>
<DE> , </DE>
<AU> Mark D. Hill , Norman P. Jouppi , and Gurindar S. Sohi </AU>
<DE> , </DE>
<PU> Morgan Kaufmann Publishers </PU>
<DE> , </DE>
<JN> ISBN 1 - 55860 - 539 - 8 </JN>
<DE> , </DE>
<DA> 2000 </DA>
<DE> . </DE>
<NG> Near - final versions of </NG>
<DE> : </DE>
<DE> : </DE>
<FL> pdf and ps Table of Contents : pdf and ps Web Component : html or html mirror </FL>
</REC>
<REC>
<TI> Making Pointer - Based Data Structures Cache Conscious </TI>
<DE> , </DE>
<AU> Trishul M. Chilimbi , Mark D. Hill , and James R. Larus </AU>
<DE> , </DE>
<JN> IEEE Computer </JN>
<DE> , </DE>
<DA> December 2000 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf </FL>
<DE> . </DE>
</REC>
<REC>
<TI> How Computer Architecture Trends May Affect Future Distributed Systems : From InfiniBand Clusters to Inter - Processor Speculation </TI>
<DE> ( </DE>
<NG> Keynote talk for researchers in theoretical aspects distributed systems </NG>
<DE> ) </DE>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<JN> Symposium on Principles of Distributed Computing ( PODC </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> July 2000 </DA>
<DE> . </DE>
<FL> Abstract : pdf Talk : ppt </FL>
</REC>
<REC>
<TI> Fast and Portable Parallel Architecture Simulators : Wisconsin Wind Tunnel II </TI>
<DE> , </DE>
<AU> Shubhendu S. Mukherjee , Steven K. Reinhardt , Babak Falsafi , Mike Litzkow , Steven Huss - Lederman , Mark D. Hill , James R. Larus , and David A. Wood </AU>
<DE> , </DE>
<JN> IEEE Concurrency </JN>
<DE> , </DE>
<DA> October - December 2000 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf </FL>
<DE> . </DE>
</REC>
<REC>
<TI> Timestamp Snooping : An Approach for Extending SMPs </TI>
<DE> , </DE>
<AU> 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 , and David A. Wood </AU>
<DE> , </DE>
<JN> Ninth International Conference on Architectural Support for Programming Languages and Operating Systems ( ASPLOS </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> November 2000 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps Reference : ACM Talk : pdf </FL>
</REC>
<REC>
<TI> Fast Checkpoint / Recovery to Support Kilo - Instruction Speculation and Hardware Fault Tolerance </TI>
<DE> , </DE>
<AU> Daniel J. Sorin , Milo M. K. Martin , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> Dept . of Computer Sciences Technical Report CS - TR - 2000 - 1420 </JN>
<DE> , </DE>
<DA> October 2000 </DA>
<DE> . </DE>
<JN> Technical Report </JN>
<DE> : </DE>
<FL> pdf and ps </FL>
</REC>
<REC>
<TI> Exploiting Market Realities To Address National Security 's High - Performance Computing Needs </TI>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<JN> In Defense Science Study Group 1998 - 1999 </JN>
<DE> , </DE>
<VO> Volume 1 : Papers 1 - 13 </VO>
<DE> , </DE>
<JN> Institute for Defense Analysis ( IDA ) Paper P - 3531 </JN>
<DE> , </DE>
<DA> 2000 </DA>
<DE> . </DE>
<JN> Technical Report </JN>
<DE> : </DE>
<FL> pdf Talk : ppt </FL>
</REC>
<REC>
<TI> Formation of a National Entity for Information Infrastructure Protection </TI>
<DE> , </DE>
<AU> Geoffrey C. Orsak , Mark D. Hill , and Robin R. Murphy </AU>
<DE> , </DE>
<JN> In Defense Science Study Group 1998 - 1999 </JN>
<DE> , </DE>
<VO> Volume 1 : Papers 1 - 13 </VO>
<DE> , </DE>
<JN> Institute for Defense Analysis ( IDA ) Paper P - 3531 </JN>
<DE> , </DE>
<DA> 2000 </DA>
<DE> . </DE>
<JN> Technical Report </JN>
<DE> : </DE>
<FL> pdf </FL>
</REC>
<REC>
<TI> DBMSs on a modern processor : Where does time go </TI>
<DE> ? </DE>
<DE> , </DE>
<AU> Anastassia Ailamaki , David J. DeWitt , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> International Conference on Very Large Databases ( VLDB </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> Spetember 1999 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps Talk : ppt </FL>
</REC>
<REC>
<TI> A System - Level Specification Framework for I / O Architectures </TI>
<DE> , </DE>
<AU> Mark D. Hill , Anne E. Condon , Manoj Plakal , and Daniel J. Sorin </AU>
<DE> , </DE>
<JN> Symposium on Parallel Algorithms and Architectures ( SPAA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> June 1999 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps Talk : pdf and ps Extended Technical Report : pdf and ps Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> Multicast Snooping : A New Coherence Method Using a Multicast Address Network </TI>
<DE> , </DE>
<AU> E. Ender Bilir , Ross M. Dickson , Ying Hu , Manoj Plakal , Daniel J. Sorin , Mark D. Hill , and David A. Wood </AU>
<DE> . </DE>
<JN> International Symposium on Computer Architecture ( ISCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> May 1999 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps Reference : ACM Talk : pdf and ps </FL>
</REC>
<REC>
<TI> Cache - Conscious Structure Layout </TI>
<DE> , </DE>
<AU> Trishul M. Chilimbi , James R. Larus , and Mark D. Hill </AU>
<DE> , </DE>
<JN> Programming Language Design and Implementation ( PLDI </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> 1999 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps . Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> Using Lamport Clocks to Reason About Relaxed Memory Models </TI>
<DE> , </DE>
<AU> Anne E. Condon , Mark D. Hill , Manoj Plakal and Daniel J. Sorin </AU>
<DE> , </DE>
<JN> International Symposium on High - Performance Computer Architecture ( HPCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> January 1999 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps Talk : pdf and ps </FL>
</REC>
<REC>
<TI> Cachable interface control registers for high speed data transfer </TI>
<DE> , </DE>
<AU> David A. Wood , Steven K. Reinhardt , Shubhendu S. Mukherjee , Babak Falsafi , Mark D. Hill , and Robert W. Pfile </AU>
<DE> , </DE>
<NG> United States Patent 5 , 951 , 657 issued </NG>
<DA> September 14 , 1999 </DA>
<DE> . </DE>
<DE> ( </DE>
<NG> NOTE : U. S. patents other than this one are the result of Hill 's sabbatical ( 1995 - 1996 ) and consulting at Sun Microsystems </NG>
<DE> . </DE>
<DE> ) </DE>
</REC>
<REC>
<TI> Methods and apparatus for substantially memory - less coherence transformer for connecting computer node coherence domains </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 940 , 860 issued </NG>
<DA> August 17 , 1999 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817068 and Japanese Patent 11003277 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Split - SMP computer system configured to operate in a protected mode having repeater which inhibits transaction to local address partition </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 923 , 847 issued </NG>
<DA> July 13 , 1999 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817094 and Japanese Patent 10187646 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Skip - level write - through in a multi - level memory of a computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 903 , 907 issued </NG>
<DA> May 11 , 1999 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817079 and Japanese Patent 11003280 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Efficient allocation of cache memory space in a computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 893 , 150 issued </NG>
<DA> April 6 , 1999 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817078 and Japanese Patent 10214229 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Multiprocessor system configured to detect and efficiently provide for migratory data access patterns </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 734 , 922 issued </NG>
<DA> March 31 , 1999 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Method and apparatus for a directory - less memory access protocol in a distributed shared memory computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 873 , 117 issued </NG>
<DA> February 16 , 1999 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817067 and Japanese Patent 10134009 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Hybrid memory access protocol for servicing memory access request by ascertaining whether the memory block is currently cached in determining which protocols to be used </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 864 , 671 issued </NG>
<DA> January 26 , 1999 </DA>
<DE> . </DE>
</REC>
<REC>
<TI> Hierarchical SMP computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 862 , 357 issued </NG>
<DA> January 19 , 1999 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817060 and Japanese Patent 10187630 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Methods and apparatus for a coherence transformer for connecting computer system coherence domains </TI>
<DE> , </DE>
<AU> Erik E. Hagersten , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<NG> United States Patent 5 , 860 , 109 issued </NG>
<DA> January 12 , 1999 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817065 and Japanese Patent 10214222 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Guest Editor 's Introduction : Design Challenges for High - Performance Network Interfaces </TI>
<AU> Andrew A. Chien , Mark D. Hill , and Shubhendu S. Mukherjee </AU>
<DE> , </DE>
<JN> IEEE Computer </JN>
<DE> , </DE>
<DA> November 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf </FL>
<DE> . </DE>
</REC>
<REC>
<TI> Making Network Interfaces Less Peripheral </TI>
<DE> , </DE>
<AU> Shubhendu S. Mukherjee and Mark D. Hill </AU>
<DE> , </DE>
<JN> IEEE Computer </JN>
<DE> , </DE>
<DA> October 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf </FL>
<DE> . </DE>
</REC>
<REC>
<TI> Sirocco : Cost - Effective Fine - Grain Distributed Shared Memory </TI>
<DE> , </DE>
<AU> Ioannis Schoinas , Babak Falsafi , Mark D. Hill , James R. Larus , and David A. Wood </AU>
<DE> , </DE>
<JN> International Conference on Parallel Architectures and Compilation Techniques ( PACT 98 </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> October 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps </FL>
</REC>
<REC>
<TI> A Retrospective on " Weak Ordering - - A New Definition </TI>
<DE> , </DE>
<DE> " </DE>
<AU> Sarita V. Adve and Mark D. Hill </AU>
<DE> , </DE>
<JN> Selected Papers from the First 25 International Symposia on Computer Architecture </JN>
<DE> ( </DE>
<AU> Gurindar S. Sohi </AU>
<DE> , </DE>
<NG> editor </NG>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> ) </DE>
<DE> , </DE>
<DA> 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps . Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> Multiprocessors Should Support Simple Memory Consistency Models </TI>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<JN> IEEE Computer </JN>
<DE> , </DE>
<DA> August 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf 2003 Dagstuhl Retrospective Talk : ppt </FL>
</REC>
<REC>
<TI> Lamport Clocks : Verifying A Directory Cache - Coherence Protocol </TI>
<DE> , </DE>
<AU> Manoj Plakal , Daniel J. Sorin , Anne E. Condon and Mark D. Hill </AU>
<DE> , </DE>
<JN> Symposium on Parallel Algorithms and Architectures ( SPAA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> June 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps Reference : ACM Talk : pdf and ps </FL>
</REC>
<REC>
<TI> Using Prediction to Accelerate Coherence Protocols </TI>
<DE> , </DE>
<AU> Shubhendu S. Mukherjee and Mark D. Hill </AU>
<DE> , </DE>
<JN> International Symposium on Computer Architecture ( ISCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps . Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> The Impact of Data Transfer and Buffering Alternatives on Network Interface Design </TI>
<DE> , </DE>
<AU> Shubhendu S. Mukherjee and Mark D. Hill </AU>
<DE> , </DE>
<JN> International Symposium on High - Performance Computer Architecture ( HPCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps </FL>
</REC>
<REC>
<TI> Address Translation Mechanisms in Network Interfaces </TI>
<DE> , </DE>
<AU> Ioannis Schoinas and Mark D. Hill </AU>
<DE> , </DE>
<JN> International Symposium on High - Performance Computer Architecture ( HPCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> 1998 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps </FL>
</REC>
<REC>
<TI> Methods and apparatus for sharing stored data objects in a computer system </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 835 , 906 issued </NG>
<DA> November 10 , 1998 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817040 and Japanese Patent 10187527 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Methods and apparatus for a coherence transformer with limited memory for connecting computer system coherence domains </TI>
<DE> , </DE>
<AU> Erik E. Hagersten , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<NG> United States Patent 5 , 829 , 034 issued </NG>
<DA> October 27 , 1998 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817069 and Japanese Patent 10187633 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Efficient storage of data in computer systmes with multiple cache levels </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 802 , 563 issued </NG>
<DA> September 1 , 1998 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817080 and Japanese Patent 10214224 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Extended symmetrical multiprocessor address mapping </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 796 , 605 issued </NG>
<DA> August 18 , 1998 </DA>
<DE> . </DE>
<DE> ( </DE>
<NG> I was officially added as a co - inventor on </NG>
<DA> June 27 , 1998 </DA>
<DE> , </DE>
<NG> correcting a filing error </NG>
<DE> . </DE>
<DE> ) </DE>
</REC>
<REC>
<TI> Extended symmetrical multiprocessor architecture </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 754 , 877 issued </NG>
<DA> May 19 , 1998 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817092 and Japanese Patent 10097513 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Multiprocessing system configured to detect and efficiently provide for migratory data access patterns </TI>
<DE> , </DE>
<AU> Erik E. Hagersten and Mark D. Hill </AU>
<DE> , </DE>
<NG> United States Patent 5 , 734 , 922 issued </NG>
<DA> March 31 , 1998 </DA>
<DE> . </DE>
<NG> Also European Union Patent 0817071 and Japanese Patent 10143483 </NG>
<DE> . </DE>
</REC>
<REC>
<TI> Relaxed Consistency and Coherence Granularity in DSM Systems : A Performance Evaluation </TI>
<DE> , </DE>
<AU> Yuanyuan Zhou , Liviu Iftode , Jaswinder Pal Singh , Kai Li , Brian R. Toonen , Ioannis Schoinas , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> SIGPLAN Symposium on Principles and Practice of Parallel Programming ( PPoPP </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> June 1997 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps . Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> Parallel Computer Research in the Wisconsin Wind Tunnel Project </TI>
<DE> , </DE>
<AU> Mark D. Hill , James R. Larus , and David A. Wood </AU>
<DE> , </DE>
<JN> NSF Conference on Experimental Research in Computer Systems </JN>
<DE> , </DE>
<DA> June 1996 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps </FL>
</REC>
<REC>
<TI> Bidirectional Technology Transfer : Sabbaticals in Industry </TI>
<DE> , </DE>
<AU> Mark D. Hill </AU>
<DE> , </DE>
<JN> NSF Conference on Experimental Research in Computer Systems </JN>
<DE> , </DE>
<DA> June 1996 </DA>
<DE> . </DE>
<JN> Reprinted in Computing Research News </JN>
<DE> , </DE>
<DA> November 1997 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps </FL>
</REC>
<REC>
<TI> Coherent Network Interfaces for Fine - Grain Communication </TI>
<DE> , </DE>
<AU> Shubhendu S. Mukherjee , Babak Falsafi , Mark D. Hill , and David A. Wood </AU>
<DE> , </DE>
<JN> International Symposium on Computer Architecture ( ISCA </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> 1996 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps . Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> Optimistic Simulation of Parallel Architectures Using Program Executables </TI>
<DE> , </DE>
<AU> Sashikanth Chandrasekaran and Mark D. Hill </AU>
<DE> , </DE>
<JN> Workshop on Parallel and Distributed Simulation ( PADS </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> May 1996 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps . Reference </FL>
<DE> : </DE>
<PU> ACM </PU>
</REC>
<REC>
<TI> A New Page Table for 64 - bit Address Spaces </TI>
<DE> , </DE>
<AU> Madhusudhan Talluri , Mark D. Hill , and Yousef A. Khalidi </AU>
<DE> , </DE>
<JN> Symposium on Operating Systems Principals ( SOSP </JN>
<DE> ) </DE>
<DE> , </DE>
<DA> December 1995 </DA>
<DE> . </DE>
<NG> Paper </NG>
<DE> : </DE>
<FL> pdf and ps </FL>
</REC>
