University of California, Riverside — United States
Computer Science · Physical Sciences
33h-index4.4kcitations117works1.32yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(41), Software Engineering Research(29), Parallel Computing and Optimization Techniques(24), Logic, programming, and type systems(24), Security and Verification in Computing(21)
Publications116 total
arXiv (Cornell University)·2025Open Access
Proceedings of the ACM on software engineering.·2025Open Access
2025· 1 cited
International Journal on Software Tools for Technology Transfer·2025· 2 cited
Journal of Innovative Image Processing·2024Open Access
ACM Transactions on Programming Languages and Systems·2024· 5 citedOpen Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2024· 1 citedOpen Access
2023· 3 citedOpen Access
Proceedings of the ACM on Programming Languages·2023· 2 citedOpen Access
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
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
arXiv (Cornell University)·2023Open Access
IEEE Transactions on NanoBioscience·2022· 9 citedOpen Access
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
page 1 of 6Next →
Frequent Co-authors
Stephen J. Fink(9), Julian Dolby(9), Frank Tip(9), Max Schäfer(7), Rastislav Bodík(6), Satish Chandra(6), Jong-Deok Choi(5), Martin Vechev(5), Satish Chandra(4), Keun‐Woo Lee(3), А. А. Логинов(3), Robert O'Callahan(3), Vivek Sarkar(3), Omer Tripp(3), Marco Pistoia(3), Bor-Yuh Evan Chang(3), Ilya Shlyakhter(3), Veselin Raychev(3), Koushik Sen(3), Cole Schlesinger(3)