Zhang Earns CAREER Award |
|
Zhang's work focuses on dynamic program reasoning (DR). The technique compares multiple executions to efficiently identify similarities and differences across executions. These executions could be generated from the same program with slightly different inputs or from slightly different programs with the same input. Such similarities and differences provide a wealth of information for applications such as debugging and security. Zhang joined Purdue Computer Science in 2006 after he received his PhD from the University of Arizona. He earned his MS and BS from the University of Science and Technology of China. His research interests include fault localization, dynamic slicing, execution reduction, program matching, and data validation. Zhang is a member of the ACM and IEEE, and the 2006 recipient of the ACM SIGPLAN Outstanding Doctoral Dissertation Award. |
|
|
|