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 (OOPSLA, 2009)

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 (POPL, 2011)

Disciplined Concurrent Programming Using Tasks with Effects. - Stephen Heumann; Vikram S. Adve (HotPar, 2012)

The tasks with effects model for safe concurrency. - Stephen Heumann; Vikram S. Adve; Shengjie Wang (PPoPP, 2013)

Scalable Task Scheduling and Synchronization Using Hierarchical Effects. - Stephen T. Heumann; Alexandros Tzannes; Vikram S. Adve (PACT, 2015)

Region and Effect Inference for Safe Parallelism (T). - Alexandros Tzannes; Stephen T. Heumann; Lamyaa Eloussi; Mohsen Vakilian; Vikram S. Adve; Michael Han 003 (ASE, 2015)

The tasks with effects model for safe concurrency - Stephen T. Heumann (2016)

Region and effect inference for safe parallelism. - Alexandros Tzannes; Stephen T. Heumann; Lamyaa Eloussi; Mohsen Vakilian; Vikram S. Adve; Michael Han 003 (Autom. Softw. Eng., 2019)