Stephen Heumann

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Computational Models

Concurrent Programming

Probability Distribution

Top Venues

Publications

Stephen Heumann, Vikram S. Adve, Shengjie Wang
The tasks with effects model for safe concurrency. PPOPP (2013)
Stephen Heumann, Vikram S. Adve
Disciplined Concurrent Programming Using Tasks with Effects. HotPar (2012)
Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman
Safe nondeterminism in a deterministic-by-default parallel language. POPL (2011)
Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian
A type and effect system for deterministic parallel Java. OOPSLA (2009)