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)
  • Cross-Language Data Analysis in a Dynamic Compiler (Sebastian Kloibhofer)
  • Cross-Language Data Analysis in Dynamic Runtimes (Lukas Makor)
  • Dynamic Taint Analysis in a Multi-Language Virtual Machine (Jacob Kreindl)
  • Reproducing Nondeterminism in Multi-paradigm Concurrent Programs (Dominik Aumayr)
  • FORCE-Environment (Daniel Hinterreiter)

Finished Theses