conf.researchr.org / Guannan Wei
Registered user since Sat 2 Jun 2018
Name:Guannan Wei
Country:United States
Affiliation:Purdue University
Personal website: https://continuation.passing.style
X (Twitter): https://x.com/GuannanWei
GitHub: https://github.com/Kraks
Research interests:Programming Languages, Types and Effects, Program Analysis, Metaprogramming, Compilers, Program Testing
Contributions
2024
2023
ICSE
2022
2021
SPLASH
- 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
ESEC/FSE
2020
SPLASH
2019
SPLASH
- 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