Tom Bergan

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Failure Recovery

Symbolic Execution

Fault Tolerance

Agent Based Systems

Top Venues

J. Comput. Sci. Technol.

Publications

Kai Lu, Xu Zhou, Xiaoping Wang, Tom Bergan, Chen Chen
An Efficient and Flexible Deterministic Framework for Multithreaded Programs. J. Comput. Sci. Technol. 30 (1) (2015)
Kai Lu, Xu Zhou, Tom Bergan, Xiaoping Wang
Efficient deterministic multithreading without global barriers. PPOPP (2014)
Tom Bergan, Dan Grossman, Luis Ceze
Symbolic execution of multithreaded programs from arbitrary program contexts. OOPSLA (2014)
Nicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble
DDOS: taming nondeterminism in distributed systems. ASPLOS (2013)
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Madan Musuvathi, Zheng Zhang, Lidong Zhou
Failure Recovery: When the Cure Is Worse Than the Disease. HotOS (2013)
Tom Bergan, Luis Ceze, Dan Grossman
Input-covering schedules for multithreaded programs. OOPSLA (2013)
Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman
RCDC: a relaxed consistency deterministic computer. ASPLOS (2011)
Tom Bergan, Nicholas Hunt, Luis Ceze, Steven D. Gribble
Deterministic Process Groups in dOS. OSDI (2010)
Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman
CoreDet: a compiler and runtime system for deterministic multithreaded execution. ASPLOS (2010)
Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler
Xoc, an extension-oriented compiler for systems programming. ASPLOS (2008)