Trey Cain (aka Harold Wade Cain III) Office: 4614 Engineering Hall Office Phone: 608.265.3810 email: cain at cs.wisc.edu Home address: 1148 Jenifer St. Apt. 1 Madison, WI 53703

---

I've moved... to the IBM T.J. Watson Research Center, in Yorktown, NY, as of November 2004. Please visit this more recent page for updated info.

---

Academic

---

I'm a graduate student in the Computer Sciences Department at the University of Wisconsin at Madison. I'm also a member of the PHARM group, led by Prof. Mikko Lipasti.

Conference Publications

• Memory Ordering: A Value-Based Approach (pdf, ps)
  Harold W. Cain and Mikko H. Lipasti
  Proceedings of the 31st International Symposium on Computer Architecture , June, 2004.
  Shorter version selected for IEEE Micro Special Issue (Top Picks in Computer Architecture 2004). (pdf)
  
  
• Constraint Graph Analysis of Multithreaded Programs (pdf, ps).
  Harold W. Cain, Mikko H. Lipasti, and Ravi Nair
  Proceedings of the 12th International Conference on Parallel Architectures and Compilation Techniques , September, 2003.
  Longer version published in Journal of Instruction-Level Parallelism, vol. 6, April 2004. (pdf)
  
  
• Redeeming IPC as a Performance Metric for Multithreaded Programs (pdf, ps).
  Kevin M. Lepak, Harold W. Cain, and Mikko H. Lipasti
  Proceedings of the 12th International Conference on Parallel Architectures and Compilation Techniques , September, 2003.
  
  
• Verifying Sequential Consistency Using Vector Clocks (pdf, ps).
  Harold W. Cain and Mikko H. Lipasti
  Proceedings of the 14th Symposium on Parallel Algorithms and Architectures Revue , August, 2002.
  
  
• Correctly Implementing Value Prediction in Microprocessors that Support Multithreading or Multiprocessing (pdf, ps).
  Milo M. K. Martin, Daniel J. Sorin, Harold W. Cain, Mark D. Hill, and Mikko H. Lipasti
  Proceedings of the 34th International Symposium on Microarchitecture , December, 2001.
  
  
• An Architectural Evaluation of Java TPC-W (pdf, ps).
  Harold W. Cain, Ravi Rajwar, Morris Marden and Mikko H. Lipasti.
  Proceedings of the 7th International Symposium on High-Performance Computer Architecture, January, 2001.
  Slides (pdf, ppt)

• A Callgraph-Based Search Strategy for Automated Performance Diagnosis (pdf, ps).
  Harold W. Cain, Barton P. Miller, Brian J.N. Wylie.
  Euro-Par 2000, Munich Germany, August 2000.
  Also appearing in Concurrency and Computation: Practice and Experience, 14(3): 203-217 (2002).
  

Workshop Publications

• Precise and Accurate Processor Simulation (pdf, ps).
  Harold W. Cain, Kevin M. Lepak, Brandon A. Schwartz, and Mikko H. Lipasti.
  5th Workshop On Computer Architecture Evaluation Using Commercial Workloads (CAECW), February 2002. (In conjunction with HPCA-8.)

• A Dynamic Binary Translation Approach to Architectural Simulation (pdf, ps).
  Harold W. Cain, Kevin M. Lepak, and Mikko H. Lipasti.
  Workshop on Binary Translation, October 2000 (In conjunction with PACT ).
  Also appearing in Computer Architecture News, Vol. 29, No. 1, March 2001.

• Characterizing a Java Implementation of TPC-W (slides).
  Todd Bezenek, Harold Cain, Ross Dickson, Timothy Heil, Milo Martin, Collin McCurdy, Ravi Rajwar, Eric Weglarz, Craig Zilles and Mikko Lipasti
  3rd Workshop On Computer Architecture Evaluation Using Commercial Workloads (CAECW), January 2000. (In conjunction with HPCA-6.)

Education

• Ph.D.( Computer Science ) The University of Wisconsin-Madison, December 2004
• M.S. ( Computer Science ) The University of Wisconsin-Madison, May 2000
• B.S. ( Computer Science ) The College of William & Mary, May 1998

Ph.D. Thesis

• Detecting and Exploiting Causal Relationships in Hardware Shared-Memory Multiprocessors, Dept. of Computer Sciences, University of Wisconsin, December 2004 [pdf].

Courses taken at Wisconsin

Links (For other computer geeks)

• My die photo collection
• Hardware Easter Eggs
• Antique Chip Collection
• Wisconsin Computer Architecture Group
• World Wide Computer Architecture Information
• Hill and Sohi's ISCA Hall of Fame
• Jonathan Shewchuk's Three Sins of Authors in Computer Science and Math
• If you think I seem like a nerd, check out this guy.

---

Personal

---

Heather's veterinary hospital. Dad's Web Page. Old school (system). My hometown. Favorite on-line radio stations. A set of pictures from Vancouver. Here's a more recent picture archive . Live vicariously. I do.

---

Last Updated: Jul-13-2012 00:23:46 CDT

---