Ben Blum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2016
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | OOPSLA | Stateless model checking with data-race preemption points. | Ben Blum, Garth A. Gibson |
| 2013 | SOSP | 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 |
| 2003 | IJCAI | A Continuation Method for Nash Equilibria in Structured Games. | Ben Blum, Christian R. Shelton, Daphne Koller |