Ralf Vogler

Name: Ralf Vogler Raum: 02.07.059 Tel: +49 89 289 18178 eMail: ralf.vogler<at>tum.de Visitenkarte:

About

I work on our static program analysis framework goblint [github].

Jobs

Come by my office (or email) if you are interested in work concerning program analysis, virtual machines or functional programming.

Teaching

WS18: Functional Programming and Verification

SS18: Virtual Machines

WS17: Einführung in die Informatik 2

SS17: Virtual Machines

WS16: Program Optimization

SS16: Grundlagen Algorithmen und Datenstrukturen

WS15: Einführung in die Informatik 2

SS15: Grundlagen Algorithmen und Datenstrukturen

WS14: Program Optimization

SS14: Virtual Machines

Publications

dblp, Google Scholar

Master's thesis: Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint

Publications of Ralf Vogler

Journal Articles

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

1. Stefan Schulze Frielinghaus, Helmut Seidl and Ralf Vogler. Enforcing Termination of Interprocedural Analysis. Formal Methods in System Design, , 2017.

   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, Helmut Seidl and Ralf Vogler. Enforcing Termination of Interprocedural Analysis. In Xavier Rival, editor, Proceedings of the 23rd International Symposium on Static Analysis, SAS, volume 9837 of Lecture Notes in Computer Science, pages 447--468, 2016. Springer.

   Reference: Bibtex The original publication is available at www.springerlink.com

angehängte Dateien:

fb_scaled.jpg