Author: Courant Institute of Mathematical Sciences (Symposium on Debugging Techniques in Large Systems)