By Mr Peng Di

Journal articles

Liu P; Sun C; Zheng Y; Feng X; Qin C; Wang Y; Xu Z; Li Z; Di P; Jiang Y; Sun L, 2025, 'LLM-Powered Static Binary Taint Analysis', ACM Transactions on Software Engineering and Methodology, 34, http://dx.doi.org/10.1145/3711816

Yan Z; Zhang X; Di P, 2024, 'Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks', Proceedings of the ACM on Programming Languages, 8, http://dx.doi.org/10.1145/3689765

He W; Di P; Ming M; Zhang C; Su T; Li S; Sui Y, 2024, 'Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles', Proceedings of the ACM on Software Engineering, 1, pp. 1656 - 1678, http://dx.doi.org/10.1145/3660781

Li H; Tan T; Li Y; Lu J; Meng H; Cao L; Huang Y; Li L; Gao L; Di P; Lin L; Cui CX, 2024, 'Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis', IEEE Transactions on Software Engineering, 50, pp. 1144 - 1162, http://dx.doi.org/10.1109/TSE.2024.3377645

Zhao J; Xu J; Di P; Nie W; Hu J; Yi Y; Yang S; Geng Z; Zhang R; Li B; Gan Z; Jin X, 2024, 'Modeling the Interplay between Loop Tiling and Fusion in Optimizing Compilers Using Affine Relations', ACM Transactions on Computer Systems, 41, http://dx.doi.org/10.1145/3635305

Zhang JL; Yuan JF; Wan J; Mao J; Zhu LT; Zhou L; Jiang CF; Di P; Wang J, 2016, 'Efficient parallel implementation of incompressible pipe flow algorithm based on SIMPLE', Concurrency and Computation Practice and Experience, 28, pp. 1751 - 1766, http://dx.doi.org/10.1002/cpe.3000

Di P; Wu H; Xue J; Wang F; Yang C, 2012, 'Parallelizing SOR for GPGPUs Using Alternate Loop Tiling', Parallel Computing, 38, pp. 310 - 328, http://dx.doi.org/10.1016/j.parco.2012.03.004

Zhang JL; Di P; Jiang CF; Zhang W; Xu XH; Wan J; Ren YJ, 2010, 'A parallel finite difference stencil algorithm based on iterative space alternate tiling', Ruan Jian Xue Bao Journal of Software, 21, pp. 270 - 283

Conference Papers

Guo Y; Ma W; Xiao X; Wen S; Di P; Zhu X, 2025, 'Patch the Leak: Strengthening CodeLLMs Against Privacy Extraction Threats', in Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, pp. 195 - 199, presented at ISSTA Companion '25: 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, http://dx.doi.org/10.1145/3713081.3732931

Liu X; Zheng X; Fu C; Xie X; Di P, 2024, 'GrayDuck: The Sword of Damocles for Duck Typing in Dynamic Language Deserialization', in Proceedings 2024 39th ACM IEEE International Conference on Automated Software Engineering Ase 2024, pp. 2458 - 2459, http://dx.doi.org/10.1145/3691620.3695327

Liang M; Xie X; Zhang G; Zheng X; Di P; Jiang W; Chen H; Wang C; Fan G, 2024, 'RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models', in Proceedings 2024 39th ACM IEEE International Conference on Automated Software Engineering Ase 2024, pp. 2466 - 2467, http://dx.doi.org/10.1145/3691620.3695331

Li C; Xu Z; Di P; Wang D; Li Z; Zheng Q, 2024, 'Understanding Code Changes Practically with Small-Scale Language Models', in Proceedings 2024 39th ACM IEEE International Conference on Automated Software Engineering Ase 2024, pp. 216 - 228, http://dx.doi.org/10.1145/3691620.3694999

Di P; Li J; Yu H; Jiang W; Cai W; Cao Y; Chen C; Chen D; Chen H; Chen L; Fan G; Gong J; Gong Z; Hu W; Guo T; Lei Z; Li T; Li Z; Liang M; Liao C; Liu B; Liu J; Liu Z; Lu S; Shen M; Wang G; Wang H; Wang Z; Xu Z; Yang J; Ye Q; Zhang G; Zhang Y; Zhao Z; Zheng X; Zhou H; Zhu L; Zhu X, 2024, 'CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model', in ACM International Conference Proceeding Series, pp. 418 - 429, http://dx.doi.org/10.1145/3639477.3639719

Di P; Liu B; Gao Y, 2024, 'MicroFuzz: An Efficient Fuzzing Framework for Microservices', in ACM International Conference Proceeding Series, pp. 216 - 227, http://dx.doi.org/10.1145/3639477.3639723

Liu J; Liu J; Di P; Wu D; Zheng H; Liu AX; Xue J, 2023, 'Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis', in Issta 2023 Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 114 - 126, http://dx.doi.org/10.1145/3597926.3598042

Zhao Z; Wang X; Xu Z; Tang Z; Li Y; Di P, 2023, 'Incremental Call Graph Construction in Industrial Practice', in Proceedings International Conference on Software Engineering, pp. 471 - 482, http://dx.doi.org/10.1109/ICSE-SEIP58684.2023.00048

Zhong Z; Liu J; Wu D; Di P; Sui Y; Liu AX; Lui JCS, 2023, 'Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services', in Proceedings International Conference on Software Engineering, pp. 110 - 121, http://dx.doi.org/10.1109/ICSE-SEIP58684.2023.00015

Zhong Z; Liu J; Wu D; Di P; Sui Y; Liu AX, 2022, 'Field-based static taint analysis for industrial microservices', in Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice, ACM, presented at ICSE '22: 44th International Conference on Software Engineering, http://dx.doi.org/10.1145/3510457.3513075

Liu J; Liu J; Di P; Liu AX; Zhong Z, 2022, 'Record and replay of online traffic for microservices with automatic mocking point identification', in Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice, ACM, pp. 221 - 230, presented at ICSE '22: 44th International Conference on Software Engineering, http://dx.doi.org/10.1145/3510457.3513029

Zhong Z; Liu J; Wu D; Di P; Sui Y; Liu AX, 2022, 'Field-Based Static Taint Analysis for Industrial Microservices', in Proceedings International Conference on Software Engineering, pp. 149 - 150, http://dx.doi.org/10.1109/ICSE-SEIP55303.2022.9794096

Liu J; Liu J; Di P; Liu AX; Zhong Z, 2022, 'Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification', in Proceedings International Conference on Software Engineering, pp. 221 - 230, http://dx.doi.org/10.1109/ICSE-SEIP55303.2022.9793867

Zhao J; Li B; Nie W; Geng Z; Zhang R; Gao X; Cheng B; Wu C; Cheng Y; Li Z; Di P; Zhang K; Jin X, 2021, 'AKG: Automatic kernel generation for neural processing units using polyhedral transformations', in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI, pp. 1233 - 1248, http://dx.doi.org/10.1145/3453483.3454106

Zhao J; Di P, 2020, 'Optimizing the memory hierarchy by compositing automatic transformations on computations and data', in Proceedings of the Annual International Symposium on Microarchitecture Micro, pp. 427 - 441, http://dx.doi.org/10.1109/MICRO50266.2020.00044

Zhang F; Di P; Liao XK; Xue J; Zhou H, 2016, 'REGTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities', in Proceedings of the International Conference on Parallel Processing, Institute of Electrical and Electronics Engineers (IEEE), Philadephia, pp. 562 - 571, presented at International Conference on Parallel Processing, Philadephia, 16 August 2016 - 19 August 2016, http://dx.doi.org/10.1109/ICPP.2016.71

Sui Y; Di P; Xue J, 2016, 'Sparse flow-sensitive pointer analysis for multithreaded programs', in Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016, ASSOC COMPUTING MACHINERY, Barcelona, SPAIN, pp. 160 - 170, presented at 14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 12 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2854038.2854043

Di P; Sui Y, 2016, 'Accelerating dynamic data race detection using static thread interference analysis', in Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2016, Barcelona, Spain, pp. 30 - 39, presented at PMAM'16 Proceedings of the 7th International Workshop, Barcelona, Spain, 12 March 2016 - 16 March 2016, http://dx.doi.org/10.1145/2883404.2883405

Di P; Sui Y; Ye D; Xue J, 2015, 'Region-Based May-Happen-in-Parallel Analysis for C Programs', in Proceedings of the International Conference on Parallel Processing, Institute of Electrical and Electronics Engineers (IEEE), Beijing China, pp. 889 - 898, presented at 2015 44th International Conference on on Parallel Processing (ICPP), Beijing China, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.98

Preprints

Di P; Liu B; Gao Y, 2024, MicroFuzz: An Efficient Fuzzing Framework for Microservices, http://dx.doi.org/10.1145/3639477.3639723

Fan G; Xie X; Zheng X; Liang Y; Di P, 2023, Static Code Analysis in the AI Era: An In-depth Exploration of the Concept, Function, and Potential of Intelligent Code Analysis Agents, http://arxiv.org/abs/2310.08837v1

Di P; Li J; Yu H; Jiang W; Cai W; Cao Y; Chen C; Chen D; Chen H; Chen L; Fan G; Gong J; Gong Z; Hu W; Guo T; Lei Z; Li T; Li Z; Liang M; Liao C; Liu B; Liu J; Liu Z; Lu S; Shen M; Wang G; Wang H; Wang Z; Xu Z; Yang J; Ye Q; Zhang G; Zhang Y; Zhao Z; Zheng X; Zhou H; Zhu L; Zhu X, 2023, CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model, http://dx.doi.org/10.1145/3639477.3639719

Liu J; Liu J; Di P; Wu D; Zheng H; Liu A; Xue J, 2022, Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework, http://arxiv.org/abs/2210.14436v1

Back to profile page