Current

• MEDITA: Multi-layer Enterprise-wide Dynamic Information-flow Tracking & Assurance.
  National Science Foundation Award CCF-0964647, Software Engineering and Formal Methods Program.
  June 2010 - May 2013.
  


• BERT: BEhavioral Regression Testing.
  Microsoft Research Software Engineering Innovation Foundation Award.
  June 2010 - July 2011.
  


• Designing Tests for Evolving Software (supplement).
  National Science Foundation Award CCF-0725202, Science of Design Program.
  May 2010 - December 2010.
  


• CADeT: Context-Aware Development and Testing.
  2009 IBM Research Faculty Award.
  


• Automated Debugging Techniques for Modern Software Systems.
  National Science Foundation Award CCF-0916605, Software Engineering and Formal Methods Program.
  July 2009 - June 2012.
  


• Designing Tests for Evolving Software.
  National Science Foundation Award CCF-0725202, Science of Design Program.
  January 2008 - December 2010.
  

Past

• Software and Hardware Support for Efficient Monitoring of Program Behavior.
  National Science Foundation Award CCF-054108, Computing Processes and Artifacts Program.
  September 2006 - August 2009.


• DejaVOO: Cost-Effective Regression Testing of Java Software.
  2005 IBM Eclipse Innovation Grants Faculty Award.


• Preventing SQL Code Injection by Combining Static and Runtime Analysis.
  Department of Homeland Security Contract FA8750-05-2-0214, HSARPA CSRD Program.
  May 2005 - October 2007.