Guannan Wei -

Registered user since Sat 2 Jun 2018

Name: Guannan Wei

Affiliation: Purdue University

Personal website: https://continuation.passing.style

Contributions

SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the OOPSLA-track
ICFP 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
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