Guannan Wei

机构：Tufts University · ORCID：0000-0002-3150-2033

发表论文 67 篇 · 总被引 2370 次 · h-index 23

代表论文

BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation (2019 · Proceedings of the ACM on Programming Languages · 被引 26)
Reachability types: tracking aliasing and separation in higher-order functional programs (2021 · Proceedings of the ACM on Programming Languages · 被引 19)
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (2024 · Proceedings of the ACM on Programming Languages · 被引 12)
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies (2023 · Proceedings of the ACM on Programming Languages · 被引 12)
Compiling Parallel Symbolic Execution with Continuations (2023 · 被引 12)
Compiling symbolic execution with staging and algebraic effects (2020 · Proceedings of the ACM on Programming Languages · 被引 11)