Dinghong Zhong(钟定洪)

Incoming Ph.D student at Tufts University

Email: Dinghong.Zhong@tufts.edu / azhong.934@gmail.com

About

I'm an incoming Ph.D. student (advised by Guannan Wei) in the Computer Science Department at Tufts University. My research interests include Programming Languages and Software Engineering. Recently, I have been working on efficient concolic execution of WebAssembly.

I received my Master degree from Xi'an Jiaotong University in 2023, advised by Wuxia Jin.

Recent Activities

I am going to present our work on Efficient Concolic Execution at the Workshop @ ICFP/SPLASH 2025.

Publications

Reconstructing Big-Step Continuation-Passing Semantics for WebAssembly

Guannan Wei, Alexander Y Bai, Dinghong Zhong, and Jiatai Zhang.

International Symposium on Trends in Functional Programming (2025 TFP)

Pyanalyzer: An effective and practical approach for dependency extraction from python code

Jin, Wuxia, Shuo Xu, Dawei Chen, Jiajun He, Dinghong Zhong, Ming Fan, Hongxu Chen, Huijia Zhang, and Ting Liu.

The 46th International Conference on Software Engineering (ICSE 2024)

Evaluating the impact of possible dependencies on architecture-level maintainability

Wuxia Jin, Dinghong Zhong, Yuanfang Cai, Rick Kazman, and Ting Liu.

Transactions on Software Engineering (2022 TSE)

Where to start: Studying type annotation practices in python

Wuxia Jin, Dinghong Zhong, Zifan Ding, Ming Fan, and Ting Liu.

36th International Conference on Automated Software Engineering (2021 ASE)

Microservice Maintainability Measurement Based on Multi-sourced Feature Space

Wuxia Jin, Dinghong Zhong, Yuyun Zhang, Mingfan Yang, and Ting Liu.

Journal of Software 32.5 (May 2021)