Ringvorlesung: Jürgen Giesl: Inferring Expected Runtimes of Probabilistic Programs

Donnerstag, 22.04.2021, 16.30 Uhr

Vortragender: Jürgen Giesl



We present a novel modular approach to infer upper bounds on the expected runtimes of probabilistic integer programs automatically. To this end, it computes bounds on the runtimes of program parts and on the sizes of their variables in an alternating way. To evaluate its power, we implemented our approach in a new version of our tool KoAT.

In the talk, we will also illustrate the history how we developed this approach, mention the problems that occurred during the research, and show the solutions that we found.


The talks of the UnRAVeL survey lecture 2021 will be given via Zoom every Thursday from 16:30 to 18:00:


Meeting ID: 960 4371 5437

Passcode: 039217