• Sign in
  • Sign up
conf.researchr.org / Guannan Wei
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • PLDI 2021 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
Guannan Wei

Registered user since Sat 2 Jun 2018

Name: Guannan Wei

Affiliation: Purdue University

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

Contributions

PLDI 2021 Committee Member in Artifact Evaluation Committee within the PLDI 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

Share
xThu 28 Jan 14:18
using conf.researchr.org (v1.40.2)
Support page
Sign Up