Guannan Wei

Registered user since Sat 2 Jun 2018

Name:Guannan Wei
Country:United States
Affiliation:Purdue University

Contributions

VMIL 2021 Committee Member in Program Committee within the VMIL 2021-track
SPLASH 2021 Author of Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs within the OOPSLA-track
Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the SIGPLAN Papers-track
PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ESEC/FSE 2021 Author of LLSC: A Parallel Symbolic Execution Compiler for LLVM IR within the Demonstrations-track
ISSTA 2021 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
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