Michael Schaper

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Complexity Analysis

Top Venues

Proc. ACM Program. Lang.

DICE-FOPARA@ETAPS

Publications

Martin Avanzini, Georg Moser, Michael Schaper
Automated Expected Value Analysis of Recursive Programs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Martin Avanzini, Georg Moser, Michael Schaper
Automated Expected Value Analysis of Recursive Programs. CoRR (2023)
Martin Avanzini, Georg Moser, Michael Schaper
A modular cost analysis for probabilistic programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Martin Avanzini, Michael Schaper, Georg Moser
Modular Runtime Complexity Analysis of Probabilistic While Programs. CoRR (2019)
Georg Moser, Michael Schaper
From Jinja bytecode to term rewriting: A complexity reflecting transformation. Inf. Comput. 261 (2018)
Martin Avanzini, Michael Schaper
GUBS Upper Bound Solver (Extended Abstract). DICE-FOPARA@ETAPS (2017)
Martin Avanzini, Georg Moser, Michael Schaper
TcT: Tyrolean Complexity Tool. TACAS (2016)
Georg Moser, Michael Schaper
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems CoRR (2012)