news
| Jan 16, 2024 | 🗨️ I presented the paper Generation of Violation Witnesses by Under-Approximating Abstract Interpretation at VMCAI 24. |
|---|---|
| Dec 21, 2023 | 📝 The competition contribution of MOPSA at SV-COMP 24 is accepted. |
| Oct 22, 2023 | 🧑💼 I was a student volunteer at SAS 2023. |
| Oct 11, 2023 | 📝 The paper Generation of Violation Witnesses by Under-Approximating Abstract Interpretation is accepted at VMCAI 2024. |
| Apr 22, 2023 | 🧑💼 I was a student volunteer at ETAPS 2023. |
| Dec 06, 2022 | 🗨️ I presented the paper Local Completeness Logic on Kleene Algebra with Tests at SAS 2022. |
| Sep 06, 2022 | 📝 The paper Local Completeness Logic on Kleene Algebra with Tests is accepted at SAS 2022. |