Journals
Gradual C0: Symbolic Execution for Gradual Verification
In ACM Transactions on Programming Languages and Systems, 2024, https://dl.acm.org/doi/10.1145/3704808.
Evaluating Soundness of a Gradual Verifier with Property Based Testing
In Cornell Undergraduate Research Journal, 2(1), 17–27, 10.37513/curj.v2i1.696.
Conferences
Gradual C0: Symbolic Execution for Gradual Verification (TOPLAS)
In 52nd ACM SIGPLAN Symposium on Principles of Programming Languages, 2025.
Workshops
Formal Verification of a Software Defined Delay-Tolerant Network
In The Eleventh International Workshop on Coq for Programming Languages, co-located with POPL, 2025.
Gradual Verification of Smart Contracts
In Workshop on Principles of Secure Compilation, co-located with POPL, 2024.
Research Competitions
Optimization of a Gradual Verifier: Lazy evaluation of Iso-recursive Predicates as Equi-recursive at Runtime
In ACM SIGPLAN Symposium on Principles of Programming Languages, 2024.
Presentations
Optimization of a Gradual Verifier: Lazy evaluation of Iso-recursive Predicates as Equi-recursive at Runtime
In Midwest Programming Languages Summit, 2023.