主要研究方向为程序设计语言与软件工程，其研究重点在于程序分析与机器学习的交叉领域。一方面，他利用机器学习技术提高程序分析的可用性，提出了概率与逻辑相结合的程序分析、自适应性程序分析、基于用户反馈的程序分析等；另一方面，他开发了针对机器学习系统的程序分析和语言，在机器学习系统的公平性、可解释性问题上都有所创新。曾获FSE 2015杰出论文奖，PLDI 2014杰出论文奖。