Publications

  Conference Papers:

  • Peng Di, Bingchang Liu, Yiyi Gao, MicroFuzz: An Efficient Fuzzing Framework for Microservices. In the 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 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP'24), 2024. arXiv preprint arXiv:2310.06266, [cs.SE].
  • 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 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 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 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 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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.