Stephen Heumann

According to our database, Stephen Heumann authored at least 8 papers between 2009 and 2019.

Collaborative distances:

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

2019

Region and effect inference for safe parallelism.

Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han

Autom. Softw. Eng., 2019

2016

The tasks with effects model for safe concurrency

Stephen T. Heumann

PhD thesis, 2016

2015

Region and Effect Inference for Safe Parallelism (T).

Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Scalable Task Scheduling and Synchronization Using Hierarchical Effects.

Stephen T. Heumann, Alexandros Tzannes, Vikram S. Adve

Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2013

The tasks with effects model for safe concurrency.

Stephen Heumann, Vikram S. Adve, Shengjie Wang

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

2012

Disciplined Concurrent Programming Using Tasks with Effects.

Stephen Heumann, Vikram S. Adve

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

2011

Safe nondeterminism in a deterministic-by-default parallel language.

Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2009

A type and effect system for deterministic parallel Java.

Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009