Journals
Evaluating Soundness of a Gradual Verifier with Property Based Testing
In Cornell Undergraduate Research Journal, 2(1), 17–27, https://doi.org/10.37513/curj.v2i1.696.
Workshops
Gradual Verification of Smart Contracts
Extended abstract. 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
Extended abstract. In ACM SIGPLAN Symposium on Principles of Programming Languages, 2024.
Presentations
Formal Verification of a Software Defined Delay-Tolerant Network
Presentation. In IEEE Workshop on Optimizing Interplanetary Communication Through Network Autonomy, 2024.
Optimization of a Gradual Verifier: Lazy evaluation of Iso-recursive Predicates as Equi-recursive at Runtime
Poster. In Midwest Programming Languages Summit, 2023.
Projects
Optimization of a Concurrent PL Model Checker
In Cornell CS 6120, Fall 2023.
Verifying the correctness of parallelism in Calyx with KATs.
In Cornell CS 6861, Spring 2024.
RNAfoldml: An OCaml package for predicting RNA secondary structure
In Cornell CS 3110, Spring 2022.