Come by my office (or email) if you are interested in work concerning program analysis, virtual machines or functional programming.
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
Master's thesis: Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint
Publications of Ralf Vogler
The following articles appeared in peer-reviewed journals. The copyright of these articles lies with the respective journals.
The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.