Person

Marcel Hark

M. Sc. RWTH

Assoziierter Promotionsstudent

Marcel Hark Urheberrecht: Marcel Hark
Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation)

Adresse

Raum: 4208

Ahornstr. 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21214
Fax Fax: +49 241 80 22217
 
Promotionsprojekt
Automated Run-Time Analysis of Probabilistic Programs
Kollaborationen
Benjamin Kaminski: Advanced Weakest Precondition Calculi for Probabilistic Programs
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]
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 (Corresponding author)
Giesl, Jürgen
[Bericht]
UnRAVeL - Research Training Group, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin
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
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 (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 (Corresponding author)