I head the
Institute for System Software
at the Johannes Kepler University Linz. My work focuses on programming language
implementation techniques, compilation, complex concurrent systems, and tooling.
I am personally interested in making interpreters faster, detecting and
preventing concurrency bugs at run time, and use modern language
runtime systems to provide programmers with better tooling.
Debugging concurrent systems is pretty hard,
and we worked already for a while to make things a
bit better.
However, a big remaining problem is that bugs are not easily reproduced.