Registered user since Sat 2 Jun 2018
Name:Guannan Wei
Affiliation:Purdue University
Contributions
2019
SPLASH
- Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
- Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
- Staged Abstract Interpreters
SPLASH 2019-profile
View general profile
View general profile