Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Dr. Andrea Flexeder login

Dr. Andrea Flexeder

Name:Dr. Andrea Flexeder
Raum:-
Tel:-
eMail:flexeder<at>in.tum.de
Visitenkarte:

Projects:

 

Interests:

  • Compiler construction:
    GNU linux cross powerpc-eabi (tutorial)
  • Program analysis and verification:
    verification and inference of program invariants (invar)
    linear inequality relations (linrel)

Publications of Andrea Flexeder

Theses

  1. Andrea Flexeder. Interprocedural Analysis of Low-Level Code. PhD thesis, Institut für Informatik, Technische Universität München June 2011.

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

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

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

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

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



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