Tom Bergan

According to our database1, Tom Bergan authored at least 10 papers between 2008 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
An Efficient and Flexible Deterministic Framework for Multithreaded Programs.
J. Comput. Sci. Technol., 2015

2014
Efficient deterministic multithreading without global barriers.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Symbolic execution of multithreaded programs from arbitrary program contexts.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
Input-covering schedules for multithreaded programs.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Failure Recovery: When the Cure Is Worse Than the Disease.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

DDOS: taming nondeterminism in distributed systems.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2011
RCDC: a relaxed consistency deterministic computer.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Deterministic Process Groups in dOS.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

CoreDet: a compiler and runtime system for deterministic multithreaded execution.
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2008
Xoc, an extension-oriented compiler for systems programming.
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008


  Loading...