conf.researchr.org / Guannan Wei
Registered user since Sat 2 Jun 2018
Name:Guannan Wei
Country:France
Affiliation:Inria/ENS; Tufts 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
2025
2024
SPLASH
- Author of Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN) within the OOPSLA 2024-track
- Author of ParDiff: Practical Static Differential Analysis of Network Protocol Parsers within the OOPSLA 2024-track
- Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
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