Guannan Wei -

Registered user since Sat 2 Jun 2018

Name:Guannan Wei

Country:United States

Affiliation:Purdue University

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

Twitter:https://twitter.com/GuannanWei

GitHub:https://github.com/Kraks

Research interests:Programming Languages, Types and Effects, Program Analysis, Metaprogramming, Compilers, Program Testing

Contributions

PLDI 2023	Author in Artifact Evaluation Committee within the Research Artifacts-track
ICSE 2023	Author of Compiling Parallel Symbolic Execution with Continuations within the Technical Track-track Author of Compiling Parallel Symbolic Execution with Continuations within the Artifact Evaluation-track
POPL 2023	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ECOOP 2022	Author of What If We Don’t Pop the Stack? The Return of Second-Class Values within the Research Papers-track
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
PEPM 2022	Author of Partially Evaluating Symbolic Interpreters for All within the PEPM 2022-track
SPLASH 2021	Author of Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs within the OOPSLA-track Author of Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs within the Posters-track Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the SIGPLAN Papers-track
VMIL 2021	Committee Member in Program Committee within the VMIL 2021-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
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-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