BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Heumann:Stephen

Contributed to:

PPoPP 20132013
POPL 20112011
OOPSLA 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.