John C. Kolesar

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

Collaborative distances:

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

2025

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge.

John C. Kolesar, Shan Ali, Timos Antonopoulos, Ruzica Piskac

CoRR, April, 2025

Checking equivalence in a non-strict language.

John Charles Kolesar, Ruzica Piskac, William T. Hallahan

J. Funct. Program., 2025

2024

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

Proceedings of the 33rd USENIX Security Symposium, 2024

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