news
| Aug 10, 2025 | Our paper - LLM-Assisted Synthesis of High-Assurance C Programs is accepted by ASE 2025! |
|---|---|
| Aug 10, 2024 | Our paper - Proof Automation with Large Language Models is accepted by ASE 2024! |
| Mar 20, 2024 | Our paper - Automated Deep Learning Optimization via DSL-based Source Code Transformation is accepted by ISSTA 2024! |
| Aug 10, 2023 | I join Purdue CS as an Ph.D. student. |