University of Washington — United States
Computer Science · Physical Sciences
72h-index21.5kcitations345works1.12yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Engineering Research(138), Software Testing and Debugging Techniques(137), Software Reliability and Analysis Research(76), Logic, programming, and type systems(67), Security and Verification in Computing(47)
Publications342 total
ACM Transactions on Software Engineering and Methodology·2025
arXiv (Cornell University)·2025Open Access
Proceedings of the ACM on software engineering.·2025· 3 cited
ACM Transactions on Software Engineering and Methodology·2025Open Access
arXiv (Cornell University)·2025Open Access
International Journal on Software Tools for Technology Transfer·2025· 2 cited
ACM Transactions on Software Engineering and Methodology·2025· 2 citedOpen Access
2024
2024Open Access
2024· 1 citedOpen Access
2024· 8 citedOpen Access
arXiv (Cornell University)·2024Open Access
The Journal of Urology·2024
Proceedings of the ACM on Programming Languages·2023· 2 citedOpen Access
2023· 3 cited
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
Zenodo (CERN European Organization for Nuclear Research)·2023· 1 citedOpen Access
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
page 1 of 18Next →
Frequent Co-authors
David Notkin(7), Jeff Perkins(5), Carlos Pacheco(5), Philip J. Guo(4), Yuriy Brun(4), René Just(3), Darioush Jalali(3), Stephen McCamant(3), William G. Griswold(3), Adam Kieżun(3), Shay Artzi(3), Danny Dig(3), David Saff(3), Matthew S. Tschantz(2), Jake Cockrell(2), Lilian Burdy(2), Yoonsik Cheon(2), David R. Cok(2), Gary T. Leavens(2), Erik Poll(2)