Personal information

Biography

Postdoc Researcher at INRIA/ENS-PSL
Visiting assistant professor at Tufts University

Activities

Works (13)

Consolidating Smart Contracts with Behavioral Contracts

Proceedings of the ACM on Programming Languages
2024-06-20 | Journal article
Contributors: Guannan Wei; Danning Xie; Wuqi Zhang; Yongwei Yuan; Zhuo Zhang
Source: check_circle
Crossref

ParDiff: Practical Static Differential Analysis of Network Protocol Parsers

Proceedings of the ACM on Programming Languages
2024-04-29 | Journal article
Contributors: Mingwei Zheng; Qingkai Shi; Xuwei Liu; Xiangzhe Xu; Le Yu; Congyu Liu; Guannan Wei; Xiangyu Zhang
Source: check_circle
Crossref

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

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: Guannan Wei; Oliver Bračevac; Songlin Jia; Yuyan Bao; Tiark Rompf
Source: check_circle
Crossref

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

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
Contributors: Oliver Bračevac; Guannan Wei; Songlin Jia; Supun Abeysinghe; Yuxuan Jiang; Yuyan Bao; Tiark Rompf
Source: check_circle
Crossref

Compiling Parallel Symbolic Execution with Continuations

2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
2023-05 | Conference paper
Contributors: Guannan Wei; Songlin Jia; Ruiqi Gao; Haotian Deng; Shangyin Tan; Oliver Bračevac; Tiark Rompf
Source: Self-asserted source
Guannan Wei

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

Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022 | Conference paper
Contributors: Anxhelo Xhebraj; Oliver Bračevac; Guannan Wei; Tiark Rompf
Source: Self-asserted source
Guannan Wei

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

Proceedings of the ACM on Programming Languages
2021-10-20 | Journal article
Part of ISSN: 2475-1421
Contributors: Yuyan Bao; Guannan Wei; Oliver Bračevac; Yuxuan Jiang; Qiyang He; Tiark Rompf
Source: Self-asserted source
Guannan Wei

LLSC: a parallel symbolic execution compiler for LLVM IR

Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2021-08-20 | Conference paper
Contributors: Guannan Wei; Shangyin Tan; Oliver Bračevac; Tiark Rompf
Source: Self-asserted source
Guannan Wei

Compiling symbolic execution with staging and algebraic effects

Proceedings of the ACM on Programming Languages
2020-11-13 | Journal article
Part of ISSN: 2475-1421
Contributors: Guannan Wei; Oliver Bračevac; Shangyin Tan; Tiark Rompf
Source: Self-asserted source
Guannan Wei

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

Proceedings of the ACM on Programming Languages
2019-10-10 | Journal article
Part of ISSN: 2475-1421
Contributors: Zhuo Zhang; Wei You; Guanhong Tao; Guannan Wei; Yonghwi Kwon; Xiangyu Zhang
Source: Self-asserted source
Guannan Wei

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

Proceedings of the ACM on Programming Languages
2019-10-10 | Journal article
Part of ISSN: 2475-1421
Contributors: Grégory M. Essertel; Guannan Wei; Tiark Rompf
Source: Self-asserted source
Guannan Wei

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

Proceedings of the ACM on Programming Languages
2019-10-10 | Journal article
Part of ISSN: 2475-1421
Contributors: Guannan Wei; Yuxuan Chen; Tiark Rompf
Source: Self-asserted source
Guannan Wei

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

Proceedings of the ACM on Programming Languages
2018-07-30 | Journal article
Part of ISSN: 2475-1421
Contributors: Guannan Wei; James Decker; Tiark Rompf
Source: Self-asserted source
Guannan Wei