Conference paper
Programming with angelic nondeterminism
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Paper
On-the-Fly Topological Sort—a Basis for Interactive Debugging and Live Visualization of Parallel Programs
Abstract
No abstract available.
Related
Susan Flynn Hummel, Doug Kimelman, et al.
IEEE Concurrency
Susan Flynn Hummel, Doug Kimelman, et al.
IEEE Concurrency
Andrew P. Black, Theo D'Hondt, et al.
SPLASH 2012