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 | 29 | 2019 |
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 | 23 | 2021 |
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 | 22 | 2019 |
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 | 18 | 2015 |
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 | 16 | 2020 |
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 | 12 | 2023 |
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 | 12 | 2023 |
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 | 12 | 2019 |
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 | 12 | 2018 |
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 | 10 | 2024 |
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 | 10 | 2019 |
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 | 7 | 2021 |
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 | 5 | 2023 |
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 | 5 | 2022 |
Towards verified binary raising J Hendrix, G Wei, S Winwood Workshop on Instruction Set Architecture Specification (co-located with ITP …, 2019 | 4 | 2019 |
The 800 Pound Python in the Machine Learning Room JM Decker, D Moldovan, G Wei, V Bhardwaj, G Essertel, F Wang, ... | 2 | 2018 |
Consolidating Smart Contracts with Behavioral Contracts G Wei, D Xie, W Zhang, Y Yuan, Z Zhang Proceedings of the ACM on Programming Languages 8 (PLDI), 965-989, 2024 | | 2024 |
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers M Zheng, Q Shi, X Liu, X Xu, L Yu, C Liu, G Wei, X Zhang Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1208-1234, 2024 | | 2024 |
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking S Jia, G Wei, S He, Y Tang, Y Bao, T Rompf arXiv preprint arXiv:2404.08217, 2024 | | 2024 |
Modeling Reachability Types with Logical Relations Y Bao, G Wei, O Bračevac, T Rompf arXiv preprint arXiv:2309.05885, 2023 | | 2023 |