Publications 2023
Contributions to Books / Journals
Journal Article (Proceedings Paper)
-
Avanzini, Martin; Moser, Georg; Péchoux, Romain; Perdrix, Simon; Zamdzhiev, Vladimir (forthcoming): Quantum Expectation Transformers for Cost Analysis.
In: Electronic Proceedings in Theoretical Computer Science. (Web link) -
Avanzini, Martin; Moser, Georg; Schaper, Michael (2023): Automated Expected Value Analysis of Recursive Programs.
In: Proceedings of the ACM on Programming Languages 7, pp. 1050 - 1072. (DOI) (Web link)
Proceedings Article (Full Paper)
-
Frontull, Samuel; Moser, Georg; van Oostrom, Vincent (2023): α-Avoidance.
In: Gaboardi, M.; van Raamsdonk, F.: Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 260)., ISBN 978-3-95977-277-8, No. 22. (DOI) (Web link)
Lectures 2023
Presentations at Conferences, Symposia, etc.
Conference Lecture (Upon Registration)
-
Lecturer(s): Moser, Georg Co-author(s): Avanzini, Martin; Schaper, Michael: Automated Expected Value Analysis of Recursive Programs.
PLDI 2023 - Programming Language Design and Implementation, Orlando, 2023-06-20. (Web link)
Guest Lectures
Guest Lecture
-
Lecturer(s): Moser, Georg: Automated Expected Cost Analysis of Splaying et al.
Carnegie Mellon University, Pittsburgh, 2023-06-08. (Web link)
Projects, scholarships and other third-party funds 2023
Research Projects
-
Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
Istitut Ladin Micurà de rü
2021-09-01 - 2024-08-31 -
Moser, Georg: AUTOSARD. Automated Sublinear Amortised Resource Analysis of Data Structures.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
2023-04-01 - 2026-03-31
Scholarships
-
Moser, Georg: Royal Society International Exchange Award.
The Royal Society of London for Improving Natural Knowledge
2023-03-31 - 2025-03-30
Academic Activities and Achievements 2023
Supervision of Student Theses
-
Moser, Georg: Maringele, Alexander: Instantiation-based First-Order Theorem Proving with Equality (2015 - 2023).