From: pronesto@gmail.com   
      
   Hi Russ, that's very interesting. You should consider submitting a report of   
   the technique to CGO! The next deadline is on the 19th, but then there will be   
   another deadline on September 1st.   
      
   As for a related work, see John Regehr's research on test case reduction for   
   compilers [1].   
      
   [1] John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun   
   Yang:   
   Test-case reduction for C compiler bugs. PLDI 2012: 335-346   
      
   Regards,   
      
   Fernando   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)