Person
Dr.Marcel Hark
Ehem. assoziierter Promotionsstudent
Adresse
| Promotionsprojekt |
|---|
| Automated Run-Time Analysis of Probabilistic Programs |
| Kollaborationen |
| Benjamin Kaminski: Advanced Weakest Precondition Calculi for Probabilistic Programs |
|
Dominik Meier: Termination and Complexity Analysis of Probabilistic Programs |
| Peter Lindner: The Theory of Infinite Probabilistic Databases |
| Engagement |
| Organisational Committee from 10.2017 – 06.2019 |
| Steering Committee since 10.2017 – 06.2019 |
| Organisation: "Dagstuhl seminar", 06.2018- 06.2019 |
| Organisation: "UnRAVeL Spring Workshop", 10.2017 – 03.2018 |
| Talks |
| Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs |
| Bi-Weekly Talk: Inductive Lower Bounds in Probabilistic Programs |
| Bi-Weekly Talk: Automated Run-Time Analysis of Probabilistic Programs |
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Buchbeitrag, Beitrag zu einem Tagungsband] Improving Automatic Complexity Analysis of Integer Programs In: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.), 193-228, 2022 [DOI: 10.1007/978-3-031-08166-8_10] | Giesl, Jürgen (Corresponding author) Lommen, Nils Hark, Marcel Tobias Meyer, Fabian Niklas |
| [Doktorarbeit] Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs, 2021 [DOI: 10.18154/RWTH-2021-06073] | Hark, Marcel Tobias |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 250-269, 2021 [DOI: 10.1007/978-3-030-72016-2_14] | Meyer, Fabian Niklas Hark, Marcel Tobias (Corresponding author) Giesl, Jürgen (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Termination of Polynomial Loops In: Static Analysis : 27th International Symposium, SAS 2020 : Virtual Event, November 18-20, 2020 : Proceedings / Pichardie, David, Sighireanu, Mihaela (Eds.), 89-112, 2020 [DOI: 10.1007/978-3-030-65474-0_5] | Frohn, Florian Hark, Marcel Tobias (Corresponding author) Giesl, Jürgen |
| [Bericht] UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020 | Katoen, Joost-Pieter Ritzert, Martin Wilke, Richard Marlon Dannert, Katrin M. Lindner, Peter et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Polynomial Loops: Beyond Termination In: Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 279-297, 2020 [DOI: 10.29007/nxv1] | Hark, Marcel Tobias Frohn, Florian Giesl, Jürgen |
| [Konferenzbeitrag, Fachzeitschriftenartikel] Aiming low is harder: induction for lower bounds in probabilistic program verification In: Proceedings of the ACM on programming languages, 4 (POPL), 1-28, 2020 [DOI: 10.1145/3371105] | Hark, Marcel Tobias (Corresponding author) Kaminski, Benjamin Lucien Giesl, Jürgen Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Computing Expected Runtimes for Constant Probability Programs In: Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : Proceedings / Pascal Fontaine (Ed.), 269-286, 2019 [DOI: 10.1007/978-3-030-29436-6_16] | Giesl, Jürgen Giesl, Peter Hark, Marcel Tobias (Corresponding author) |