Publications

2002

Daniel J. Sorin, Manoj Plakal, Anne E. Condon, Mark D. Hill, Milo M. K. Martin, and David A. Wood. "Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol." Transactions on Parallel and Distributed Systems (TPDS), vol. 13, number 6, June 2002.

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), May 2002.

Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, and David A. Wood. "Bandwidth Adaptive Snooping." 8th International Symposium on High Performance Computer Architecture (HPCA-8), February 2002.

Alaa R. Alameldeen, Pacia J. Harper, Milo M. K. Martin, Carl J. Mauer, Daniel J. Sorin, Min Xu, Mark D. Hill, and David A. Wood. "Evaluating Non-deterministic Multi-threaded Commercial Workloads." Fifth Workshop on Computer Architecture Evaluation using Commercial Workloads (CAECW-02), February 2002.

2001

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), December 2001.

2000

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. "Timestamp Snooping:An Approach for Extending SMPs." 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX), November 2000.

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

Daniel J. Sorin, Jonathan L. Lemon, Derek L. Eager, and Mary K. Vernon. "Analytic Evaluation of Shared-Memory Architectures for Heterogeneous Applications." Submitted to Transactions on Parallel and Distributed Systems and currently available as Univ. of Wisconsin - Madison, Dept of Computer Sciences Technical Report #1404b, January 2000.

Refers to following technical report for full equations:
Daniel J. Sorin, Jonathan L. Lemon, Derek L. Eager, and Mary K. Vernon. "A Customized MVA Model for Shared-Memory Architectures with Heterogeneous Applications." Univ. of Wisconsin - Madison, Dept of Computer Sciences Technical Report #1400, 1999.

1999

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), June 1999.

The complete paper (which contains an appendix not found in the SPAA paper) is also available as Technical Report CS-TR-1398.

E. Ender Bilir, Ross M. Dickson, Ying Hu, Manoj Plakal, Daniel J. Sorin, Mark D. Hill, and David A. Wood. "Multicast Snooping: A New Coherence Method Using a Multicast Address Network." 26th Annual International Symposium on Computer Architecture (ISCA), May 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-5), January 1999.

1998

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), June 1998.

Refers to following technical report for full equations:
Daniel J. Sorin, Mary K. Vernon, Vijay S. Pai, Sarita V. Adve, and David A. Wood. "A Customized MVA Model for ILP Multiprocessors." Univ. of Wisconsin - Madison, Dept of Computer Sciences Technical Report #1369, April 1998.

Manoj Plakal, Daniel J. Sorin, Anne E. Condon, and Mark D. Hill. "Lamport Clocks: Verifying a Directory Cache-Coherence Protocol." 10th Annual Symposium on Parallel Algorithms and Architectures (SPAA), June 1998.