Address: 3330 Walnut St, Philadelphia, PA 19104
[Curriculum Vitae] [YouTube Channel]
- Website rightingcode.org launched for course on Software Analysis and Testing.
- Penn awarded $6 million by ONR for project ASPIRE to reduce software complexity.
- Invited tutorial talk on maximum satisfiability in program analysis at VMCAI 2018.
- Distinguished lecture on finding bugs using machine learning at Iowa State University.
- Paper on interactive resolution of static analysis alarms at OOPSLA 2017.
- Invited tutorial talk on maximum satisfiability in software analysis at CAV 2017.
- Paper on combining logical and probabilistic program reasoning at MAPL 2017.
I'm an Associate Professor of Computer and Information Science at the University of Pennsylvania, where I also participate in the PL Club and the PRECISE Center. I received a Ph.D. in Computer Science from Stanford University in 2008. I was a researcher at Intel Labs, Berkeley from 2008 to 2011, and an Assistant Professor of Computer Science at Georgia Tech from 2011 to 2016.
I created the first large-scale online course (MOOC) on Software Analysis and Testing. All course material is available at rightingcode.org. Lectures with assessments are available on Udacity. Autograding scripts for the labs are available to instructors upon request.
I teach the following courses at Penn: