Select Publications
By Mr Peng Di
Conference Papers
, 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
Preprints
, 2025, Every Sample Matters: Leveraging Mixture-of-Experts and High-Quality Data for Efficient and Accurate Code LLM, http://dx.doi.org/10.48550/arxiv.2503.17793
, 2024, MicroFuzz: An Efficient Fuzzing Framework for Microservices, http://dx.doi.org/10.1145/3639477.3639723
, 2023, Prompting Frameworks for Large Language Models: A Survey, http://dx.doi.org/10.48550/arxiv.2311.12785
, 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
, 2023, CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model, http://dx.doi.org/10.1145/3639477.3639719
, 2022, Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework, http://arxiv.org/abs/2210.14436v1