logo of the SSW institute ;)
Computer Science
System Software

Home

General
Staff
Contact
Partners
Alumni

Research
Areas
Projects
Papers
Books
Reports
Awards

Teaching
Lectures
Exams
B.Projects
M.Theses
PhD Theses
Go Abroad

Misc
Talks
Library
Gallery
Links
Search

Webmaster


PhD Theses


Theses in Progress

  • Dynamic Type Refinement for Statically-typed Languages (Thomas Feichtinger)
  • Safe Execution of LLVM-based Languages (Manuel Rigger)
  • Register Allocation for Feedback-directed, Speculative Just-in-Time Compilation (Josef Eisl)
  • A Language Core Focused on Extensibility, Efficiency and Safety (Bernhard Scholze)
  • protectedNET: Self-Protection in Netzen mit dynamischen Teilnehmern (Fabian Berner)

Finished Theses