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! |