Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Latest News
Book Chapter in JPK's Festschrift
Our paper appears in the Festschrift dedicated to Joost-Pieter Katoen.
Nov 13, 2024
Paper Accepted by ASE 2024
Our paper has been accepted for presentation at ASE 2024.
Aug 25, 2024
Paper Accepted by ACM MM 2024
Our paper has been accepted for presentation at ACM MM 2024.
Jul 16, 2024
Paper Accepted by FM 2024
Our paper has been accepted for presentation at FM 2024.
Jun 11, 2024
Paper Accepted by ICWS (SRG) 2024
Our work-in-progress paper has been accepted for presentation at ICWS (SRG) 2024.
Jun 5, 2024
Paper Accepted by Tsinghua Sci. Tech.
Our paper has been accepted by Tsinghua Science and Technology.
May 8, 2024
Paper Accepted by ASPLOS 2024
Our paper has been accepted for presentation at ASPLOS 2024.
Mar 20, 2024
Paper Accepted by CIBD 2024
Our extended abstract has been accepted for presentation at CIBD 2024.
Mar 18, 2024
Paper Accepted by OOPSLA 2024
Our paper has been accepted for presentation at OOPSLA 2024.
Feb 24, 2024
Paper Accepted by ASPLOS 2024
Our paper has been accepted for presentation at ASPLOS 2024.
Jan 15, 2024
«
»
Cite
×
