Xoc, an extension-oriented compiler for systems programming. - Russ Cox; Tom Bergan; Austin T. Clements; M. Frans Kaashoek; Eddie Kohler (ASPLOS, 2008)

CoreDet: a compiler and runtime system for deterministic multithreaded execution. - Tom Bergan; Owen Anderson; Joseph Devietti; Luis Ceze; Dan Grossman (ASPLOS, 2010)

Deterministic Process Groups in dOS. - Tom Bergan; Nicholas Hunt; Luis Ceze; Steven D. Gribble (OSDI, 2010)

RCDC: a relaxed consistency deterministic computer. - Joseph Devietti; Jacob Nelson 001; Tom Bergan; Luis Ceze; Dan Grossman (ASPLOS, 2011)

DDOS: taming nondeterminism in distributed systems. - Nicholas Hunt; Tom Bergan; Luis Ceze; Steven D. Gribble (ASPLOS, 2013)

Failure Recovery: When the Cure Is Worse Than the Disease. - Zhenyu Guo; Sean McDirmid; Mao Yang 004; Li Zhuang; Pu Zhang; Yingwei Luo; Tom Bergan; Madan Musuvathi; Zheng Zhang 001; Lidong Zhou (HotOS, 2013)

Input-covering schedules for multithreaded programs. - Tom Bergan; Luis Ceze; Dan Grossman (OOPSLA, 2013)

Symbolic execution of multithreaded programs from arbitrary program contexts. - Tom Bergan; Dan Grossman; Luis Ceze (OOPSLA, 2014)

Efficient deterministic multithreading without global barriers. - Kai Lu 001; Xu Zhou 004; Tom Bergan; Xiaoping Wang (PPoPP, 2014)

An Efficient and Flexible Deterministic Framework for Multithreaded Programs. - Kai Lu 001; Xu Zhou 004; Xiaoping Wang; Tom Bergan; Chen Chen 016 (J. Comput. Sci. Technol., 2015)