From 4c8d888dac8ed223bf67b07033eb44f7e58c99c4 Mon Sep 17 00:00:00 2001 From: nianzelee Date: Thu, 14 Mar 2024 13:18:42 +0100 Subject: [PATCH] Update news --- _pages/about.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/_pages/about.md b/_pages/about.md index fff9d3d4bea8a..08a9762bf7e37 100644 --- a/_pages/about.md +++ b/_pages/about.md @@ -10,13 +10,15 @@ redirect_from: ## News +- 2024-02-27: Our paper _Augmenting interpolation-based model checking with auxiliary + invariants_ is accepted at [SPIN 2024](https://spin-web.github.io/SPIN2024/). - 2023-12-22: Our paper _Btor2-Cert: A certifying hardware-verification framework using software analyzers_ is accepted at [TACAS 2024](https://www.etaps.org/2024/conferences/tacas/). +- 2023-12-05: Our verifier [CPV](https://gitlab.com/sosy-lab/software/cpv) ranks 6th (out of 26 tools) as a first-time participant in the category _ReachSafety_ at [SV-COMP 2024](https://sv-comp.sosy-lab.org/2024/). - 2023-09-11: I organized the [8th International Workshop on CPAchecker](https://cpa.sosy-lab.org/2023/). - 2023-09-04: I mentored a [project](https://www.sosy-lab.org/gsoc/gsoc2023.php) in the [Google Summer of Code 2023](https://summerofcode.withgoogle.com/). - 2023-07-06: Our paper [_Interpolation and SAT-based model checking revisited: Adoption to software verification_](https://doi.org/10.48550/arXiv.2208.05046) is accepted by [_Journal of Automated Reasoning_](https://www.springer.com/journal/10817). - 2023-07-06: Our paper [_CPA-DF: A tool for configurable interval analysis to boost program verification_](https://doi.org/10.1109/ASE56229.2023.00213) is accepted at [ASE 2023](https://conf.researchr.org/home/ase-2023). -- 2022-12-23: Our paper [_Bridging hardware and software analysis with Btor2C: A word-level-circuit-to-C translator_](https://doi.org/10.1007/978-3-031-30820-8_12) is accepted at [TACAS 2023](https://www.etaps.org/2023/conferences/). ## Short Biography