Registered user since Tue 17 Jan 2023
I’m an undergrad @ Cornell University working towards computer science and philosophy degrees. My main research goals involve developing practical tools for software verification in general and domain-specific cases through programming language theory.
|POPL 2023||Evaluating Soundness of a Gradual Verifier with Property Based Testing|
|Show activities from other conferences|
View general profile