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. |
