My research group gratefully acknowledges support from DARPA, NSF, ONR, Google, Microsoft, MIT Lincoln Lab, and Samsung. The findings and views expressed in our work are our own and do not necessarily reflect those of our sponsors.




  • An AI-based System for Continuously Discovering Software Bugs
    2018-2019

  • 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