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.