Portrait Dipl.-Ing. Jacob Kreindl, BSc.

Address: Altenberger Straße 69, 4040 Linz, Austria
Building: Computer Science Building (S3) Room: 202
Phone: + 43-732-2468-4349
Fax: + 43-732-2468-4345
Email: jacob.kreindl@jku.at

Research

As part of the collaboration between SSW and Oracle Labs I am working on the GraalVM project. My work focuses mostly on the LLVM IR interpreter Sulong and its interaction with other GraalVM-based language runtimes. For my PhD I am working on supporting dynamic taint analysis on GraalVM. The concept of dynamic taint analysis is to track the propagation of specific data while a program executes. My research addresses limitations of current implementations of this, such as language support and performance, by exploiting the capabilities of a managed runtime, more precisely of GraalVM.

Research Interests

  • Compilers & Interpreters
  • Virtual Machines
  • Dynamic Program Analysis
  • Tooling Support for Virtual Machines

Projects

  • TruffleTaint: Efficient Polyglot Dynamic Taint Analysis (PhD Thesis)
  • Sulong: Efficient Execution of LLVM IR on the JVM
    • LLVM IR Parser (Master Project)
    • Intstrumentation Support for Debugging, Tracing, and other Tooling (Master Thesis)

Publications

Tool Demonstrations & Other Presentations

Demos


Teaching

Lectures

Bachelor Thesis Advisor

  • Character-Level Taint Tracking for Strings in Graal.js (Finished)
  • Expression Evaluation for Debugging with Sulong (Finished)
  • Partial Support for PThreads in Sulong (Finished)