Jiacheng Gui

According to our database, Jiacheng Gui authored at least 3 papers between 2020 and 2022.

Collaborative distances:

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

2022

A novel data-driven approach on inferring loop invariants for C programs.

Hong Lu, Huitao Wang, Jiacheng Gui, Panfeng Chen, Hao Huang

J. Comput. Lang., 2022

2020

A Novel Data-Driven Approach for Generating Verified Loop Invariants.

Hong Lu, Jiacheng Gui, Chengyi Wang, Hao Huang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

PBLInv: Postcondition-based Loop Invariant Learning for C Programs.

Hong Lu, Chengyi Wang, Jiacheng Gui, Hao Huang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020