Dror Zernik, Larry Rudolph
ACM SIGPLAN Notices
Paper
On-the-Fly Topological Sort—a Basis for Interactive Debugging and Live Visualization of Parallel Programs
Related
Dror Zernik, Larry Rudolph
WPADD 1991
Conference paper
Programming with angelic nondeterminism
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Dror Zernik, Marc Snir, et al.
IEEE Software