From 0cad1c518c744ce6abc60633ffb3da772cac3c82 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= Date: Tue, 6 Aug 2024 15:19:50 +0200 Subject: [PATCH] Update cv.md --- _pages/cv.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/_pages/cv.md b/_pages/cv.md index 73493cf77767..4e3aae3de777 100644 --- a/_pages/cv.md +++ b/_pages/cv.md @@ -13,6 +13,7 @@ toc: true ## Membership +* [FoSSaCS'25](https://etaps.org/2025/conferences/fossacs/) Artifact Evaluation chair * [AVM'19](https://avm19.fit.vutbr.cz) co-organiser (together with [Tomáš Vojnar](https://www.fit.vutbr.cz/~vojnar) and [Jan Strejček](https://www.fi.muni.cz/~xstrejc/)) * [ATVA'19](http://atva2019.iis.sinica.edu.tw/) Artifact Evaluation chair * [TACAS'19](https://conf.researchr.org/track/etaps-2019/tacas-2019-papers) Artifact Evaluation co-chair (together with [Ernst Moritz Hahn](http://iscasmc.ios.ac.cn/?page_id=71)) @@ -44,6 +45,8 @@ toc: true ## Awards +* A co-authored string solver [Z3-Noodler](https://github.com/VeriFIT/z3-noodler) won the [QF_Strings division](https://smt-comp.github.io/2024/results/qf_strings-single-query/) (single query track) of SMT-COMP'24 under all scoring schemes, as well as the categories for the logics QF_S and QF_SLIA +* A co-authored linear integer arithmetic (LIA) solver [Amaya](https://github.com/MichalHe/amaya) won the [NIA logic](https://smt-comp.github.io/2024/results/nia-single-query/) (single query) category of SMT-COMP'24 under the 24s performance scoring scheme (and was the second under the sequential performance, parallel performance, and UNSAT performance scoring schemes, and the third under the SAT performance scoring scheme) * A Distinguished paper award for the paper [Solving String Constraints with Lengths by Stabilization](http://dx.doi.org/10.1145/3622872) at [OOPSLA'23](https://2023.splashcon.org/track/splash-2023-oopsla) * A Distinguished paper award for the paper [An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits](http://dx.doi.org/10.1145/3591270) at [PLDI'23](https://pldi23.sigplan.org/). * A Best paper award for the paper [Word Equations in Synergy with Regular Constraints](http://dx.doi.org/10.1007/978-3-031-27481-7_23) at [FM'23](https://fm2023.isp.uni-luebeck.de/).