Computer Science

System Software

PhD Theses

Theses in Progress

Compile Time Optimization for Partial Evaluation in a Dynamic Compiler (Florian Huemer)
Interoperability between Execution Modes in Virtual Machines (Christoph Pichler)
Grammar Mining (Andreas Pointner)

Finished Theses

2025: Data Profiling to Guide Compiler Optimizations and Data Storage Transformations (Sebastian Kloibhofer)
2025: Data Profiling to Guide Compiler Optimizations and Data Storage Transformations (Lukas Makor)
2024: Dynamic Taint Analysis in a Multi-Language Virtual Machine (Jacob Kreindl)
2023: Machine Learning-Driven Optimizations in Dynamic Compilers (Raphael Mosaner)
2022: Pattern Mining and Genetic Improvement in Compilers and Interpreters (Oliver Krauss)
2021: Detection and Analysis of Memory Anomalies in Managed Languages based on Traces (Markus Weninger)
2021: Data Analysis and Error Analytics in Large-Scale Heterogeneous Software Systems (Andreas Schörgenhumer)
2019: Thread-Safe and Efficient Data Representations in Dynamically-Typed Languages (Benoit Daloze)
2019: Simulation-based Code Duplication in a Dynamic Compiler (David Leopoldseder)
2018: Safe and Efficient Execution of LLVM-based Languages (Manuel Rigger)
2018: Trace Register Allocation (Josef Eisl)
2017: Accurate and Efficient Memory Monitoring in a Java Virtual Machine (Philipp Lengauer)
2017: Configuration-aware Program Analysis for Maintenance and Evolution in Industrial Software Product Lines (Florian Angerer)
2016: Method Profiling and Lock Contention Profiling on the Java Virtual Machine Level (Peter Hofer)
2016: Combining Speculative Optimizations with Flexible Scheduling of Side-effects (Gilles Duboscq)
2015: Cross-Language Interoperability in a Multi-Language Runtime (Matthias Grimmer)
2015: Generalized Trace Compilation for Java (Christian Häubl)
2014: Plugin-based Distributed Multi-user Web Applications with Plux (Markus Jahn)
2014: Partial Escape Analysis and Scalar Replacement for Java (Lukas Stadler)
2013: Simulation-Based Evolutionary Dynamic and Stochastic Optimization for Smart Electric Power Systems (Stephan Hutterer)
2013: Trace-based Testing of Multi-threaded Reactive Systems (Roland Schatz)
2013: Dynamic Analysis of Multi-threaded Real-time PLC Applications Using Record and Replay (Christian Wirth)
2012: Testing and Debugging of Dynamically Composed Applications (Markus Löberbauer)
2011: Dynamic Code Evolution for Java (Thomas Würthinger)
2011: An Efficient Meta-Object Protocol for Scheme (Peter Feigl)
2010: Register Allocation on the Intel Itanium Architecture (Gerolf Hoflehner)
2010: Dynamic Application Composition with Plux.NET (Reinhard Wolfinger)
2009: Semantic Assistance for Industrial Automation Based on Contracts and Verification (Dominik Hurnaus)
2009: A User-Centered Approach to Product Configuration in Software Product Line Engineering (Rick Rabiser)
2009: A Model-driven Approach to Flexible and Adaptable Software Variability Management (Deepak Dhungana)
2008: Automatisierte Auflösung zyklischer Abhängigkeiten in Softwaresystemen (Leo Savernik)
2008: Aspect-oriented Product Line Engineering (Iris Groher)
2008: Automatic Object Inlining in a Java Virtual Machine (Christian Wimmer)
2005: Escape Analysis in the Context of Dynamic Compilation and Deoptimization (Thomas Kotzmann)
2004: Context Information Framework for Pervasive Computing Environments (Wolfgang Beer)
2003: Dynamic Ordered Inheritance and Flexible Method Dispatch (Gerhard Schaber)
2002: Component-Based Programming: Tools and Languages for Component-Assembly (Dietrich Birngruber)
1999: Composable Message Semantics in Object-Oriented Programming Languages (Markus Hof)
1999: Program Slicing for Object-Oriented Programming Languages (Christoph Steindl)
1997: Oberon-D - On Adding Database Functionality to an Object-Oriented Development Environment (Markus Knasmüller)