Ben Blum

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Ben Blum, Garth A. Gibson
Stateless model checking with data-race preemption points. OOPSLA (2016)
Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant
Parrot: a practical runtime for deterministic, stable, and reliable threads. SOSP (2013)
Ben Blum, Daphne Koller, Christian R. Shelton
A Continuation Method for Nash Equilibria in Structured Games CoRR (2011)
Ben Blum, Michael I. Jordan, David Kim, Rhiju Das, Philip Bradley, David Baker
Feature Selection Methods for Improving Protein Structure Prediction with Rosetta. NIPS (2007)
Ben Blum, Christian R. Shelton, Daphne Koller
A Continuation Method for Nash Equilibria in Structured Games. J. Artif. Intell. Res. 25 (2006)
Ben Blum, Christian R. Shelton, Daphne Koller
A Continuation Method for Nash Equilibria in Structured Games. IJCAI (2003)
Mark Steyvers, Joshua B. Tenenbaum, Eric-Jan Wagenmakers, Ben Blum
Inferring causal networks from observations and interventions. Cogn. Sci. 27 (3) (2003)