Cong Li (李聪)

Postdoctoral Researcher at Advanced Software Technologies (AST) Lab, ETH Zurich, working with Prof. Zhendong Su.

Ph.D. from Nanjing University, advised by Prof. Yanyan Jiang and Prof. Chang Xu.

Research interests: compilers (LLVM/GCC), language VMs (HotSpot, OpenJ9, Graal, ART, V8, JSC), Android systems, LLM agents for compiler optimization and fuzzing.

Selected Publications

[PLDI'26] Kavya Chopra*, Cong Li*, Thodoris Sotiropoulos, Zhendong Su. Semantic Reification: A New Paradigm for Random Program Generation. (* Equal contribution)
[arXiv'26] Yingwei Zheng*, Cong Li*, Shaohua Li, Yuqun Zhang, Zhendong Su. Agentic Harness for Real-World Compilers. (* Equal contribution)
[TOCS'25] Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su. Validating JIT Compilers via Compilation Space Exploration.
[ASE'24] Cong Li, Zhaogui Xu, Peng Di, Dongxia Wang, Zheng Li, Qian Zheng. Understanding Code Changes Practically with Small-Scale Language Models.
[ASPLOS'24] Xianfei Ou, Cong Li, Yanyan Jiang, Chang Xu. The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators.
[SOSP'23, Best Paper Award] Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su. Validating JIT Compilers via Compilation Space Exploration.
[ESEC/FSE'22] Cong Li, Yanyan Jiang, Chang Xu. Cross-Device Record and Replay for Android Apps.
[ICSE'22] Cong Li, Yanyan Jiang, Chang Xu. Push-Button Synthesis of Watch Companions for Android Apps.

Open-Source Tools

Artemis — JIT compiler validation via compilation space exploration. github.com/test-jitcomp/Artemis
Reify — Semantic reification for random program generation. github.com/connglli/Reify
llvm-harness — Agentic harness for real-world compilers. github.com/dtcxzyw/llvm-harness
MetaMut — LLM-generated mutation operators for compiler fuzzing. github.com/icsnju/MetaMut
RefractIR — Symbolic language for program generation. github.com/connglli/RefractIR