I participated in the 2026 Oregon Programming Languages Summer School (OPLSS), which focused on types, proofs, and program logics.
Dinghong Zhong 钟定洪
Ph.D. student
I am a Ph.D. student advised by Guannan Wei in the Department of Computer Science at Tufts University. My research interests include programming languages and software engineering. Recently, I have been working on concolic execution and type system design for multi-stage programming languages.
I received my master's degree from Xi'an Jiaotong University in 2023, where I was advised by Wuxia Jin. During my master's studies, I focused on software engineering research.
I received my bachelor's degree in civil engineering from Xi'an University of Architecture and Technology in 2020.
Recent Activities
I presented our work on efficient concolic execution at the WebAssembly Workshop at ICFP/SPLASH 2025.
Publications
Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots
OOPSLA 2026 (To appear)
Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl)
ICFP 2026
Pyanalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code
ICSE 2024
Microservice Maintainability Measurement Based on Multi-Sourced Feature Space
Journal of Software, 32(5), 2021