Moritz Sinn
Address:
Moritz Sinn
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
Room: | HE 03 09 (how to get there) |
Phone: | +43 (1) 58801 – 184 07 |
Email: | sinn@forsyte.at |
Web: | http://forsyte.at/~sinn/ |
I am the main developer of the program analysis tool loopus. loopus analyzes C programs and can statically determine bounds on the number loop iterations and on program complexity.
Publications
2017 | |
[6] | Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints Journal of Automated Reasoning, pages 1–43, 2017. |
2016 | |
[5] | Automated Complexity Analysis for Imperative Programs 2016, PhD thesis, TU Wien, Faculty of Informatics. |
2015 | |
[4] | Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs Formal Methods in Computer-Aided Design (FMCAD) (Roope Kaivola, Thomas Wahl, eds.), pages 144-151, 2015, IEEE. |
2014 | |
[3] | A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis Chapter in Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pages 745–761, 2014. |
2011 | |
[2] | Bound analysis of imperative programs with the size-change abstraction Proceedings of the 18th international conference on Static analysis, pages 280–297, 2011, Springer-Verlag. |
2010 | |
[1] | Loopus - A Tool for Computing Loop Bounds for C Programs Proceedings of the 3rd Workshop on Invariant Generation (WING), 2010. |