Collaborated with:
A.Tzannes L.Eloussi M.Vakilian V.S.Adve M.Han
Talks about:
parallel (1) region (1) effect (1) infer (1) safe (1)
Person: Stephen T. Heumann
DBLP: Heumann:Stephen_T=
Contributed to:
Wrote 1 papers:
- ASE-2015-TzannesHEVAH #parallel
- Region and Effect Inference for Safe Parallelism (T) (AT, STH, LE, MV, VSA, MH), pp. 512–523.