Our paper appears in the Festschrift dedicated to Joost-Pieter Katoen.
Our paper has been accepted for presentation at ASE 2024.
Our paper has been accepted for presentation at ACM MM 2024.
Our paper has been accepted for presentation at FM 2024.
Our work-in-progress paper has been accepted for presentation at ICWS (SRG) 2024.
Our paper has been accepted by Tsinghua Science and Technology.
Our paper has been accepted for presentation at ASPLOS 2024.
Our extended abstract has been accepted for presentation at CIBD 2024.
Our paper has been accepted for presentation at OOPSLA 2024.
