Tom Bergan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2008–2014
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | OOPSLA | Symbolic execution of multithreaded programs from arbitrary program contexts. | Tom Bergan, Dan Grossman, Luis Ceze |
| 2014 | PPoPP | Efficient deterministic multithreading without global barriers. | Kai Lu, Xu Zhou, Tom Bergan, Xiaoping Wang |
| 2013 | ASPLOS | DDOS: taming nondeterminism in distributed systems. | Nicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble |
| 2013 | HotOS | Failure Recovery: When the Cure Is Worse Than the Disease. | Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Madan Musuvathi, Zheng Zhang, Lidong Zhou |
| 2013 | OOPSLA | Input-covering schedules for multithreaded programs. | Tom Bergan, Luis Ceze, Dan Grossman |
| 2011 | ASPLOS | RCDC: a relaxed consistency deterministic computer. | Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman |
| 2010 | ASPLOS | CoreDet: a compiler and runtime system for deterministic multithreaded execution. | Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman |
| 2010 | OSDI | Deterministic Process Groups in dOS. | Tom Bergan, Nicholas Hunt, Luis Ceze, Steven D. Gribble |
| 2008 | ASPLOS | Xoc, an extension-oriented compiler for systems programming. | Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler |