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
2023
ICSE
- Seldonian Toolkit: Building Software with Safe and Fair Machine Learning
- Understanding Why and Predicting When Developers Adhere to Code-Quality Standards
- Proofster: Automated Formal Verification
- Better Automatic Program Repair by Using Bug Reports and Tests Together
- Blindspots in Python and Java APIs Result in Vulnerable Code
- A Replication of "Better Automatic Program Repair by Using Bug Reports and Tests Together"
- AVGUST: A Tool for Generating Usage-Based Tests from Videos of App Executions
View general profile