Talk Slides

Conference Talks

Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, and David A. Wood. "SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery." 29th International Symposium on Computer Architecture (ISCA), Anchorage, Alaska, June 2002.

Milo M. K. Martin, Daniel J. Sorin, Harold W. Cain, Mark D. Hill, and Mikko H. Lipasti. "Correctly Implementing Value Prediction in Microprocessors that Support Multithreading or Multiprocessing." 34th International Symposium on Microarchitecture (MICRO-34), Austin, Texas, December 2001.

Derek L. Eager, Daniel J. Sorin, and Mary K. Vernon. "AMVA Techniques for High Service Time Variability." ACM SIGMETRICS 2000, Santa Clara, California, June 2000.

Mark D. Hill, Anne E. Condon, Manoj Plakal, and Daniel J. Sorin. "A System-Level Specification Framework for I/O Architectures." 11th Annual Symposium on Parallel Algorithms and Architectures (SPAA), Saint-Malo, France, June 1999. (Also presented at the Wisconsin Architecture Affiliates Meeting, October 1999)

Anne E. Condon, Mark D. Hill, Manoj Plakal, and Daniel J. Sorin. "Using Lamport Clocks to Reason About Relaxed Memory Models." 5th International Symposium on High Performance Computer Architecture (HPCA), Orlando, Florida, January 1999.

Daniel J. Sorin, Vijay S. Pai, Sarita V. Adve, Mary K. Vernon, and David A. Wood. "Analytic Evaluation of Shared-Memory Systems with ILP Processors." 25th Annual International Symposium on Computer Architecture (ISCA), Barcelona, Spain, June 1998. (Also presented at the Wisconsin Architecture Affiliates Meeting, October 1998)

Workshop Talks

Manoj Plakal, Daniel J. Sorin, Anne E. Condon, and Mark D. Hill. "Lamport Clocks: Verifying a Directory Cache-Coherence Protocol." Scalable Shared Memory Workshop (at ISCA '98), Barcelona, Spain, June 1998.

Other Talks

Daniel J. Sorin, Richard Carl, James E. Smith, and David A. Wood. "Modelling Superscalar Processors via Synthetic Simulation." UW-Madison Architecture Seminar, March 1999.