Our project proposal has been granted for funding by the China Aerospace Science and Technology Corporation (CASC).
Two papers have been accepted for presentation at MICRO 2025.
Our paper has been accepted by IEEE Transactions on Computers.
Our project proposal has been granted for funding by the CCF-Huawei Populus Grove Fund.
Our paper has been accepted by ACL 2025 Findings.
Our paper has been accepted for presentation at IJCAI 2025.
Our paper has been accepted by Journal of Computer Science and Technology.
Our paper has been accepted for presentation at CAV 2025.
Our paper has been accepted by Journal of Software.
Our tool Parf has been awarded the 2nd prize in the Software Prototype System Competition at ChinaSoft 2024.
