Следене
Guannan Wei
Guannan Wei
Потвърден имейл адрес: purdue.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation
Z Zhang, W You, G Tao, G Wei, Y Kwon, X Zhang
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-31, 2019
262019
Staged abstract interpreters: Fast and modular whole-program analysis via meta-programming
G Wei, Y Chen, T Rompf
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-32, 2019
192019
Reachability types: tracking aliasing and separation in higher-order functional programs
Y Bao, G Wei, O Bračevac, Y Jiang, Q He, T Rompf
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021
182021
Sentiment Diffusion of Public Opinions about Hot Events: Based on Complex Network
X Hao, H An, L Zhang, H Li, G Wei
PlOS ONE 10 (10), e0140027, 2015
172015
Compiling Symbolic Execution with Staging and Algebraic Effects
G Wei, O Bračevac, S Tan, T Rompf
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-33, 2020
152020
Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)
G Wei, J Decker, T Rompf
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-28, 2018
122018
Graph neural reasoning for 2-quantified boolean formula solvers
Z Yang, F Wang, Z Chen, G Wei, T Rompf
arXiv preprint arXiv:1904.12084, 2019
112019
Compiling Parallel Symbolic Execution with Continuations
G Wei, S Jia, R Gao, H Deng, S Tan, O Bračevac, T Rompf
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
102023
Graph IRS for impure higher-order languages: making aggressive optimizations affordable with precise effect dependencies
O Bračevac, G Wei, S Jia, S Abeysinghe, Y Jiang, Y Bao, T Rompf
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 400-430, 2023
92023
Precise reasoning with structured time, structured heaps, and collective operations
GM Essertel, G Wei, T Rompf
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
92019
Polymorphic reachability types: Tracking freshness, aliasing, and separation in higher-order generic programs
G Wei, O Bračevac, S Jia, Y Bao, T Rompf
Proceedings of the ACM on Programming Languages 8 (POPL), 393-424, 2024
62024
LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
G Wei, S Tan, O Bračevac, T Rompf
Proceedings of The 29th ACM Joint European Software Engineering Conference …, 2021
62021
Graph IRS for impure higher-order languages (technical report)
O Bračevac, G Wei, S Jia, S Abeysinghe, Y Jiang, Y Bao, T Rompf
arXiv preprint arXiv:2309.08118, 2023
42023
What If We Don’t Pop the Stack? The Return of 2nd-Class Values
A Xhebraj, O Bračevac, G Wei, T Rompf
36th European Conference on Object-Oriented Programming (ECOOP 2022)., 2022
42022
Towards verified binary raising
J Hendrix, G Wei, S Winwood
Workshop on Instruction Set Architecture Specification (co-located with ITP …, 2019
32019
The 800 Pound Python in the Machine Learning Room
JM Decker, D Moldovan, G Wei, V Bhardwaj, G Essertel, F Wang, ...
22018
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
M ZHENG, Q SHI, X LIU, X XU, LE YU, C LIU, G WEI, X ZHANG
2024
Modeling Reachability Types with Logical Relations
Y Bao, G Wei, O Bračevac, T Rompf
arXiv preprint arXiv:2309.05885, 2023
2023
Metaprogramming Program Analyzers
G Wei
Purdue University, 2023
2023
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)
A Xhebraj, O Bračevac, G Wei, T Rompf
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022
2022
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20