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! :sparkles:
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. :sparkles:
Jan 10, 2025 Our paper Gradual C0: Symbolic Execution for Gradual Verification presenting our gradual verifier Gradual C0 has been published at TOPLAS! :sparkles:
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! :sparkles:
Jan 1, 2024 I started my new job as an Assistant Professor in ECE @ Purdue :purple_heart:
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! :sparkles: