Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Latest News
Book Chapter in MF's Festschrift
Our paper appears in the Festschrift dedicated to Martin Fränzle.
May 11, 2026
Paper Accepted by Inf. Comput.
Our paper has been accepted by Information and Computation.
May 4, 2026
Paper Accepted by HSCC 2026
Our paper has been accepted for presentation at HSCC 2026.
Jan 30, 2026
Paper Accepted by OOPSLA 2026
Our paper has been unconditionally accepted for presentation at OOPSLA 2026.
Dec 18, 2025
Paper Accepted by Form. Asp. Comput.
Our paper has been accepted by Formal Aspects of Computing.
Dec 8, 2025
Paper Accepted by IEEE Trans. Inf. Forensics Secur.
Our paper has been accepted by IEEE Transactions on Information Forensics & Security.
Oct 9, 2025
NSFC General Program Granted
Our project proposal has been granted for funding by the NSFC General Program.
Aug 27, 2025
Paper Accepted by SPLASH (LMPL) 2025
Our position paper has been accepted for presentation at SPLASH (LMPL) 2025.
Aug 9, 2025
Aerospace Open Fund Project Proposal Granted
Our project proposal has been granted for funding by the China Aerospace Science and Technology Corporation (CASC).
Jul 18, 2025
Two Papers Accepted by MICRO 2025
Two papers have been accepted for presentation at MICRO 2025.
Jul 15, 2025
»
Cite
×
