Address: 3330 Walnut St, Philadelphia, PA 19104
- I will be teaching CIS 700: Software Analysis and Testing in Fall 2017.
- I will be speaking at the Programming Languages Mentoring Workshop at SPLASH 2017.
- Submit papers to the FEAST 2017 workshop on Forming an Ecosystem Around Software Transformations.
- My course on Software Analysis and Testing is freely available on Udacity and online.
- [Aug'17] OOPSLA'17 paper on interactive resolution of static analysis alarms.
- [Jul'17] Tutorial talk on maximum satisfiability in software analysis at CAV 2017.
- [Apr'17] MAPL'17 paper on logical+probabilistic reasoning in program analysis.
- [Apr'17] Xin Zhang wins Georgia Tech's Outstanding Graduate Research Award.
- [Aug'16] OOPSLA'16 paper on using Big Code to accelerate program analyses.
- More news ...
My research spans all aspects of programming systems with the goal of improving software quality and programmer productivity. I am especially interested in advanced programming systems that effectively combine the power of humans, computers, and data.
- Maximum Satisfiability in Software Analysis: Applications and Techniques, CAV Invited Tutorial, July 2017.
- Programming Abstractions for Mobile-Cloud Computing. UT Austin and Princeton, Sep/Oct 2015.
- Petablox: Declarative Program Analysis for Big Code. UC Berkeley, Stanford, and Facebook, June 2015.
- Self-Adaptive Static Analysis. Workshop on Software Correctness and Reliability, ETH Zurich, October 2014.
- Large-Scale Configurable Static Analysis. State Of the Art in Java Program Analysis (SOAP'14), June 2014.
- Automated Testing of Mobile Apps. Challenges in Mobile Computing, November 2013.
- Datalog for Program Analysis: Beyond the Free Lunch. LogicBlox and MSR Cambridge, August 2013.
- Finding Optimal Program Abstractions. Dagstuhl Pointer Analysis Seminar, April 2013.
I am currently involved in the following projects:
- Petablox: declarative program analysis for Big Code
- Nichrome: solver for mixed hard and soft constraints
- CirrusCloud: a mobile-cloud computing platform
I have also contributed to the following projects:
- Prism: configurable program analysis
- Dynodroid: automated testing of smartphone apps
- Conchord: analysis of concurrent programs
- Chord: a program analysis platform for Java
- STAMP: static analysis of smartphone apps
- CloneCloud: cloud offloading for smartphone apps
- CalFuzzer: testing of concurrent programs
- CBI: the Cooperative Bug Isolation project
- SLAM: software model checking
Awards (also see my students' awards)National Awards:
- NSF CAREER Award, 2013
- Microsoft Software Engineering Innovation Foundation Award, 2012
- Google Faculty Research Award, 2011
- Microsoft Research Graduate Fellowship, 2004-05
- Distinguished Paper Award, FSE 2015
- Distinguished Paper Award, PLDI 2014
- Distinguished Artifact Award, FSE 2013
- Distinguished Paper Award, ICSE 2009
- Outstanding Junior Faculty Research Award, Georgia Tech, 2016
- Lockheed-Martin Dean's Award for Excellence in Teaching, Georgia Tech, 2015