Conference paperOn-The-fly topological sort-A basis for interactive debugging and live visualization of parallel programsDoug Kimelman, Dror ZernikWPADD 1993
Conference paperAnimating work and time for debugging parallel programs foundation and experienceDror Zernik, Larry RudolphWPADD 1991
Conference paperDoes better throughput require worse latency?David Ungar, Doug Kimelman, et al.SPLASH 2012
Conference paperProgramming with angelic nondeterminismRastislav Bodik, Satish Chandra, et al.POPL 2010