Guannan Wei

According to our database, Guannan Wei authored at least 15 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.

Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., January, 2024

2023

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., October, 2023

Graph IRs for Impure Higher-Order Languages (Technical Report).

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

CoRR, 2023

Modeling Reachability Types with Logical Relations.

Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf

CoRR, 2023

Compiling Parallel Symbolic Execution with Continuations.

Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact).

Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf

Dagstuhl Artifacts Ser., 2022

What If We Don't Pop the Stack? The Return of 2nd-Class Values.

Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Reachability types: tracking aliasing and separation in higher-order functional programs.

Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf

Proc. ACM Program. Lang., 2021

LLSC: a parallel symbolic execution compiler for LLVM IR.

Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Compiling symbolic execution with staging and algebraic effects.

Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf

Proc. ACM Program. Lang., 2020

2019

BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation.

Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, Xiangyu Zhang

Proc. ACM Program. Lang., 2019

Staged abstract interpreters: fast and modular whole-program analysis via meta-programming.

Guannan Wei, Yuxuan Chen, Tiark Rompf

Proc. ACM Program. Lang., 2019

Precise reasoning with structured time, structured heaps, and collective operations.

Grégory M. Essertel, Guannan Wei, Tiark Rompf

Proc. ACM Program. Lang., 2019

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.

Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf

CoRR, 2019

2018

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl).

Guannan Wei, James M. Decker, Tiark Rompf

Proc. ACM Program. Lang., 2018