My research group gratefully acknowledges support from AFRL, DARPA, NSF, ONR, and Facebook. The findings and views expressed in our work are our own and do not necessarily reflect those of our sponsors.

  • Drake: Signature-Guided Detection of Bugs and Vulnerabilities
    2019-2020





  • Enhancing Mobile App Quality via Program Analysis
    2011-2012

  • Automated Scalable Testing of Mobile Apps Using Z3
    2012-2013

  • VIVAS: Verification and Validation of Autonomous Systems
    2016-2017

  • Smart Offloading Algorithms and Profiling Techniques for Cloud Computing
    2012-2013