Guannan Wei

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