Kangjie Huang

AuditCoder: Responsibility-Preserving Task Graphs for Auditable Code Generation and Bounded Repair

Kangjie Huang, Chen Lyu

Code generators return programs, but typically do not preserve the construction record needed to connect a failure to the decision that produced the affected code or to delimit a justified repair. We present AuditCoder, which treats the program and an auditable construction trace…Read more