Conference paper
Programming with angelic nondeterminism
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Program visualization is an integral tool for developing and tuning runtime systems for scheduling nested parallel loops on both shared- and distributedmemory machines. Experiments with the PV visualization system shed light on the effectiveness of alternative algorithms and parameters.
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Wim De Pauw, Richard Helm, et al.
OOPSLA 1993
Guoqing Xu, Nick Mitchell, et al.
ACM TOSEM
Achille Fokoue, Aaron Kershenbaum, et al.
WDL 2006