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: Bergan:Tom
Contributed to:
2014
2014
2013201320112010
20102008Wrote 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.