Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guannan Wei
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2019 profile
SPLASH 2019 profile
Registered user since Sat 2 Jun 2018
Name:
Guannan Wei
Affiliation:
Purdue University
Contributions
SPLASH 2019
Author of Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming within the OOPSLA-track
Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track
Author of Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations within the OOPSLA-track
Author of Staged Abstract Interpreters within the OOPSLA Artifacts-track
ICFP 2019
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2018
Author of Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl) within the Research Papers-track
Share
x
Fri 22 Nov 14:49
