![Guannan Wei](https://conf.researchr.org/getProfileImage/guannanwei/fae445e1-9f0f-42a6-bc3a-06810c7c3836/small.jpg?1711458763000)
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