Automated Feedback Generation for Competition-Level Code. - Jialu Zhang 002; De Li; John Charles Kolesar; Hanyuan Shi; Ruzica Piskac (ASE, 2022)

Checking equivalence in a non-strict language. - John C. Kolesar; Ruzica Piskac; William T. Hallahan (Proc. ACM Program. Lang., 2022)

ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. - Daniel Luick; John C. Kolesar; Timos Antonopoulos; William R. Harris; James Parker; Ruzica Piskac; Eran Tromer; Xiao Wang 012; Ning Luo (IACR Cryptol. ePrint Arch., 2023)

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge. - John C. Kolesar; Shan Ali; Timos Antonopoulos; Ruzica Piskac (CoRR, 2025)