Dr. Michael Petter

Name:	Dr. Michael Petter
Raum:	02.07.060
Tel:	+49 89 289 18150
eMail:	petter<at>cs.tum.edu
Visitenkarte:

Research

Current projects

Interests

Compiler construction
Program analysis
Abstract interpretation
Programming languages
Reverse Engineering
Computer architectures
Concurrent programming
Innovative programming models

GPG Key:

0x60B5562C

o0uysgatqahcxbhq

Publications of Michael Petter

Theses

Michael Petter. Interprocedural Polynomial Invariants. PhD thesis, Institut für Informatik, Technische Universität München September 2010. Verlag Dr. Hut.
Detail: Abstract Download: PDF Reference: Bibtex

Journal Articles

The following articles appeared in peer-reviewed journals. The copyright of these articles lies with the respective journals.

Stefan Schulze Frielinghaus, Michael Petter and Helmut Seidl. Inter-procedural Two-Variable Herbrand Equalities. Logical Methods in Computer Science, 13(2), 2017.
Reference: Bibtex Electronic Copy: DOI
Andrea Flexeder, Markus Müller-Olm, Michael Petter and Helmut Seidl. Fast Interprocedural Linear Two-Variable Equalities. ACM Trans. Program. Lang. Syst., 33(6), 2011.
Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

Stefan Schulze Frielinghaus, Michael Petter and Helmut Seidl. Inter-procedural Two-Variable Herbrand Equalities. In Jan Vitek, editor, Proceedings of the 24th European Symposium on Programming, ESOP, volume 9032 of Lecture Notes in Computer Science, pages 457--482, 2015. Springer.
Reference: Bibtex The original publication is available at www.springerlink.com
Andrea Flexeder, Michael Petter and Helmut Seidl. Side-Effect Analysis of Assembly Code. 18th International Symposium on Static Analysis, pages 77-94, Venice, Italy, 2011.
Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI
Andrea Flexeder, Bogdan Mihaila, Michael Petter and Helmut Seidl. Interprocedural Control Flow Reconstruction. In Kazunori Ueda, editor, Asian Symposium on Program Languages and Systems, volume 6461 of Lecture Notes in Computer Science, pages 188-203, Shanghai, China, November 2010. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
Helmut Seidl, Andrea Flexeder and Michael Petter. Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ . In María Alpuente and Germán Vidal, editors, Static Analysis, volume 5079 of Lecture Notes in Computer Science, pages 299-314, Valencia, Spain, July 2008. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
Helmut Seidl, Andrea Flexeder and Michael Petter. Interprocedurally Analysing Linear Inequality Relations. In Rocco De Nicola, editor, Programming Languages and Systems, volume 4421 of Lecture Notes in Computer Science, pages 284-299, Braga, Portugal, April 2007. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
Markus Müller-Olm, Michael Petter and Helmut Seidl. Interprocedurally Analyzing Polynomial Identities. In Bruno Durand and Wolfgang Thomas, editors, 23rd Annual Symposium on Theoretical Aspects of Computer Science, volume 3884 of Lecture Notes in Computer Science, pages 50-67, Marseille, France, February 2006. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
Andrea Flexeder, Michael Petter and Helmut Seidl. Interprocedurally Analysing Linear Inequalities. 18th Nordic Workshop on Programming Theory, Reykjavik, Iceland, 2006.
Detail: Abstract Download: PDF Reference: Bibtex

Workshop Papers and Technical Reports

Andrea Flexeder, Michael Petter and Helmut Seidl. Improvements on the cache behaviour prediction by modular arithmetic. , 2009.
Detail: Abstract Download: PDF Reference: Bibtex
Andrea Flexeder, Michael Petter and Helmut Seidl. Analysis of executables for WCET concerns. , 2008.
Detail: Abstract Download: PDF Reference: Bibtex
Michael Petter and Helmut Seidl. Inferring Polynomial Invariants. Workshop on Numerical and Symbolic Abstract Domains, Paris, France, 2005.
Detail: Abstract Download: PDF Reference: Bibtex