John C. Kolesar

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

Collaborative distances:

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

2025

A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments.

Jialu Zhang, Jialiang Gu, Wangmeiyu Zhang, José Pablo Cambronero, John C. Kolesar, Ruzica Piskac, Daming Li, Hanyuan Shi

CoRR, October, 2025

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge.

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

Proc. ACM Program. Lang., 2025

Checking equivalence in a non-strict language.

John Charles Kolesar, Ruzica Piskac, William T. Hallahan

J. Funct. Program., 2025

Safe Validation of Pricing Agreements.

John C. Kolesar, Tancrède Lepoint, Martin Schäf, Willem Visser

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 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