Zaiyu Cheng

According to our database, Zaiyu Cheng authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

Prompt-Driven Code Summarization: A Systematic Literature Review.

Afia Farjana, Zaiyu Cheng, Antonio Mastropaolo

CoRR, April, 2026

An Empirical Study on the Effects of System Prompts in Instruction-Tuned Models for Code Generation.

Zaiyu Cheng, Antonio Mastropaolo

CoRR, February, 2026

Not All Tokens Matter: Data-Centric Optimization for Efficient Code Summarization.

Saima Afrin, Zaiyu Cheng, Tushar Sharma, Alexander Serebrenik, Massimiliano Di Penta, Antonio Mastropaolo

CoRR, January, 2026

2024

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking.

Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024