Travelled to:1 × China
2 × USA
Collaborated with:V.S.Adve S.Wang R.L.B.Jr. S.V.Adve N.Honarmand A.Welc T.Shpeisman D.Dig R.Komuravelli J.Overbey P.Simmons H.Sung M.Vakilian
Talks about:determinist (2) parallel (2) effect (2) safe (2) nondetermin (1) languag (1) default (1) concurr (1) system (1) model (1)
Person: Stephen Heumann
DBLP: Heumann:Stephen
Contributed to:
2013
2011
2009Wrote 3 papers:
- PPoPP-2013-HeumannAW #concurrent
- The tasks with effects model for safe concurrency (SH, VSA, SW), pp. 239–250.
- POPL-2011-BocchinoHHAAWS #nondeterminism #parallel
- Safe nondeterminism in a deterministic-by-default parallel language (RLBJ, SH, NH, SVA, VSA, AW, TS), pp. 535–548.
- OOPSLA-2009-BocchinoADAHKOSSV #java #parallel
- A type and effect system for deterministic parallel Java (RLBJ, VSA, DD, SVA, SH, RK, JO, PS, HS, MV), pp. 97–116.