Publications

ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge

Published in USENIX Security, 2024

This paper presents ZKSMT, a zero-knowledge protocol for validating proofs of SMT theorems.

Checking Equivalence in a Non-strict Language

Published in OOPSLA, 2022

This paper presents Nebula, the first fully automated expression equivalence checker for non-strict functional languages.

Download here

Automated Feedback Generation for Competition-Level Code

Published in ASE, 2022

This paper presents Clef, an automated feedback generator designed to handle submissions for competition-level programming problems.