Florian Zuleger

zuleger

Address:
Florian Zuleger
Technische Universität Wien
Institut für Informationssysteme 184/4
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

  • 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

2014
[12] Feedback Generation for Performance Problems in Introductory Programming Assignments
Sumit Gulwani, Ivan Radiček, Florian Zuleger
ArXiv e-prints, volume abs/1403.4064, March 2014.
Note: technical report/extended version of FSE14 paper
[bibtex] [pdf]
[11] Feedback Generation for Performance Problems in Introductory Programming Assignments
Sumit Gulwani, Ivan Radiček, Florian Zuleger
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), 16-21 November 2014.
Note: to appear
[bibtex] [pdf]
[10]Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (poster)
Mantas Simkus Helmut Veith Tomer Kotek, Florian Zuleger
2014, KR Workshop DL.
[bibtex]
[9]Shape and Content: Incorporating Domain Knowledge into Shape Analysis
Tomer Kotek Mantas Simkus Helmut Veith Diego Calvanese, Florian Zuleger
2014, KR Workshop DL.
[bibtex]
[8]A Simple and Scalable Approach to Bound Analysis and Amortized Complexity Analysis
Moritz Sinn, Florian Zuleger, Helmut Veith
Chapter in Computer Aided Verification, volume 8559 of Lecture Notes in Computer Science, pages 743–759, 2014, Springer Berlin Heidelberg.
[bibtex]
2013
[7] On the Concept of Variable Roles and its Use in Software Analysis
Yulia Demyanova, Helmut Veith, Florian Zuleger
ArXiv e-prints, volume abs/1305.6745, May 2013.
[bibtex] [pdf]
[6]Ramsey vs. Lexicographic Termination Proving
Byron Cook, Abigail See, Florian Zuleger
TACAS, pages 47-61, 2013.
[bibtex]
[5] On the Concept of Variable Roles and its Use in Software Analysis
Yulia Demyanova, Helmut Veith, Florian Zuleger
FMCAD, pages 226-229, 2013.
[bibtex] [pdf]
2011
[4] Bound analysis of imperative programs with the size-change abstraction
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
Proceedings of the 18th international conference on Static analysis, pages 280-297, 2011, Springer-Verlag.
[bibtex] [pdf]
2010
[3]Loopus - A Tool for Computing Loop Bounds for C Programs
Florian Zuleger, Moritz Sinn
Proceedings of the 3rd Workshop on Invariant Generation (WING), 2010.
[bibtex]
[2]The reachability-bound problem
Sumit Gulwani, Florian Zuleger
PLDI, pages 292-304, 2010.
[bibtex]
2009
[1]An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Johannes Kinder, Florian Zuleger, Helmut Veith
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.
[bibtex]
m4s0n501