Registered user since Thu 5 May 2016
I am a professor with the Manning College of Information and Computer Sciences at the University of Massachusetts. My research interests include software fairness, software self-repair, and formal verification. I received my PhD from the University of Southern California, and was a postdoc at the University of Washington. I am a recipient of the NSF CAREER Award, the SEAMS Most Influential (test of time) Paper Award, the IEEE Computer Society TCSE New Directions Award, the IEEE TCSC Young Achiever in Scalable Computing Award, five Best and Distinguished Paper Awards, a Google Inclusion Research Award and a Google Faculty Research Award, an Amazon Research Award, and a Microsoft Research Software Engineering Innovation Foundation Award. Learn about my most recent work here: https://www.youtube.com/embed/6M2Y3EG4fik
Contributions
2025
2024
2023
ESEC/FSE
- Author of Breakout groups on "Proposal writing", "Picking research problems and promoting your work", and "Working with students, Building your research team" within the New Faculty Symposium-track
- Author of Picking research problems and promoting your work within the New Faculty Symposium-track
- Author of Baldur: Whole-Proof Generation and Repair with Large Language Models within the Research Papers-track
- Author of Balancing the job: Work-life balance and research-teaching-service balance within the New Faculty Symposium-track
- Panelist in Program Committee within the New Faculty Symposium-track
- Author of Breakout groups on "Research productivity" and "Balancing the job: Work-life balance and research-teaching-service balance" within the New Faculty Symposium-track
ICSE
- Author of Seldonian Toolkit: Building Software with Safe and Fair Machine Learning within the DEMO - Demonstrations-track
- Author of Understanding Why and Predicting When Developers Adhere to Code-Quality Standards within the SEIP - Software Engineering in Practice-track
- Author of Proofster: Automated Formal Verification within the DEMO - Demonstrations-track
- Author of Better Automatic Program Repair by Using Bug Reports and Tests Together within the Technical Track-track
- Author of Blindspots in Python and Java APIs Result in Vulnerable Code within the Journal-First Papers-track
- Author of A Replication of "Better Automatic Program Repair by Using Bug Reports and Tests Together" within the Artifact Evaluation-track
- Author of AVGUST: A Tool for Generating Usage-Based Tests from Videos of App Executions within the DEMO - Demonstrations-track
2022
ESEC/FSE
ICSE
- Author of Fairkit-learn: A fairness evaluation and comparison toolkit within the DEMO - Demonstrations-track
- Presenter of Publication practices (short talk + discussion) within the NFS - New Faculty Symposium-track
- Author of Diversity-Driven Automated Formal Verification within the Technical Track-track
- Workshops Co-Chair in Organizing Committee
2020
ESEC/FSE
ICSE
- Author of Visualizing distributed system executions within the Journal First-track
- Programme Committee in Program Committee within the Technical Papers-track
- Author of Causal Testing: Understanding Defects' Root Causes within the Technical Papers-track
- Author of Yuriy Brun within the New Faculty Symposium-track
International Conference on Software Engineering for Adaptive and Self-Managing Systems
International Conference on Global Software Engineering
2019
2018
ESEC/FSE
- Committee Member in Program Committee within the Research Papers-track
- Author of Themis: Automatically Testing Software for Discrimination within the Demonstrations-track
- Committee Member in Program Committee within the New Ideas and Emerging Results-track
- Author of Software Fairness within the New Ideas and Emerging Results-track
ICSE
- Author of Poster T21: Making Well-Informed Software Design Decisions within the Posters -track
- Session Chair of Friday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) (part of Posters )
- Session Chair of Thursday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) (part of Posters )
- Session Chair of Wednesday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) (part of Posters )
- Committee Member in Program committee within the Technical Papers -track
- Program Chair in Posters Program Committee within the Posters -track
- Poster Chair in Organizing committee
- Author of Do Automated Program Repair Techniques Repair Hard and Important Bugs? within the Journal first papers-track