Home
General
Staff
Contact
Partners
Alumni
Research
Areas
Projects
Papers
Books
Reports
Awards
Teaching
Lectures
Exams
B.Theses
M.Theses
PhD Theses
Go Abroad
Misc
Talks
Library
Gallery
Links
Search
Webmaster
|
|
Dipl.-Ing. Jacob Kreindl, BSc.
|
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
-
Dynamic
Taint Analysis with Label-Defined Semantics [doi, preprint]
Jacob Kreindl, Daniele Bonetta, Lukas Stadler, David Leopoldseder, Hanspeter
Mössenböck
Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, 2022
-
Low-Overhead Multi-Language
Dynamic
Taint Analysis on Managed Runtimes through Speculative Optimization [doi, preprint]
Jacob Kreindl, Daniele Bonetta, Lukas Stadler, David Leopoldseder, Hanspeter
Mössenböck
Proceedings of the 18th International Conference on Managed Programming Languages and Runtimes, 2021
-
Multi-Language Dynamic
Taint Analysis in a Polyglot Virtual Machine [doi, preprint]
Jacob Kreindl, Daniele Bonetta, Lukas Stadler, David Leopoldseder, Hanspeter
Mössenböck
Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes, 2020
-
Towards Efficient,
Multi-Language Dynamic Taint Analysis [doi, preprint]
Jacob Kreindl, Daniele Bonetta, Hanspeter Mössenböck
Proceedings of the 16th International Conference on Managed Programming Languages and Runtimes, 2019
-
Debugging Native Extensions
of Dynamic Languages [doi, preprint]
Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck
Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018
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)
|