Forschungsprojektdetails

Publikationstyp: Aufsatz / Paper in SCI-Expanded-Zeitschrift

1. Compact and efficient strings for Java

Publikationstyp: Aufsatz / Paper in sonstiger referierter Fachzeitschrift

1. Control Flow Duplication for Columnar Arrays in a Dynamic Compiler

Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)

1. LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing.
2. Lazy Sparse Conditional Constant Propagation in the Sea of Nodes
3. On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code.
4. Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
5. Generating Java Interfaces for Accessing Foreign Objects
6. Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
7. Automatic Array Transformation to Columnar Storage at Run Time
8. Automatically Transforming Arrays to Columnar Storage at Run Time
9. Dynamic Taint Analysis with Label-Defined Semantics
10. Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models
11. Machine-Learning-Based Self-Optimizing Compiler Heuristics
12. Polyglot, Label-Defined Dynamic Taint Analysis in TruffleTaint
13. CompGen: Generation of Fast JIT Compilers in a Multi-Language VM
14. Low-Overhead Multi-Language Dynamic Taint Analysis on Managed Runtimes through Speculative Optimization
15. Run-Time Data Analysis in Dynamic Runtimes
16. Run-Time Data Analysis in Dynamic Runtimes
17. Run-time Data Analysis to Drive Compiler Optimizations
18. Run-time Data Analysis to Drive Compiler Optimizations
19. Using machine learning to predict the code size impact of duplication heuristics in a dynamic compiler
20. Machine Learning to Ease Unterstanding of Data Driven Compiler Optimizations
21. Multi-language dynamic taint analysis in a polyglot virtual machine
22. SymJEx: symbolic execution on the GraalVM
23. An optimization-driven incremental inline substitution algorithm for just-in-time compilers
24. Practical second Futamura projection: partial evaluation for high-performance language interpreters
25. Renaissance: Benchmarking Suite for Parallel Applications on the JVM.
26. Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction
27. Towards efficient, multi-language dynamic taint analysis
28. Understanding GCC Builtins to Develop Better Tools
29. A cost model for a graph-based intermediate-representation in a dynamic compiler
30. An Analysis of x86-64 Inline Assembly in C Programs
31. Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows
32. Debugging Native Extensions of Dynamic Languages
33. Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations
34. Few versatile vs. many specialized collections: how to design a collection library for exploratory programming?
35. Introspection for C and its Applications to Library Robustness
36. Parallel Trace Register Allocation
37. Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine
38. Specializing ropes for ruby
39. Applying Optimizations for Dynamically-typed Languages to Java
40. Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
41. Cross-Language Compiler Benchmarking: Are we Fast Yet?
42. Efficient and thread-safe objects for dynamically-typed languages
43. GEMs: shared-memory parallel programming for Node.js
44. Sulong - Execution of LLVM-Based Languages on the JVM
45. Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
46. Trace-based Register Allocation in a JIT Compiler
47. A Formal Foundation for Trace-based JIT Compilers
48. Dynamically composing languages in a modular way: supporting C extensions for dynamic languages
49. High-performance cross-language interoperability in a multi-language runtime
50. Java-to-JavaScript translation via structured control flow reconstruction of compiler IR
51. Memory-safe Execution of C on a Java VM
52. Techniques and Applications for Guest-Language Safepoints
53. Trace register allocation
54. A domain-specific language for building self-optimizing AST interpreters
55. An efficient approach for accessing C data structures from JavaScript
56. High-performance language interoperability in multi-language runtimes
57. Partial Escape Analysis and Scalar Replacement for Java
58. Speculation without regret: reducing deoptimization meta-data in the Graal compiler
59. An efficient native function interface for Java
60. An intermediate representation for speculative optimizations in a dynamic compiler
61. Graal IR: An Extensible Declarative Intermediate Representation
62. One VM to rule them all
63. Compilation Queuing and Graph Caching for Dynamic Compilers
64. Self-optimizing AST interpreters
65. Extending the graal compiler to optimize libraries
66. Safe and atomic run-time code evolution for Java and its application to dynamic AOP
67. Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming
68. Dynamic code evolution for Java
69. Efficient coroutines for the Java platform
70. Improving aspect-oriented programming with dynamic code evolution in an enhanced Java virtual machine

Publikationstyp: Aufsatz / Paper in Tagungsband (nicht-referiert)

1. Divide and Allocate: The Trace Register Allocation Framework

Publikationstyp: Aufsatz / Paper in Sammelwerk (referiert)

1. Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks

Publikationstyp: Dissertation

1. Dynamic Taint Analysis in a Polyglot Virtual Machine
2. Machine-Learning-Based Optimization Heuristics in Dynamic Compilers
3. Combining Speculative Optimizations with Flexible Scheduling of Side-effects
4. Dynamic Code Evolution for Java

Publikationstyp: Diplom- oder Masterarbeit

1. A new Mark-and-Compact GC for GraalVM Native Image
2. Development of a Java Debugger Framework Based on the Espresso VM and Its Compilation to JavaScript
3. ECMAScript?s Pipeline Operator for Graal.js
4. FullWASM Support for GraalVM Node.js Applications
5. Symbolic Execution for Compiler Optimizations
6. Using Tree Visualizations to Facilitate Memory Leak Analysis
7. A Truffle-based Interpreter for x86 Binary Code
8. Truffle/C Interpreter
9. Serializable Coroutines for the HotSpot(TM) Java Virtual Machine

Vortragstyp: Hauptvortrag / Eingeladener Vortrag auf einer Tagung

1. Dynamic Compiler Optimizations in GraalVM, Slovakia, (13.11.2024) 

Vortragstyp: Vortrag auf einer Tagung (referiert)

1. On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code., Canada, (20.10.2024) 
2. Lazy Sparse Conditional Constant Propagation in the Sea of Nodes, Austria, (19.09.2024) 
3. LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing., Austria, (16.09.2024) 
4. Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization, Austria, (16.09.2024) 
5. Extraction of Virtual Machine Execution Traces, Portugal, (23.10.2023) 
6. Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation, Portugal, (23.10.2023) 
7. Generating Java Interfaces for Accessing Foreign Objects, Portugal, (22.10.2023) 
8. Control Flow Duplication for Columnar Arrays in a Dynamic Compiler, Japan, (16.03.2023) 
9. Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks, Japan, (15.03.2023) 
10. Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models, New Zealand, (05.12.2022) 
11. Machine-Learning-Based Self-Optimizing Compiler Heuristics, Belgium, (15.09.2022) 
12. Dynamic Taint Analysis with Label-Defined Semantics, Belgium, (14.09.2022) 
13. Run-Time Data Analysis in Dynamic Runtimes, Austria, (20.10.2021) 
14. Run-time Data Analysis to Drive Compiler Optimizations, Austria, (20.10.2021) 
15. CompGen: Generation of Fast JIT Compilers in a Multi-Language VM, Austria, (19.10.2021) 
16. Run-Time Data Analysis in Dynamic Runtimes, Austria, (19.10.2021) 
17. Run-time Data Analysis to Drive Compiler Optimizations, Austria, (19.10.2021) 
18. Low-Overhead Multi-Language Dynamic Taint Analysis on Managed Runtimes through Speculative Optimization, Germany, (30.09.2021) 
19. Using machine learning to predict the code size impact of duplication heuristics in a dynamic compiler, Germany, (30.09.2021) 
20. Machine learning to ease understanding of data driven compiler optimizations, Austria, (20.11.2020) 
21. Multi-language dynamic taint analysis in a polyglot virtual machine, Austria, (04.11.2020) 
22. SymJEx: symbolic execution on the GraalVM, Austria, (04.11.2020) 
23. Practical second Futamura projection, Greece, (21.10.2019) 
24. Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction, Greece, (21.10.2019) 
25. Towards efficient, multi-language dynamic taint analysis, Greece, (21.10.2019) 
26. Parallelization of dynamic languages: synchronizing built-in collections, United States of America, (07.11.2018) 
27. A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler, United States of America, (04.11.2018) 
28. Debugging Native Extensions of Dynamic Languages, Austria, (13.09.2018) 
29. Fast-Path Loop Unrolling of Non-Counted Loops to Enable Subsequent Compiler Optimizations, Austria, (12.09.2018) 
30. Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows, Hong Kong, (29.08.2018) 
31. Simulation-based code duplication for enhancing compiler optimizations, Canada, (24.10.2017) 
32. Applying Optimizations for Dynamically-typed Languages to Java, Czech Republic, (27.09.2017) 
33. Efficient and thread-safe objects for dynamically-typed languages, Netherlands, (03.11.2016) 
34. GEMs: shared-memory parallel programming for Node.js, Netherlands, (03.11.2016) 
35. Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle, Netherlands, (31.10.2016) 
36. Trace-based Register Allocation in a JIT Compiler, Switzerland, (31.08.2016) 
37. Sulong - Execution of LLVM-Based Languages on the JVM, Italy, (18.07.2016) 
38. Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages, Italy, (17.07.2016) 
39. High-performance cross-language interoperability in a multi-language runtime, United States of America, (27.10.2015) 
40. Java-to-JavaScript translation via structured control flow reconstruction of compiler IR, United States of America, (27.10.2015) 
41. Trace register allocation, United States of America, (27.10.2015) 
42. A Formal Foundation for Trace-based JIT Compilers, United States of America, (26.10.2015) 
43. Optimizing Communicating Event-Loop Languages with Truffle, United States of America, (26.10.2015) 
44. Memory-safe Execution of C on a Java VM, Czech Republic, (06.07.2015) 
45. Techniques and Applications for Guest-Language Safepoints, Czech Republic, (06.07.2015) 
46. Speculation without Regret: Reducing Deoptimization Meta-Data in the Graal Compiler, Poland, (26.09.2014) 
47. An Object Storage Model for the Truffle Language Implementation Framework, Poland, (24.09.2014) 
48. A Domain-Specific Language for Building Self-Optimizing AST Interpreters, Sweden, (16.09.2014) 
49. Partial Escape Analysis and Scalar Replacement for Java, United States of America, (18.02.2014) 
50. One VM to rule them all, United States of America, (31.10.2013) 
51. An intermediate representation for speculative optimizations in a dynamic compiler, United States of America, (28.10.2013) 
52. An efficient native function interface for Java, Germany, (11.09.2013) 
53. Graal IR: An extensible declarative intermediate representation, China, (23.02.2013) 

Vortragstyp: Posterpräsentation

1. Combining Execution Modes of LLVM Bitcode on GraalVM, Austria, (04.11.2024) 
2. Automatically Transforming Arrays to Columnar Storage at Run Time, Belgium, (14.09.2022) 

Vortragstyp: Andere Vorträge und Präsentationen

1. Polyglot, Label-Defined Dynamic Taint Analysis in TruffleTaint, Belgium, (14.09.2022) 
2. Extending Sulong (an LLVM bitcode runtime) for cross-language interoperability between object-oriented languages, United Kingdom of Great Britain and Northern Ireland, (11.05.2022) 
3. GraalVM und die Forschungskooperation zwischen Oracle und JKU, Austria, (13.11.2019) 

Patente

1. Online Machine Learning Based Compilation (2022)