Jiacheng Gui
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2020–2020
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | QRS | PBLInv: Postcondition-based Loop Invariant Learning for C Programs. | Hong Lu, Chengyi Wang, Jiacheng Gui, Hao Huang |
| 2020 | TASE | A Novel Data-Driven Approach for Generating Verified Loop Invariants. | Hong Lu, Jiacheng Gui, Chengyi Wang, Hao Huang |