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.
|PLDI 2021|| Demanded Abstract Interpretation|
Sponsorship in Organizing Committee
|Show activities from other conferences|
View general profile