Guannan Wei

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Abstract Interpretation

Static Analysis

Lambda Calculus

Symbolic Execution

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

ESEC/SIGSOFT FSE

Publications

Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking. CoRR (2024)
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang
Consolidating Smart Contracts with Behavioral Contracts. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages (Technical Report). CoRR (2023)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
Compiling Parallel Symbolic Execution with Continuations. ICSE (2023)
Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf
Modeling Reachability Types with Logical Relations. CoRR (2023)
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. CoRR (2023)
Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
What If We Don't Pop the Stack? The Return of 2nd-Class Values. ECOOP (2022)
Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf
LLSC: a parallel symbolic execution compiler for LLVM IR. ESEC/SIGSOFT FSE (2021)
Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf
Reachability types: tracking aliasing and separation in higher-order functional programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf
Compiling symbolic execution with staging and algebraic effects. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Guannan Wei, Yuxuan Chen, Tiark Rompf
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, Xiangyu Zhang
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Grégory M. Essertel, Guannan Wei, Tiark Rompf
Precise reasoning with structured time, structured heaps, and collective operations. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers. CoRR (2019)
Guannan Wei, James M. Decker, Tiark Rompf
Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl). Proc. ACM Program. Lang. 2 (ICFP) (2018)