Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Lehrstuhl Mitarbeiter Dr. Michael Petter login

Dr. Michael Petter

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

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

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

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

  1. Stefan Schulze Frielinghaus, Michael Petter and Helmut Seidl. Inter-procedural Two-Variable Herbrand Equalities. Programming Languages and Systems, volume 9032 of Lecture Notes in Computer Science, pages 457-482, 2015. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

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

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

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

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

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

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

  1. Andrea Flexeder, Michael Petter and Helmut Seidl. Improvements on the cache behaviour prediction by modular arithmetic. , 2009.

    Detail: Abstract Download: PDF Reference: Bibtex

  2. Andrea Flexeder, Michael Petter and Helmut Seidl. Analysis of executables for WCET concerns. , 2008.

    Detail: Abstract Download: PDF Reference: Bibtex

  3. Michael Petter and Helmut Seidl. Inferring Polynomial Invariants. Workshop on Numerical and Symbolic Abstract Domains, Paris, France, 2005.

    Detail: Abstract Download: PDF Reference: Bibtex



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 12 ms