Jiacheng Gui

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Imperative Programs

Affine Moment Invariants

Learning Algorithm

Machine Learning

Top Venues

J. Comput. Lang.

Publications

Hong Lu, Huitao Wang, Jiacheng Gui, Panfeng Chen, Hao Huang
A novel data-driven approach on inferring loop invariants for C programs. J. Comput. Lang. 71 (2022)
Hong Lu, Chengyi Wang, Jiacheng Gui, Hao Huang
PBLInv: Postcondition-based Loop Invariant Learning for C Programs. QRS (2020)
Hong Lu, Jiacheng Gui, Chengyi Wang, Hao Huang
A Novel Data-Driven Approach for Generating Verified Loop Invariants. TASE (2020)