Back to
Mr Peng Di

Mr Peng Di

Adjunct Associate Professor
Engineering
Computer Science and Engineering

Dr Peng Di is an Adjunct Associate Professor at UNSW. His personal home page: https://pengd.github.io
  • Journal articles | 2025
    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
    Journal articles | 2024
    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
    Journal articles | 2024
    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
    Journal articles | 2024
    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
    Journal articles | 2024
    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
    Journal articles | 2016
    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
    Journal articles | 2012
    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
    Journal articles | 2010
    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 | 2024
    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
    Conference Papers | 2024
    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
    Preprints | 2024
    Di P; Liu B; Gao Y, 2024, MicroFuzz: An Efficient Fuzzing Framework for Microservices, http://dx.doi.org/10.1145/3639477.3639723
    Conference Papers | 2024
    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
    Conference Papers | 2024
    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
    Conference Papers | 2024
    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
    Preprints | 2023
    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
    Preprints | 2023
    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
    Conference Papers | 2023
    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
    Conference Papers | 2023
    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
    Conference Papers | 2023
    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
    Conference Papers | 2022
    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
    Conference Papers | 2022
    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
    Preprints | 2022
    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
    Conference Papers | 2022
    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
    Conference Papers | 2022
    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
    Conference Papers | 2021
    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
    Conference Papers | 2020
    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
    Conference Papers | 2016
    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
    Conference Papers | 2016
    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
    Conference Papers | 2016
    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
    Conference Papers | 2015
    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