Talk Slides

Conference Talks

Anita Lungu, Pradip Bose, Daniel Sorin, Steven German and Geert Janssen. "Multicore Power Management: Ensuring Robustness via Early-Stage Formal Verification." Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, Massachusetts, July 2009.

Nathan N. Sadler and Daniel J. Sorin. "Choosing an Error Protection Scheme for a Microprocessor's L1 Data Cache." International Conference on Computer Design (ICCD), San Jose, California, October 2006.

Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, and David A. Wood. "Using Speculation to Simplify Multiprocessor Design." International Parallel and Distributed Processing Symposium (IPDPS), Santa Fe, New Mexico, April 2004.

Daniel J. Sorin, Mark D. Hill, and David A. Wood. "Dynamic Verification of End-to-End Multiprocessor Invariants." International Conference on Dependable Systems and Networks (DSN-3), San Francisco, California, June 2003.

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. "Why Computer Architecture Research is Exciting and Challenging." Duke Computer Science 300 talk, Fall 2002.

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