Address: 3330 Walnut St, Philadelphia, PA 19104
Office Hours: book an appointment
[Curriculum Vitae] [YouTube Channel]
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.
- Teaching CIS 700: Software Analysis and Testing in Fall 2018 (MW 1:30-3:00). Penn students at all levels are welcome!
- Speaking at the SPLASH 2018 Programming Languages Mentoring Workshop (PLMW).
- Paper on syntax-guided synthesis of Datalog programs to appear at FSE 2018.
- Paper on differentiable Datalog for program analysis to appear at ML4P 2018.
- Paper on user-guided program reasoning via Bayesian inference to appear at PLDI 2018.
- Paper on probabilistic model guided program synthesis to appear at PLDI 2018.
- Penn team awarded grant by ONR for project ASPIRE to reduce software complexity.
- Website rightingcode.org launched for course on Software Analysis and Testing.
- Invited talk on maximum satisfiability in program analysis at VMCAI 2018 and CAV 2017.
- Distinguished lecture on finding bugs using machine learning at Iowa State University.
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: