3 citations · 3 across the 4 of their papers we have counts for
4 papers
Automated Expected Cost Analysis for Quantum Programs
Georg Moser, Michael Schaper
In recent years, quantum computing has gained a substantial amount of momentum, and the capabilities of quantum devices are continually expanding and improving. Nevertheless, writi…
Automated Expected Value Analysis of Recursive Programs
Martin Avanzini, Georg Moser, Michael Schaper
In this work, we study the fully automated inference of expected result values of probabilistic programs in the presence of natural programming constructs such as procedures, local…
GUBS Upper Bound Solver (Extended Abstract)
Martin Avanzini, Michael Schaper
In this extended abstract we present the GUBS Upper Bound Solver. GUBS is a dedicated constraint solver over the naturals for inequalities formed over uninterpreted function symbol…
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems
Georg Moser, Michael Schaper
We revisit known transformations from Jinja bytecode to rewrite systems from the viewpoint of runtime complexity. Suitably generalising the constructions proposed in the literature…