| 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 | 30 | 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 | 27 | 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 | 24 | 2019 |
| 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 | 18 | 2023 |
| 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 | 17 | 2020 |
| 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 | 14 | 2024 |
| 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 | 14 | 2018 |
| 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 | 13 | 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 |
| 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 | 11 | 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 | 10 | 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 | 6 | 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 | 6 | 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 |
| 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 | 1 | 2024 |
| Modeling Reachability Types with Logical Relations Y Bao, G Wei, O Bračevac, T Rompf arXiv preprint arXiv:2309.05885, 2023 | 1 | 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 | 1 | 2022 |
| Snek: Overloading Python Semantics via Virtualization JM Decker, D Moldovan, AA Johnson, G Wei, V Bhardwaj, G Essertel, ... | 1 | 2019 |
Tiark RompfPurdue UniversityEmail verificata su purdue.edu