Ben Blum

According to our database, Ben Blum authored at least 5 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Stateless model checking with data-race preemption points.

Ben Blum, Garth A. Gibson

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2013

Parrot: a practical runtime for deterministic, stable, and reliable threads.

Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

2007

Feature Selection Methods for Improving Protein Structure Prediction with Rosetta.

Ben Blum, Michael I. Jordan, David E. Kim, Rhiju Das, Philip Bradley, David Baker

Proceedings of the Advances in Neural Information Processing Systems 20, 2007

2006

A Continuation Method for Nash Equilibria in Structured Games.

Ben Blum, Christian R. Shelton, Daphne Koller

J. Artif. Intell. Res., 2006

2003

Inferring causal networks from observations and interventions.

Mark Steyvers, Joshua B. Tenenbaum, Eric-Jan Wagenmakers, Ben Blum

Cogn. Sci., 2003