Our project proposal has been granted for funding by the CCF-Huawei Populus Grove Fund.
Our paper has been accepted for presentation at OOPSLA 2023.
Our paper has been accepted for presentation at TACAS 2023.
Our extended abstract has been accepted for presentation at LAFI 2023.
We have just launched this website for our FICTION research group at ZJU.
