Chianina: an evolving graph system for flow-and context-sensitive analyses of million lines of C code Z Zuo, Y Zhang, Q Pan, S Lu, Y Li, L Wang, X Li, GH Xu Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 15 | 2021 |
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan Z Zuo, K Wang, A Hussain, AA Sani, Y Zhang, S Lu, W Dou, L Wang, X Li, ... ACM Transactions on Computer Systems (TOCS) 38 (1-2), 1-39, 2021 | 7 | 2021 |
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing Y Zhang, T Liu, Y Wang, Y Qi, K Ji, J Tang, X Wang, X Li, Z Zuo arXiv preprint arXiv:2402.17241, 2024 | | 2024 |
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework Z Sun, D Xu, Y Zhang, Y Qi, Y Wang, Z Zuo, Z Wang, Y Li, X Li, Q Lu, ... Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | | 2023 |
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration Y Zhang, T Liu, Z Sun, Z Chen, X Li, Z Zuo Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | | 2023 |
Design and Implementation of Datalog Engine Based on Out-of-core Computing 张奕裕, 王归航, 左志强, 李宣东 Journal of Software 34 (8), 3587-3604, 2022 | | 2022 |