Travelled to:
1 × USA
Collaborated with:
M.Das J.Renau
Talks about:
unsynchron (1) overhead (1) communic (1) section (1) program (1) analysi (1) thread (1) detect (1) reduc (1) base (1)
Person: Gabriel Southern
DBLP: Southern:Gabriel
Contributed to:
Wrote 1 papers:
- PPoPP-2015-DasSR #communication #concurrent #detection #program analysis #thread
- Section based program analysis to reduce overhead of detecting unsynchronized thread communication (MD, GS, JR), pp. 283–284.