Michael Schaper
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Georg Moser5 talks
- Martin Avanzini4 talks
- Jan Hoffmann9 talks
- Joost-Pieter Katoen14 talks
- Mathieu Huot11 talks
- Christoph Matheja8 talks
| title | conference | date |
|---|---|---|
| Automated Expected Value Analysis of Recursive Programs | PLDI 2023 | 2023-06-17 |
Defines infer[.], a term representation that translates weakest pre-expectation semantics for recursive, imperative probabilistic programs into first-order… | ||
| A Modular Cost Analysis for Probabilistic Programs | OOPSLA 2020 | 2020-11-15 |
Presents a modular method that derives symbolic upper bounds on expected resource cost for probabilistic imperative programs by combining the ERT-calculus with… | ||
| nothing matches | ||