Publications

• Representation dependence testing using program inversion (FSE 2010)
  
• Generating and analyzing symbolic traces of Simulink/Stateflow models (CAV 2009)
  
• Validation of GCC optimizers through trace generation (Journal: SPE 2009)
  
• Symbolic analysis for improving simulation coverage of Simulink/Stateflow models (EMSOFT 2008) Best paper award
  
• Ranking automata and games for prioritized requirements (CAV 2008)
  
• Structuring optimizing transformations and proving them sound (ENTCS 2007)
  
• A PVS based framework for validating compiler optimizations (SEFM 2006)
  
• Heterogeneous fixed points with application to points-to analysis (APLAS 2005)
  
• SPOTS: A system for proving optimizing transformations sound (PhD thesis)
• Down-toad-den: A series of unfortunate events (Hornbill 2006)