John C. Kolesar

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Operational Semantics

Fully Automated

Knowledge Extraction

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. USENIX Security Symposium (2024)
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. IACR Cryptol. ePrint Arch. 2023 (2023)
John C. Kolesar, Ruzica Piskac, William T. Hallahan
Checking equivalence in a non-strict language. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Jialu Zhang, De Li, John C. Kolesar, Hanyuan Shi, Ruzica Piskac
Automated Feedback Generation for Competition-Level Code. CoRR (2022)