Zedong Peng

According to our database, Zedong Peng authored at least 27 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

DiffHLS: Differential Learning for High-Level Synthesis QoR Prediction with GNNs and LLM Code Embeddings.

Zedong Peng, Zeju Li, Qiang Xu, Jieru Zhao

CoRR, April, 2026

Failure-Aware Enhancements for Large Language Model (LLM) Code Generation: An Empirical Study on Decision Framework.

Jianru Shen, Zedong Peng, Lucy Owen

CoRR, February, 2026

Advanced Vulnerability Scanning for Open Source Software: Detection and Mitigation of Log4j Vulnerabilities.

Victor Wen, Zedong Peng

CoRR, January, 2026

2025

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis.

Zedong Peng, Zeju Li, Mingzhe Gao, Qiang Xu, Chen Zhang, Jieru Zhao

CoRR, July, 2025

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis.

Zeju Li, Changran Xu, Zhengyuan Shi, Zedong Peng, Yi Liu, Yunhao Zhou, Lingfeng Zhou, Chengyu Ma, Jianyuan Zhong, Xi Wang, Jieru Zhao, Zhufei Chu, Xiaoyan Yang, Qiang Xu

CoRR, February, 2025

The AI Imitation Game: A Cognitive Comparison of Mimicry in Large Language Models.

Victor Wen, Zedong Peng, Yusi Chen

Proceedings of the 25th IEEE International Conference on Information Reuse and Integration and Data Science, 2025

HIPPO: A Hierarchy-Preserving and Noise-Tolerant Pre-HLS Power Modeling Framework for FPGA.

Zefan Lin, Zedong Peng, Mingzhe Gao, Jieru Zhao, Zhe Lin

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2025

2024

A Verifiable and Privacy-Preserving Federated Learning Training Framework.

Haohua Duan, Zedong Peng, Liyao Xiang, Yuncong Hu, Bo Li

IEEE Trans. Dependable Secur. Comput., 2024

MPAX: Mathematical Programming in JAX.

Haihao Lu, Zedong Peng, Jinwen Yang

CoRR, 2024

Measure this, not that: Optimizing the cost and model-based information content of measurements.

Jialu Wang, Zedong Peng, Ryan Hughes, Debangsu Bhattacharyya, David E. Bernal Neira, Alexander W. Dowling

Comput. Chem. Eng., 2024

Addressing Discrete Dynamic Optimization via a Logic-Based Discrete-Steepest Descent Algorithm.

Zedong Peng, Albert Lee, David E. Bernal Neira

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

2023

"What You See Is What You Test": Recommending Features from GUIs for Requirements-Based Testing.

Zedong Peng, Juha Savolainen, Jianzhang Zhang, Nan Niu

Proceedings of the 24th IEEE International Conference on Information Reuse and Integration for Data Science, 2023

Resource-Centric Goal Model Slicing for Detecting Feature Interactions.

Zedong Peng, Mahima Dahiya, Tessneem Khalil, Nan Niu, Tanmay Bhowmik, Yilong Yang

Proceedings of the 24th IEEE International Conference on Information Reuse and Integration for Data Science, 2023

2022

Testing software's changing features with environment-driven abstraction identification.

Zedong Peng, Prachi Rathod, Nan Niu, Tanmay Bhowmik, Hui Liu, Lin Shi, Zhi Jin

Requir. Eng., 2022

Alternative regularizations for Outer-Approximation algorithms for convex MINLP.

David E. Bernal, Zedong Peng, Jan Kronqvist, Ignacio E. Grossmann

J. Glob. Optim., 2022

Learning I/O Variables from Scientific Software's User Manuals.

Zedong Peng, Xuanyi Lin, Sreelekhaa Nagamalli Santhoshkumar, Nan Niu, Upulee Kanewala

Proceedings of the Computational Science - ICCS 2022, 2022

2021

Unit and regression tests of scientific software: A study on SWMM.

Zedong Peng, Xuanyi Lin, Michelle Simon, Nan Niu

J. Comput. Sci., 2021

Discovering Metamorphic Relations for Scientific Software From User Forums.

Xuanyi Lin, Michelle Simon, Zedong Peng, Nan Niu, Jeff Carver, Karla Morris

Comput. Sci. Eng., 2021

Semantic Frames for Classifying Temporal Requirements: An Exploratory Study.

Aurek Chattopadhyay, Nan Niu, Zedong Peng, Jianzhang Zhang

Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021

Towards Norm Classification: An Initial Analysis of HIPAA Breaches.

Vedarsh Shah, Zedong Peng, Ganesh Malla, Nan Niu

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Environment-Driven Abstraction Identification for Requirements-Based Testing.

Zedong Peng, Prachi Rathod, Nan Niu, Tanmay Bhowmik, Hui Liu, Lin Shi, Zhi Jin

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Co-AI: A Colab-Based Tool for Abstraction Identification.

Zedong Peng, Nan Niu

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Finding Metamorphic Relations for Scientific Software.

Xuanyi Lin, Zedong Peng, Nan Niu, Wentao Wang, Hui Liu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

I/O Associations in Scientific Software: A Study of SWMM.

Zedong Peng, Xuanyi Lin, Nan Niu, Omar I. Abdul-Aziz

Proceedings of the Computational Science - ICCS 2021, 2021

Contextual Understanding and Improvement of Metamorphic Testing in Scientific Software Development.

Zedong Peng, Upulee Kanewala, Nan Niu

Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2021

2020

Correct Software by Design for Software-Defined Networking: A preliminary Study.

Liang Hao, Xin Sun, Lan Lin, Zedong Peng

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Unit Tests of Scientific Software: A Study on SWMM.

Zedong Peng, Xuanyi Lin, Nan Niu

Proceedings of the Computational Science - ICCS 2020, 2020