Tom Bergan -

Not registered as user yet

Name:Tom Bergan

Affiliation:University of Washington

Contributions

SPLASH 2014	Author of Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts within the OOPSLA-track
SPLASH 2013	Author of Input-Covering Schedules for Multithreaded Programs within the OOPSLA-track