TBoost STM Image
  • Members
  • Justin E. Gottschlich
  • Jeremy G Siek
  • Manish Vachharajani

Updated 2013/05/20: The most recent version of TBoost.STM, v.0.2.9, is downloadable here.

PUBLICATIONS

[2013]

Concurrent Predicates: A Debugging Technique for Every Parallel Programmer (17% acceptance, 36/208)
Justin E. Gottschlich, Gilles Pokam, Cristiano Pereira, and Youfeng Wu
[The 22nd International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2013]

Using Elimination and Delegation to Implement a Scalable NUMA-Friendly Stack (46% acceptance, 14/30)
Irina Calciu, Justin E. Gottschlich, and Maurice Herlihy
[USENIX Hot Topics in Parallelism (HotPar), June 2013]

But How Do We Really Debug Transactional Memory Programs? (46% acceptance, 14/30)
Justin E. Gottschlich, Rob Knauerhase, and Gilles Pokam
[USENIX Hot Topics in Parallelism (HotPar), June 2013]

QuickRec: Prototyping an Intel Architecture Extension for Record and Replay of Multithreaded Programs (19% acceptance, 56/288)
Gilles Pokam, Klaus Danne, Cristiano Pereira, Rolf Kassa, Tim Kranich, Shiliang Hu, Justin E. Gottschlich, Nima Honarmand, Nathan Dautenhahn, Sam King, and Josep Torrellas
[The 40th ACM/IEEE International Symposium on Computer Architecture (ISCA), June 2013]

Generic Programming Needs Transactional Memory
Justin E. Gottschlich and Hans-J. Boehm
[The 8th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), March 2013]

[2012]

Visualizing Transactional Memory (19% acceptance, 39/207) (BibTex)
Justin E. Gottschlich, Maurice Herlihy, Gilles Pokam, and Jeremy Siek
[The 21st International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2012]

Concurrent Predicates: Finding and Fixing the Root Cause of Concurrency Violations (BibTex)
Justin E. Gottschlich, Gilles Pokam, and Cristiano Pereira
[USENIX Workshop on Hot Topics in Parallelism (HotPar), June 2012]

[2011]

CoreRacer: A Practical Memory Race Recorder for Multicore x86 TSO Processors (21% acceptance, 44/209) (BibTex)
Gilles Pokam, Cristiano Pereira, Shiliang Hu, Ali-Reza Adl-Tabatabai, Justin E. Gottschlich, Jungwoo Ha, and Youfeng Wu
[International Symposium on Microarchitecture (MICRO), December 2011]

Programming with Concurrent Predicates (47% acceptance rate, 313/661) (Winner Best Demonstration Award)
Justin E. Gottschlich, Cristiano Pereira, Gilles Pokam, and Jungwoo Ha
[Intel Software Professionals Conference, October 2011]

Optimizing the Concurrent Execution of Locks and Transactions (37% acceptance, 19/52) (BibTex)
Justin E. Gottschlich and JaeWoong Chung
[International Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2011 / Lecture Notes in Comptuer Science, 2013]

[2010]

Proving Conflict Serializability for Full Invalidation (BibTex)
Justin E. Gottschlich, Jeremy G. Siek, and Manish Vachharajani
[The Second Workshop on the Theory of Transactional Memory (WTTM), September 2010]

Reducing the Integration Complexity of Software Transactional Memory with TBoost.STM (BibTex)
Vicente J. Botet Escriba, Justin E. Gottschlich, and Dwight Y. Winkler
[International Conference on Boost Libraries (BoostCon), May 2010]

An Efficient Software Transactional Memory Using Commit-Time Invalidation (41% acceptance, 29/70) (Winner Best Presentation Award) (BibTex)
Justin E. Gottschlich, Manish Vachharajani and Jeremy G. Siek
[IEEE/ACM International Symposium on Code Generation and Optimization (CGO), April 2010]

[ 2009 ]

An Efficient Lock-Aware Transactional Memory Implementation (BibTex)
Justin E. Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, and Daniel A. Connors
[ACM International Workshop on ICOOOLPS. In conjunction with ECOOP. July 2009]

Toward Simplified Parallel Support in C++ (BibTex)
Justin E. Gottschlich, Jeremy G. Siek, Paul J. Rogers, and Manish Vachharajani
[International Conference on Boost Libraries (BoostCon), May 2009]

Shifting the Parallel Programming Paradigm (27% acceptance) (Winner Best Presentation Award) (BibTex)
Justin E. Gottschlich, Dwight Y. Winkler, Mark W. Holmes, Jeremy G. Siek, and Manish Vachharajani
[Raytheon Information Systems and Computing Symposium (ISaCTN), March 2009]

Lock-Aware Transactional Memory (BibTex)
Justin E. Gottschlich, Daniel A. Connors, Dwight Y. Winkler, Jeremy G. Siek and Manish Vachharajani
[ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (poster), March 2009]

[ 2008 ]

Optimizing Consistency Checking for Memory-Intensive Transactions (BibTex)
Justin E. Gottschlich and Daniel A. Connors
[ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (brief announcement), August 2008]
[Full paper here]

C++ Move Semantics for Exception Safety and Optimization in Software Transactional Memory Libraries (BibTex)
Justin E. Gottschlich, Jeremy G. Siek, and Daniel A. Connors
[International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS). In conjunction with ECOOP. July 2008]

Extending Contention Managers for User-Defined Priority Based Transactions (BibTex)
Justin E. Gottschlich and Daniel A. Connors
[ACM Workshop on Exploiting Parallelism with Transactional Memory and other Hardware Assisted Methods (EPHAM). In conjunction with CGO. April 2008]

[ 2007 ]

DracoSTM: A Practical C++ Approach to Software Transactional Memory (BibTex) (52% acceptance, 11/21)
Justin E. Gottschlich and Daniel A. Connors
[ACM SIGPLAN Symposium on Library-Centric Software Design (LCSD). In conjunction with OOPSLA. October 2007]

Theses

Invalidating Transactions: Optimizations, Theory, Guarantees, and Unification
Justin E. Gottschlich
[Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Colorado-Boulder, January 2011]

Exploration of Lock-Based Software Transactional Memory
Justin E. Gottschlich
[M.S. Thesis, Department of Electrical and Computer Engineering, University of Colorado-Boulder, October 2007]

Technical Reports

An Intentional Library Approach to Lock-Aware Transactional Memory
Justin E. Gottschlich, Daniel A. Connors, Dwight Y. Winkler, Jeremy G. Siek and Manish Vachharajani
[Technical Report CU-CS 1048-08, October 2008]

A Consistency Checking Optimization Algorithm for Memory-Intensive Transactions
Justin E. Gottschlich, Daniel A. Connors and Jeremy G. Siek
[Technical Report CU-CS 1049-08, October 2008]