- Paper accepted at ISSAC’22
- Paper accepted at CAV’22
- Paper accepted in JCST
- Paper accepted at ICSE’22
- Paper accepted at VMCAI’22
- Paper accepted at VMCAI’22
- Jianlin Li passed his master thesis defense
- Pengfei Yang passed his PhD thesis defense
- We organize MEMOCODE 2021
- Junnan Xu Passed his master thesis defense