Publications

* marks equal contribution.

2025

Junkai Chen*, Zhiyuan Pan*, Xing Hu, Zhenhao Li, Ge Li, Xin Xia. “Reasoning Runtime Behavior of a Program with LLM: How Far Are We?”
47th International Conference on Software Engineering (ICSE 2025), Accepted as a Full Paper
[Code] [Leaderboard] [PDF]

2024

Zhiyuan Pan, Xing Hu, Xin Xia, David Lo, Xiaohu Yang. “PPT4J: Patch Presence Test for Java Binaries”
46th International Conference on Software Engineering (ICSE 2024), Accepted as a Full Paper
[Code] [Docs] [PDF]