Registered user since Sun 17 Oct 2021
Name:Haotian Deng
Affiliation:Purdue University
Contributions
| ICSE 2023 | Compiling Parallel Symbolic Execution with Continuations Compiling Parallel Symbolic Execution with Continuations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2023-profile
View general profile
View general profile