news
Jun 2, 2025 | Craig Liu won second place in the undergraduate category of the ACM Grand Finals SRC for his work on fractional permissions for gradual verification, congrats! ![]() |
---|---|
Apr 9, 2025 | Congrats to Conrad Zimmerman (now a PhD student at Northeastern University) for winning an NSF GRFP award! 🥳 |
Jan 14, 2025 | Our paper Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast will be presented at FORGE’25! Congrats to first authors Marilyn Rego and Wen Fan. ![]() |
Jan 10, 2025 | Our paper Gradual C0: Symbolic Execution for Gradual Verification presenting our gradual verifier Gradual C0 has been published at TOPLAS! ![]() |
Oct 24, 2024 | Craig Liu won first place in the undergraduate category of the SPLASH’24 SRC for his work titled Design of Fractional Permissions for a Gradual Verifier! ![]() |
Jan 1, 2024 | I started my new job as an Assistant Professor in ECE @ Purdue ![]() |
Dec 15, 2023 | My dissertation is now available: Gradual Verification of Recursive Heap Data Structures! |
Dec 1, 2023 | Our paper Sound Gradual Verification with Symbolic Execution was accepted for publication at POPL’24! ![]() |