Select Publications
By Mr Peng Di
Conference Papers
, 2025, 'Function Renaming in Reverse Engineering of Embedded Device Firmware with ChatGPT', in Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages, ACM, pp. 57 - 65, presented at LMPL '25: 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages, http://dx.doi.org/10.1145/3759425.3763387
, 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
, 2025, 'Datalog-Based Language-Agnostic Change Impact Analysis for Microservices', in Proceedings International Conference on Software Engineering, pp. 78 - 89, http://dx.doi.org/10.1109/ICSE55347.2025.00115
, 2025, 'Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing?', in Proceedings International Conference on Software Engineering, pp. 2036 - 2048, http://dx.doi.org/10.1109/ICSE55347.2025.00044
, 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
, 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
, 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
, 2024, 'CodeFuse-13B: A Pretrained Multi-Lingual Code Large Language Model', in IEEE ACM International Conference on Software Engineering Software Engineering in Practice, pp. 418 - 429, http://dx.doi.org/10.1145/3639477.3639719
, 2024, 'MICRoFuzz: An Efficient Fuzzing Framework for Microservices', in IEEE ACM International Conference on Software Engineering Software Engineering in Practice, pp. 216 - 227, http://dx.doi.org/10.1145/3639477.3639723
, 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
, 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
, 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
, 2022, 'Adaptive inertia control of hybrid energy storage system based on Butterworth filter', in ENERGY REPORTS, ELSEVIER, PEOPLES R CHINA, Beihai, pp. 288 - 298, presented at International Conference on Frontiers of Energy and Environment Engineering (CFEEE), PEOPLES R CHINA, Beihai, 16 December 2022 - 18 December 2022, http://dx.doi.org/10.1016/j.egyr.2023.04.059
, 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
, 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
, 2022, 'Design and Analysis of EMI Power Filter', in 2022 INTERNATIONAL CONFERENCE ON MICROWAVE AND MILLIMETER WAVE TECHNOLOGY (ICMMT), IEEE, PEOPLES R CHINA, Harbin, presented at 14th International Conference on Microwave and Millimeter Wave Technology (ICMMT), PEOPLES R CHINA, Harbin, 12 August 2022 - 15 August 2022, http://dx.doi.org/10.1109/ICMMT55580.2022.10023283
, 2022, 'Design of RF Front-end for 24GHz FMCW Radar', in 2022 INTERNATIONAL CONFERENCE ON MICROWAVE AND MILLIMETER WAVE TECHNOLOGY (ICMMT), IEEE, PEOPLES R CHINA, Harbin, presented at 14th International Conference on Microwave and Millimeter Wave Technology (ICMMT), PEOPLES R CHINA, Harbin, 12 August 2022 - 15 August 2022, http://dx.doi.org/10.1109/ICMMT55580.2022.10022060
, 2022, 'Field-based Static Taint Analysis for Industrial Microservices', in 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2022), IEEE COMPUTER SOC, PA, Pittsburgh, pp. 149 - 150, presented at ACM/IEEE 44th International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP), PA, Pittsburgh, 22 May 2022 - 27 May 2022, http://dx.doi.org/10.1145/3510457.3513075
, 2022, 'Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification', in 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2022), IEEE COMPUTER SOC, PA, Pittsburgh, pp. 221 - 230, presented at ACM/IEEE 44th International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP), PA, Pittsburgh, 22 May 2022 - 27 May 2022, http://dx.doi.org/10.1145/3510457.3513029
, 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
, 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
, 2019, 'An Approach to Testability Evaluation Based on Improved D-S Evidence Theory', in IMMS 2019: 2019 2ND INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT AND MANAGEMENT SCIENCES, ASSOC COMPUTING MACHINERY, PEOPLES R CHINA, SW Jiaotong Univ, Chengdu, pp. 155 - 159, presented at 2nd International Conference on Information Management and Management Science (IMMS), PEOPLES R CHINA, SW Jiaotong Univ, Chengdu, 23 August 2019 - 25 August 2019, http://dx.doi.org/10.1145/3357292.3357308
, 2017, 'Synchronous Surface Pressure and Velocity Measurements of standard model in hypersonic flow', in Adiguzel O; McAndrew I; Yokoi Y; Koryanov V (eds.), 2017 ASIA CONFERENCE ON MECHANICAL AND AEROSPACE ENGINEERING (ACMAE 2017), E D P SCIENCES, JAPAN, Yokohama, presented at Asia Conference on Mechanical and Aerospace Engineering (ACMAE), JAPAN, Yokohama, 29 December 2017 - 31 December 2017, http://dx.doi.org/10.1051/matecconf/201815103003
, 2017, 'The Reliability Analysis of Multi-State Cold Standby System Based on Phase-Type Distribution', in 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), IEEE, SINGAPORE, Singapore, pp. 2124 - 2129, presented at IEEE International Conference on Industrial Engineering and Engineering Management (IEEE IEEM), SINGAPORE, Singapore, 10 December 2017 - 13 December 2017
, 2017, 'Multi-state System Reliability Analysis Combined PH Distribution with Universal Generating Function', in 2017 29TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), IEEE, PEOPLES R CHINA, Chongqing, pp. 2497 - 2501, presented at 29th Chinese Control And Decision Conference (CCDC), PEOPLES R CHINA, Chongqing, 28 May 2017 - 30 May 2017
, 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
, 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
, 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
, 2015, 'Analysis of the economic insulation layer thickness of external-wall in North Henan', in Yarlagadda P (ed.), PROCEEDINGS OF THE 2015 4TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY AND ENVIRONMENTAL ENGINEERING, ATLANTIS PRESS, PEOPLES R CHINA, Shenzhen, pp. 1172 - 1176, presented at 4th International Conference on Sustainable Energy and Environmental Engineering (ICSEEE), PEOPLES R CHINA, Shenzhen, 20 December 2015 - 21 December 2015
, 2015, 'Safety analysis of point supported glass curtain wall panels', in Yarlagadda P (ed.), PROCEEDINGS OF THE 2015 4TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY AND ENVIRONMENTAL ENGINEERING, ATLANTIS PRESS, PEOPLES R CHINA, Shenzhen, pp. 1140 - 1144, presented at 4th International Conference on Sustainable Energy and Environmental Engineering (ICSEEE), PEOPLES R CHINA, Shenzhen, 20 December 2015 - 21 December 2015
, 2015, 'Multi-Resolution Modeling on Complex System Integrated Logistic Support', in 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), IEEE, SINGAPORE, Singapore, pp. 1357 - 1361, presented at IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), SINGAPORE, Singapore, 06 December 2015 - 09 December 2015
, 2015, 'A Fuzzy Reliability Prediction Method Research of Warship Armaments Based on Interval Number and Similar Product', in Lan H (ed.), 2015 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING - 22ND ANNUAL CONFERENCE PROCEEDINGS, VOLS I AND II, IEEE, U ARAB EMIRATES, Dubai, pp. 375 - 380, presented at 22nd International Conference on Management Science and Engineering, U ARAB EMIRATES, Dubai, 19 October 2015 - 22 October 2015
, 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
, 2015, 'Modeling and Simulation on Complex System Life Cycle Risk Dynamic Evolution', in Gholami M; Jiwari R; Tavasoli A (eds.), PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON MODELING, SIMULATION AND APPLIED MATHEMATICS, ATLANTIS PRESS, THAILAND, Phuket, pp. 94 - 98, presented at International Conference on Modelling, Simulation and Applied Mathematics (MSAM), THAILAND, Phuket, 23 August 2015 - 24 August 2015
, 2014, 'Research on Invulnerability of combined operations combat network under repair', in Jiang X; Li S; Dai Y; Cheng Y (eds.), 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE, ELECTRONICS AND ELECTRICAL ENGINEERING (ISEEE), VOLS 1-3, IEEE, JAPAN, Shandong Normal Univ, Sapporo, pp. 1474 - +, presented at International Conference on Information Science, Electronics and Electrical Engineering (ISEEE), JAPAN, Shandong Normal Univ, Sapporo, 26 April 2014 - 28 April 2014
, 2014, 'Spare parts optimization model of warship formation based on gravitational search algorithm', in Jiang X; Li S; Dai Y; Cheng Y (eds.), 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE, ELECTRONICS AND ELECTRICAL ENGINEERING (ISEEE), VOLS 1-3, IEEE, JAPAN, Shandong Normal Univ, Sapporo, pp. 1411 - 1414, presented at International Conference on Information Science, Electronics and Electrical Engineering (ISEEE), JAPAN, Shandong Normal Univ, Sapporo, 26 April 2014 - 28 April 2014
, 2013, 'The Qualitative Analysis and Application of Course Classification in Job-oriented Professional Education', in Shao X (ed.), PROCEEDINGS OF THE 2013 INTERNATIONAL ACADEMIC WORKSHOP ON SOCIAL SCIENCE (IAW-SC 2013), ATLANTIS PRESS, PEOPLES R CHINA, Adv Informat Sci Res Ctr, Changsha, pp. 720 - 723, presented at International Academic Workshop on Social Science (IAW-SC), PEOPLES R CHINA, Adv Informat Sci Res Ctr, Changsha, 18 October 2013 - 20 October 2013
, 2013, 'Analysis of the Rural House Energy-Saving Technology in Gansu', in Yang W; Liang JG (ed.), SUSTAINABLE DEVELOPMENT AND ENVIRONMENT II, PTS 1 AND 2, TRANS TECH PUBLICATIONS LTD, PEOPLES R CHINA, Zhuhai, pp. 589 - 592, presented at 2nd International Conference on Civil, Architectural and Hydraulic Engineering (ICCAHE 2013), PEOPLES R CHINA, Zhuhai, 27 July 2013 - 28 July 2013, http://dx.doi.org/10.4028/www.scientific.net/AMM.409-410.589
, 2013, 'A Multi-state Reliability Analysis of Single- component Repairable System Based on Phase-type Distribution', in Hua LAN (ed.), 2013 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING (ICMSE), IEEE, PEOPLES R CHINA, Harbin, pp. 496 - 501, presented at 20th International Annual Conference on Management Science and Engineering, PEOPLES R CHINA, Harbin, 17 July 2013 - 19 July 2013
, 2013, 'Application of PV roof on large space structure system', in Xu N; Tian L; Dai F (eds.), SUSTAINABLE CITIES DEVELOPMENT AND ENVIRONMENT PROTECTION, PTS 1-3, TRANS TECH PUBLICATIONS LTD, PEOPLES R CHINA, Jinan, pp. 391 - 395, presented at 3rd International Conference on Civil Engineering, Architecture and Building Materials (CEABM 2013), PEOPLES R CHINA, Jinan, 24 May 2013 - 26 May 2013, http://dx.doi.org/10.4028/www.scientific.net/AMM.361-363.391
, 2012, 'Research on Relevance Modeling Method for Equipment Testability in Manufaturing Process', in Zhang H; Jin D; Zhao XJ (eds.), ADVANCED RESEARCH ON APPLIED MECHANICS AND MANUFACTURING SYSTEM, TRANS TECH PUBLICATIONS LTD, PEOPLES R CHINA, Guangzhou, pp. 372 - 380, presented at International Conference on Applied Mechanics and Manufacturing System (AMMS 2012), PEOPLES R CHINA, Guangzhou, 24 November 2012 - 25 November 2012, http://dx.doi.org/10.4028/www.scientific.net/AMM.252.372
, 2012, 'Application of the Soil Infiltration Method in the Reclaimed Water Reuse Technology', in Tang XF; Wu Y; Yao Y; Zhang ZZ (eds.), ENERGY AND ENVIRONMENT MATERIALS, TRANS TECH PUBLICATIONS LTD, PEOPLES R CHINA, Taiyuan, pp. 655 - 659, presented at Chinese Materials Congress (CMC 2012), PEOPLES R CHINA, Taiyuan, 13 July 2012 - 18 July 2012, http://dx.doi.org/10.4028/www.scientific.net/MSF.743-744.655
, 2012, 'Workshop on High Performance Data Intensive Computing - HPDIC', in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), IEEE, PEOPLES R CHINA, Shanghai Jiao Tong Univ, Shanghai, pp. 1963 - 1963, presented at 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), PEOPLES R CHINA, Shanghai Jiao Tong Univ, Shanghai, 21 May 2012 - 25 May 2012, http://dx.doi.org/10.1109/IPDPSW.2012.353
, 2012, 'Simulation Model of Spares Demanded and Shared Based on Different Lifetime Distributions', in Jin D; Lin S (ed.), ADVANCES IN FUTURE COMPUTER AND CONTROL SYSTEMS, VOL 2, SPRINGER-VERLAG BERLIN, PEOPLES R CHINA, Changsha, pp. 223 - 228, presented at Conference on the Future Computer and Control Systems, PEOPLES R CHINA, Changsha, 21 April 2012 - 22 April 2012
, 2011, 'Research on repair strategies of Network-Centric Warfare model', in Wang Y (ed.), 2011 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND MULTIMEDIA COMMUNICATION, INFORMATION ENGINEERING RESEARCH INST, USA, PEOPLES R CHINA, Qingdao, pp. 41 - 44, presented at International Conference on Software Engineering and Multimedia Communication (SEMC 2011), PEOPLES R CHINA, Qingdao, 09 July 2011 - 10 July 2011
, 2008, 'Phased mission availability simulation model based on minimal maintenance strategy', in Li JL (ed.), PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON RISK AND RELIABILITY MANAGEMENT, VOLS I AND II, UNIVERSE ACADEMIC PRESS TORONTO, PEOPLES R CHINA, Beijing Inst Technol, Sch Management & Econ, Beijing, pp. 714 - 717, presented at International Conference on Risk and Reliability Management (RRM 2008), PEOPLES R CHINA, Beijing Inst Technol, Sch Management & Econ, Beijing, 10 November 2008 - 12 November 2008