Peng Di

Peng Di

Senior Staff Engineer

Publications

  Conference Papers:

  • Qingkai Shi, Xiaoheng Xie, Xianjin Fu, Peng Di, Huawei Li, Ang Zhou, Gang Fan, Datalog-Based Language-Agnostic Change Impact Analysis for Microservices In the IEEE/ACM 47th International Conference on Software Engineering (ICSE'25), 2025.

  • Mingyuan Wu, Jiahong Xiang, Kunqiu Chen, Peng Di, Shin Hwei Tan, Heming Cui, Yuqun Zhang, Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-box Fuzzing? In the IEEE/ACM 47th International Conference on Software Engineering (ICSE'25), 2025.

  • Cong Li, Zhaogui Xu, Peng Di, Dongxia Wang, Zheng Li, and Qian Zheng, Understanding Code Changes Practically with Small-Scale Language Models In the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE'24), 2024.

  • Zhenyu Yan, Xin Zhang, Peng Di, Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks. In the ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'24), 2024.

  • Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui, Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. In the ACM International Conference on the Foundations of Software Engineering (FSE'24), 2024.

  • Peng Di, Bingchang Liu, Yiyi Gao, MicroFuzz: An Efficient Fuzzing Framework for Microservices. In the IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP'24), 2024.

  • Peng Di, Jianguo Li, Hang Yu, Wei Jiang, et al., CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model. In the IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP'24), 2024.

  • Zelin Zhao, Zhaogui Xu, Jialong Zhu, Peng Di, Yuan Yao, Xiaoxing Ma, The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model. arXiv preprint arXiv:2312.17485, [cs.SE].

  • Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang, Prompting Frameworks for Large Language Models: A Survey. arXiv preprint arXiv:2311.12785, [cs.SE].

  • Gang Fan, Xiaoheng Xie, Xunjin Zheng, Yinan Liang, Peng Di, Static Code Analysis in the AI Era: An In-depth Exploration of the Concept, Function, and Potential of Intelligent Code Analysis Agents. arXiv preprint arXiv:2310.08837, [cs.SE], 2023.

  • Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue, Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. In the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'23), 2023.

  • Zelin Zhao, Xizao Wang, Zhaogui Xu, Zhenhao Tang, Yongchao Li and Peng Di. Incremental Call Graph Construction in Industrial Practice. In the IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP'23), 2023.

  • Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu and John C.S. Lui. Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services. In the IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP'23), 2023.

  • Jiangchao Liu, Jierui Liu, Peng Di, Alex X. Liu, Zexin Zhong. Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification. In the IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP'22), 2022.

  • Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu. Field-based Static Taint Analysis for Industrial Microservice. In the IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP'22), 2022.

  • Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang and Xuefeng Jin. AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations. In the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'21), 2021.

  • Jie Zhao, Peng Di. Optimizing the Memory Hierarchy by Compositing Automatic Transformations on Computations and Data. In the 53rd IEEE/ACM International Symposium on Microarchitecture (MICRO-53), Athens, Greece, 2020. (Best Paper Nomination)

  • Feng Zhang, Peng Di, Hao Zhou and Jingling Xue. RegTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities. In the 2016 International Conference on Parallel Processing (ICPP'16), Philadelphia, PA, USA, 2016.

  • Yulei Sui, Peng Di, Ding Ye, Hua Yan and Jingling Xue. SVF: Static Value-Flow Analysis in LLVM. In the 2016 European LLVM Conference (EuroLLVM'16), Barcelona, Spain, 2016.

  • Peng Di, Yulei Sui. Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis. In the 7th International Workshop on Programming Models and Applications for Multicores and Manycores co-located with the PPoPP 2016(PMAM'16), Barcelona, Spain, 2016.

  • Yulei Sui, Peng Di, Jingling Xue. Sparse Flow-Sensitive Pointer Analysis for Multithreaded C Programs. In the 2016 International Symposium on Code Generation and Optimization (CGO'16), Barcelona, Spain, 2016.Artifacts

  • Peng Di, Yulei Sui, Ding Ye, Jingling Xue. Region-Based May-Happen-in-Parallel Analysis for C Programs. In the 2015 International Conference on Parallel Processing (ICPP'15), Beijing, China, 2015.

  • Peng Di, Ding Ye, Yu Su, Yulei Sui, Jingling Xue. Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs. In the 2012 International Conference on Parallel Processing (ICPP'12), Pittsburgh, USA, 2012.

  • Jilin Zhang, Liting Zhu, Jie Mao, Jian Wan, Peng Di. An Efficient Parallel Implementation for Three-dimensional Incompressible Pipe Flow based on SIMPLE. In the 12th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid'12), pages 660-667, Ottawa, Canada, 2012.

  • Peng Di, Jingling Xue. Model-Driven Tile Size Selection for DOACROSS Loops on GPUs. In the 17th International European Conference on Parallel and Distributed Computing (Euro-Par'11), pages 401-412, Bordeaux, France, 2011.

  • Peng Di, Qing Wan, Xuemeng Zhang, Hui Wu and Jingling Xue. Toward Harnessing DOACROSS Parallelism for Multi-GPGPUs. In the 2010 International Conference on Parallel Processing (ICPP'10), pages 40-50, San Diego, USA, 2010.

  • Peng Di, Jingling Xue, Changjun Hu and Jingjing Zhou. A Cache-Effcient Parallel Gauss-Seidel Solver with Alternating Tiling. In the 15th International Conference on Parallel and Distributed Systems (ICPADS'09), pages 244-251, Shenzhen, China, 2009.

    •   Journal Papers:

  • Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, ChenXi Cui. Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis. IEEE Transactions on Software Engineering (TSE), 2024.

  • Jie Zhao, Jinchen Xu, Peng Di, Wang Nie, Jiahui Hu, Yanzhi Yi, Sijia Yang, Zhen Geng, Renwei Zhang, Bojie Li, Zhiliang Gan, Xuefeng Jin. Modeling the Interplay between Loop Tiling and Fusion in Optimizing Compilers using Affine Relations. ACM Transactions on Computer Systems (TOCS), 2023.

  • Jilin Zhang, Junfeng Yuan, Jian Wan, Peng Di. Efficient Parallel Implementation of Incompressible Pipe Flow Algorithm Based on SIMPLE. Concurrency and Computation: Practice and Experience, 28(6), pages 1751-1766, 2016.

  • Peng Di, Hui Wu, Jingling Xue, Feng Wang, Canqun Yang. Parallelizing SOR for GPGPUs Using Alternate Loop Tiling. Parallel Computing, volume 38, issues 6-7, pages 310-328, June-July 2012.

    •   Thesis:

  • Peng Di, Automatic Parallelization of Tiled Stencil Loop Nests on GPUs. Ph.D. Thesis, 2013.