Update publications.md

ondrik · Jan 11, 2025 · 7d68d23 · 7d68d23
1 parent 3d39c5c
commit 7d68d23
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/_pages/publications.md b/_pages/publications.md
@@ -8,15 +8,14 @@ classes: wide
 
 * P. A. Abdulla, Y. Chen, Y. Chen, L. Holik, O. Lengal, J. Lin, F. Lo, and W. Tsai.
 [Verifying Quantum Circuits with Level-Synchronized Tree Automata](https://doi.org/10.1145/3704868).
-To appear in *Proc. of 52nd ACM SIGPLAN Symposium on Principles of Programming Languages* --- [POPL'25](https://popl25.sigplan.org/), PACMPL 9 (32),
+In *Proc. of 52nd ACM SIGPLAN Symposium on Principles of Programming Languages* --- [POPL'25](https://popl25.sigplan.org/), PACMPL 9 (32),
 Denver, Colorado, USA,
-pages XXX--YYY, 2025.
+pages 923--953, 2025.
 ACM.
 A preliminary version is available [here](https://github.com/ondrik/ondrik.github.io/raw/master/publications/popl25-lstas-for-quantum.pdf).
 An extended version appeared as the technical report [CoRR abs/2410.18540](https://arxiv.org/abs/2410.18540), 2024.
 The artifact for the paper is available at Zenodo under the DOI [10.5281/zenodo.13957472](https://doi.org/10.5281/zenodo.13957472).
 The tool AutoQ is available at [GitHub](https://github.com/alan23273850/AutoQ/).
-**INCOMPLETE REFERENCE**
 
 
 # 2024