From f3fd9468eb53d1605f7c4bea1f6cd1a4ac1b7745 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= Date: Mon, 16 Oct 2023 09:55:53 +0200 Subject: [PATCH] Update publications.md --- _pages/publications.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/_pages/publications.md b/_pages/publications.md index b37ae5601b41..d691af132126 100644 --- a/_pages/publications.md +++ b/_pages/publications.md @@ -8,13 +8,12 @@ classes: wide * Y. Chen, D. Chocholaty, V. Havlena, L. Holik, O. Lengal, and J. Sic. -[Solving String Constraints with Lengths by Stabilization](https://doi.org/XXXXXXXXXXXXXXXXXXXXXXX). +[Solving String Constraints with Lengths by Stabilization](https://doi.org/10.1145/3622872). In *Proc. of the ACM on Programming Languages* --- [OOPSLA'23](https://2023.splashcon.org/track/splash-2023-oopsla) issue (for Object-Oriented Programming, Systems, Languages, and Applications), -volume XXXXXX of PACMPL, article number YYYYYYY, 2023. ACM. +volume 7 of PACMPL (number OOPSLA2), article number 296, 2023. ACM. A preliminary version is available [here](https://github.com/ondrik/ondrik.github.io/raw/master/publications/oopsla23-noodles-with-strings.pdf). The artifact for the paper is available at Zenodo under the DOI [10.5281/zenodo.8289595](https://doi.org/10.5281/zenodo.8289595). The tool Z3-Noodler is available at [GitHub](https://github.com/VeriFIT/z3-noodler). -**incomplete reference** * Y. Chen, K. Chung, O. Lengal, J. Lin, W. Tsai. [AutoQ: An Automata-based Quantum Circuit Verifier](https://doi.org/10.1007/978-3-031-37709-9_7).