2024 Amazon Research Award
Automated Synthesis and Evaluation of Property-Based Tests
Research topic
Automated reasoning
2021 Amazon Research Award
“Coverage-guided property-based testing of concurrent programs”
