Scholar
Ankush Desai
Google Scholar ID: i5s4Ie8AAAAJ
Principal Applied Scientist, Amazon Web Services
Programming Languages
Concurrency
Distributed Systems
Robotics
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,035
H-index
13
i10-index
14
Publications
20
Co-authors
31
list available
Publications
1 items
Trace-Guided Synthesis of Effectful Test Generators
2026
Cited
0
Co-authors
12 total
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Shaz Qadeer
Microsoft
Natarajan Shankar
SRI International Computer Science Laboratory
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
David Broman
Professor, KTH Royal Institute of Technology
Pranav Garg
Amazon
Madhusudan Parthasarathy
Professor of Computer Science, University of Illinois at Urbana-Champaign
Hazem Torfah
Assistant Professor, CSE, Chalmers University of Technology
