Merge branch 'master' of github.com:ondrik/ondrik.github.io

_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/).

_pages/publications.md

@@ -11,7 +11,7 @@ classes: wide
 To appear in *Proc. of 2024 ACM/IEEE International Conference on Computer-Aided Design* --- [ICCAD'24](https://2024.iccad.com/),
 New Jersey, USA,
 pages XXX--XXX, 2024.
-PUBLISHER.
+ACM.
 A preliminary version is available [here](XXXXXXXXXXYYYYYYYYYYYYYY).
 The tool Medusa is available at [GitHub](https://github.com/s-jobra/MEDUSA/).
 **INCOMPLETE REFERENCE**
@@ -26,18 +26,17 @@ A preliminary version is available [here](https://github.com/ondrik/ondrik.githu
 **INCOMPLETE REFERENCE**
 
 * P. Habermehl, V. Havlena, M. Hecko, L. Holik, and O. Lengal.
-[Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic](https://doi.org/10.1007/XXXXXXXXXXXXXXXXXXXXXXXXXXXXX).
-To appear in *Proc. of 36th International Conference on Computer Aided Verification* --- [CAV'24](http://www.i-cav.org/2024),
+[Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic](https://doi.org/10.1007/978-3-031-65627-9_3).
+In *Proc. of 36th International Conference on Computer Aided Verification* --- [CAV'24](http://www.i-cav.org/2024),
 Montreal, Canada,
-volume XXXXXX of LNCS,
-pages XXX--XXX, 2024.
+volume 14681 of LNCS,
+pages 42--67, 2024.
 Springer-Verlag.
 A preliminary version is available [here](https://github.com/ondrik/ondrik.github.io/raw/master/publications/cav24-presburger-automata.pdf).
 An extended version appeared as the technical report [CoRR abs/2403.18995](https://arxiv.org/abs/2403.18995), 2024.
 The artifact for the paper is available at Zenodo under the DOI [10.5281/zenodo.10993434](https://doi.org/10.5281/zenodo.10993434).
 The slides from the presentation are available [here](https://github.com/ondrik/ondrik.github.io/raw/master/presentations/cav24-presburger-algebraic.pdf).
 The tool Amaya is available at [GitHub](https://github.com/MichalHe/amaya) and at [DockerHub](https://hub.docker.com/r/mheck0/amaya).
-**INCOMPLETE REFERENCE**
 
 * D. Chocholaty, T. Fiedor, V. Havlena, L. Holik, M. Hruska, O. Lengal, and J. Sic.
 [Mata: A Fast and Simple Finite Automata Library](https://doi.org/10.1007/978-3-031-57249-4_7).