Recent publications
Article
Goncharov, S, Milius, S, Schröder, L, Tsampas, S & Urbat, H 2025, 'Bialgebraic Reasoning on Stateful Languages', Proceedings of the ACM on Programming Languages, vol. 9, no. ICFP, 244, pp. 246-275. https://doi.org/10.1145/3747513
Goncharov, S, Partow, P & Tsampas, S 2025, 'Big Steps in Higher-Order Mathematical Operational Semantics', Proceedings of the ACM on Programming Languages, vol. 9, no. ICFP, 271, pp. 1007-1035. https://doi.org/10.1145/3747540
Goncharov, S, Hofmann, D, Nora, P, Schröder, L & Wild, P 2024, 'A point-free perspective on lax extensions and predicate liftings', Mathematical Structures in Computer Science, vol. 34, no. 2, pp. 98–127. https://doi.org/10.1017/S096012952300035X
Conference article
Goncharov, S, Tsampas, S & Urbat, H 2025, 'Abstract Operational Methods for Call-by-Push-Value', Proceedings of the ACM on Programming Languages, vol. 9, no. POPL, pp. 1013-1039. https://doi.org/10.1145/3704871
Conference contribution
Goncharov, S, Hofmann, D, Nora, P, Schröder, L & Wild, P 2025, Identity-Preserving Lax Extensions and Where to Find Them. in O Beyersdorff, M Pilipczuk, E Pimentel & NK Thang (eds), 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025., 40, Leibniz International Proceedings in Informatics, LIPIcs, vol. 327, Schloss Dagstuhl, 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025, Jena, Germany, 4/03/25. https://doi.org/10.4230/LIPIcs.STACS.2025.40
Bowler, N, Goncharov, S & Levy, P 2025, Probabilistic Strategies: Definability and the Tensor Completeness Problem. in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Proceedings - Symposium on Logic in Computer Science, IEEE, pp. 485-498, 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, Singapore, 23/06/25. https://doi.org/10.1109/LICS65433.2025.00043
Goncharov, S, Hofmann, D, Nora, P, Schroder, L & Wild, P 2025, Relators and Notions of Simulation Revisited. in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Proceedings - Symposium on Logic in Computer Science, IEEE, pp. 776-789, 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, Singapore, 23/06/25. https://doi.org/10.1109/LICS65433.2025.00064
Goncharov, S & Uustalu, T 2024, A Unifying Categorical View of Nondeterministic Iteration and Tests. in R Majumdar & A Silva (eds), 35th International Conference on Concurrency Theory, CONCUR 2024., 25, Leibniz International Proceedings in Informatics, LIPIcs, vol. 311, Schloss Dagstuhl, 35th International Conference on Concurrency Theory, CONCUR 2024, Calgary, Canada, 9/09/24. https://doi.org/10.4230/LIPIcs.CONCUR.2024.25
Goncharov, S, Milius, S, Tsampas, S & Urbat, H 2024, Bialgebraic Reasoning on Higher-order Program Equivalence. in LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science., 39, Proceedings - Symposium on Logic in Computer Science, Association for Computing Machinery (ACM), 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, 8/07/24. https://doi.org/10.1145/3661814.3662099
Goncharov, S, Santamaria, A, Schröder, L, Tsampas, S & Urbat, H 2024, Logical Predicates in Higher-Order Mathematical Operational Semantics. in N Kobayashi & J Worrell (eds), Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. vol. 2, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14575 LNCS, Springer, pp. 47-69, 27th International Conference on Foundations of Software Science and Computation Structures, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-57231-9_3
Goncharov, S, Milius, S, Schröder, L, Tsampas, S & Urbat, H 2023, Higher-Order Mathematical Operational Semantics (Early Ideas). in P Baldan & V de Paiva (eds), 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)., 24, Leibniz International Proceedings in Informatics, LIPIcs, vol. 270, Schloss Dagstuhl, pp. 24:1-24:3, 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, United States, 19/06/23. https://doi.org/10.4230/LIPIcs.CALCO.2023.24
Goncharov, S, Hofmann, D, Nora, P, Schröder, L & Wild, P 2023, Kantorovich Functors and Characteristic Logics for Behavioural Distances. in O Kupferman & P Sobocinski (eds), Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Lecture Notes in Computer Science, vol. 13992, Springer, pp. 46-67, 26th International Conference on Foundations of Software Science and Computational Structures, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30829-1_3
Forster, J, Goncharov, S, Hofmann, D, Nora, P, Schröder, L & Wild, P 2023, Quantitative Hennessy-Milner Theorems via Notions of Density. in B Klin & E Pimentel (eds), 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)., 22, Leibniz International Proceedings in Informatics, LIPIcs, vol. 252, Schloss Dagstuhl, pp. 22:1-22:20, 31st EACSL Annual Conference on Computer Science Logic, Warsaw, Poland, 13/02/23. https://doi.org/10.4230/LIPIcs.CSL.2023.22
Goncharov, S 2023, Representing Guardedness in Call-By-Value. in M Gaboardi & F van Raamsdonk (eds), 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023., 34, Leibniz International Proceedings in Informatics, LIPIcs, vol. 260, Schloss Dagstuhl, pp. 34:1-34:21, 8th International Conference on Formal Structures for Computation and Deduction , Rome, Italy, 3/07/23. https://doi.org/10.4230/LIPIcs.FSCD.2023.34
Goncharov, S 2023, Shades of Iteration: From Elgot to Kleene. in A Madeira & MA Martins (eds), Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Revised Selected Papers. Lecture Notes in Computer Science, vol. 13710, Springer, pp. 100-120, 26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, Aveiro, Portugal, 28/06/22. https://doi.org/10.1007/978-3-031-43345-0_5
View all publications in research portal