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

Back to profile page