Guannan Wei -

Registered user since Sat 2 Jun 2018

Name:Guannan Wei

Country:United States

Affiliation:Purdue University

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

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