
Registered user since Thu 17 Jul 2014
Name:Suresh Jagannathan
Country:United States
Affiliation:Purdue University
Personal website:https://www.cs.purdue.edu/homes/suresh/
Contributions
PLDI 2023 | Covering All the Bases: Type-based Verification of Test Input Generators | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile