BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
7 × USA
Collaborated with:
L.Ceze D.Grossman N.Hunt S.D.Gribble J.Devietti K.Lu X.Zhou X.Wang J.Nelson O.Anderson R.Cox A.T.Clements M.F.Kaashoek E.Kohler
Talks about:
multithread (4) determinist (4) program (4) system (3) execut (2) compil (2) nondetermin (1) distribut (1) arbitrari (1) without (1)

Person: Tom Bergan

DBLP DBLP: Bergan:Tom

Contributed to:

OOPSLA 20142014
PPoPP 20142014
ASPLOS 20132013
OOPSLA 20132013
ASPLOS 20112011
ASPLOS 20102010
OSDI 20102010
ASPLOS 20082008

Wrote 8 papers:

OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread
Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
PPoPP-2014-LuZBW #multi #performance #thread
Efficient deterministic multithreading without global barriers (KL, XZ, TB, XW), pp. 287–300.
ASPLOS-2013-HuntBCG #distributed #named #nondeterminism
DDOS: taming nondeterminism in distributed systems (NH, TB, LC, SDG), pp. 499–508.
OOPSLA-2013-BerganCG #parallel #source code #thread
Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.
ASPLOS-2011-DeviettiNBCG #consistency #named
RCDC: a relaxed consistency deterministic computer (JD, JN, TB, LC, DG), pp. 67–78.
ASPLOS-2010-BerganADCG #compilation #execution #named #parallel #runtime #thread
CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
OSDI-2010-BerganHCG #process
Deterministic Process Groups in dOS (TB, NH, LC, SDG), pp. 177–191.
ASPLOS-2008-CoxBCKK #compilation #programming
Xoc, an extension-oriented compiler for systems programming (RC, TB, ATC, MFK, EK), pp. 244–254.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.