Florian Zuleger

Address:
Technische Universität Wien
Institut für Informationssysteme 184/4
Florian Zuleger
Favoritenstraße 9–11
1040 Wien
Austria

Room:	HG0309 (how to get there)
Phone:	+43 (1) 58801 – 18449
Email:	ta.etysrofnull@regeluz
Web:	http://forsyte.at/~zuleger/

curriculum vitae

Teaching

183.703 Program Analysis.

185.291 Formal Methods in Computer Science.

183.580 Foundations of Digital Systems.

I’m offering student projects, click here for more information.

Publications

extended version of SAS 2011 paper

2011
[4]	Bound analysis of imperative programs with the size-change abstraction Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut VeithIn Proceedings of the 18th international conference on Static analysis, pages 280-297, 2011.Springer-Verlag [bib] [pdf]
2010
[3]	Loopus - A Tool for Computing Loop Bounds for C Programs Florian Zuleger, Moritz SinnIn Proceedings of the 3rd Workshop on Invariant Generation (WING), 2010. [bib]
[2]	The reachability-bound problem Sumit Gulwani, Florian ZulegerIn PLDI, pages 292-304, 2010. [bib]
2009
[1]	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries Johannes Kinder, Florian Zuleger, Helmut VeithIn Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, January 2009.Springer [bib]

Powered by bibtexbrowser

Uni-Finanzierung als Absurdes Theater (Der Standard)

March 28, 2012

An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. [...]

[Read More...]