Collaborated with:
A.Tzannes S.T.Heumann L.Eloussi M.Vakilian V.S.Adve
Talks about:
parallel (1) region (1) effect (1) infer (1) safe (1)
Person: Michael Han
DBLP: Han:Michael
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.