paragraph in intro about why automated debugging is going to be important
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 22 Jul 2010 21:33:10 +0000 (17:33 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 22 Jul 2010 21:33:10 +0000 (17:33 -0400)
paper/dfopt.tex

index ad47ca2..8c901e2 100644 (file)
@@ -735,6 +735,20 @@ For~this reason, for safety's sake, transformations must be
 \hoopl~manages speculation on the client's behalf (\secref{speculative-transform}). 
 }
 
+\paragraph{Debugging faulty optimizers.}
+\newtext{
+While it is wonderful to be able to implement complex optimizations by
+composing very simple analyses or transformations,
+it~necessarily follows that very simple analyses or transformations,
+when composed, can exhibit complex emergent behavior.
+Such behavior is not easily predicted, so it is essential to have good
+tools for debugging~it.
+\hoopl's primary debugging tool is an implementation of
+Whalley's \citeyearpar{whalley:isolation} technique for
+isolating faults (\secref{whalley-from-s2}).\remark{Perhaps say more
+about the implementation here?}
+}
+
 
 
 \section{Representing control-flow graphs} \seclabel{graph-rep}