Registered user since Sat 2 Jun 2018
Name:Guannan Wei
Country:United States
Affiliation:Purdue University
Personal website:https://continuation.passing.style
Twitter:https://twitter.com/GuannanWei
GitHub:https://github.com/Kraks
Research interests:Programming Languages, Types and Effects, Program Analysis, Metaprogramming, Compilers, Program Testing
Contributions
| ICSE 2023 | Compiling Parallel Symbolic Execution with Continuations Compiling Parallel Symbolic Execution with Continuations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile