John C. Kolesar

According to our database, John C. Kolesar authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

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, Ning Luo

IACR Cryptol. ePrint Arch., 2023

2022

Checking equivalence in a non-strict language.

John C. Kolesar, Ruzica Piskac, William T. Hallahan

Proc. ACM Program. Lang., 2022

Automated Feedback Generation for Competition-Level Code.

Jialu Zhang, De Li, John Charles Kolesar, Hanyuan Shi, Ruzica Piskac

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022