Ph.D. Theses

• Applying Thread-Level Speculation to Database Transactions. [pdf]
  Christopher B. Colohan.
  Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, November, 2005. (CMU Technical Report CMU-CS-05-188.)

• Compiler Optimization of Value Communication for Thread-Level Speculation. [pdf]
  Antonia Zhai.
  Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, January, 2005. (CMU Technical Report CMU-CS-05-103.)

• Hardware Support for Thread-Level Speculation. [pdf]
  J. Gregory Steffan.
  Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, April, 2003. (CMU Technical Report CMU-CS-03-122.)

Publications

• Incrementally Parallelizing Database Transactions with Thread-Level Speculation.
  Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, and Todd C. Mowry.
  To appear in ACM Transactions on Computer Systems (TOCS), February 2008.

• CMP Support for Large and Dependent Speculative Threads.
  Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, and Todd C. Mowry.
  IEEE Transactions on Parallel and Distributed Systems, 18(8) August, 2007.

• The STAMPede Approach to Thread-Level Speculation.
  J. Gregory Steffan, Christopher B. Colohan, Antonia Zhai, and Todd C. Mowry.
  ACM Transactions on Computer Systems, 23(3), pp. 253-300, August 2005.

• Tolerating Dependences Between Large Speculative Threads Via Sub-Threads. [pdf]
  Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, and Todd C. Mowry.
  In Proceedings of the 33rd Annual International Symposium on Computer Architecture (ISCA), June 2006.

• Optimistic Intra-Transaction Parallelism on Chip Multiprocessors. [pdf]
  Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, and Todd C. Mowry.
  In Proceedings of the 31st International Conference on Very Large Data Bases (VLDB), August 2005.

• Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads. [pdf]
  Antonia Zhai, Christopher B. Colohan, J. Gregory Steffan, and Todd C. Mowry.
  In Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO), March 2004.

• Compiler Optimization of Scalar Value Communication Between Speculative Threads [PS, PDF]
  Antonia Zhai, Christopher B. Colohan, J. Gregory Steffan and Todd C. Mowry
  Proceedings of the Tenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), Oct 7-9, 2002, San Jose, CA, USA.
  
  
• Improving Value Communication for Thread-Level Speculation. [PS, PDF]
  J. Gregory Steffan, Christopher B. Colohan, Antonia Zhai and Todd C. Mowry
  Proceedings of High Performance Computer Architecture 8 (HPCA2002), Feb 2-6, 2002, Cambridge, MA, USA.
  
  
• A Scalable Approach to Thread-Level Speculation [PS, PDF]
  J. Gregory Steffan, Christopher B. Colohan, Antonia Zhai and Todd C. Mowry
  Proceedings of the 27th International Symposium on Computer Architecture, June 12-14, 2000, Vancouver, British Columbia, Canada.
  
  
• Extending Cache Coherence to Support Thread-Level Data Speculation on a Single Chip and Beyond [PS, PDF]
  J. Gregory Steffan, Christopher B. Colohan and Todd C. Mowry
  Technical Report CMU-CS-98-171, School of Computer Science, Carnegie Mellon University, December 1998.
  
  
• The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization [PS, PDF]
  J. Gregory Steffan and Todd C. Mowry
  Proceedings of the Fourth International Symposium on High-Performance Computer Architecture, February 2-4, 1998, Las Vegas, Nevada.
  
  
• Architectural Support for Thread-Level Data Speculation [PS, PDF]
  J. Gregory Steffan, Christopher B. Colohan and Todd C. Mowry
  Technical Report CMU-CS-97-188, School of Computer Science, Carnegie Mellon University, November 1997.
  
  
• The Potential for Thread-Level Data Speculation in Tightly-Coupled Multiprocessors [PS, PDF]
  J. Gregory Steffan and Todd C. Mowry
  Technical Report CSRI-TR-350, Computer Science Research Institute, University of Toronto, February 1997.