Registered user since Wed 25 Jun 2014
I’m an associate professor at the University of California, Riverside. Previously I worked at IBM Research, Samsung Research, and Uber. My research focuses on developing tools and techniques to make large-scale software more reliable, performant, secure, and maintainable. For more details, see my homepage.
|ESEC/FSE 2021||Lightweight and Modular Resource Leak Verification|
|Show activities from other conferences|