ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Tue 14 Oct 2025 17:20 - 17:35 at Peony SE - Research Paper 3 & Tools Chair(s): Jeremy Singer

The increasing prevalence of heterogeneous computing systems, incorporating accelerators like GPUs, has spurred the development of advanced frameworks to bring high performance capabilities to managed languages. TornadoVM is a state-of-the-art, open-source framework for accelerating Java programs. It enables Java applications to offload computation onto GPUs and other accelerators, thereby bridging the gap between the high-level abstractions of the Java Virtual Machine (JVM) and the low-level, performance-oriented world of parallel programming models, such as OpenCL and CUDA. However, this bridging comes with inherent trade-offs. The semantic and operational mismatch between these two worlds - such as managed memory versus explicit memory control, or dynamic JIT compilation versus static kernel generation — forces TornadoVM to limit or exclude support for certain Java features. These limitations can hinder developer productivity and make it difficult to identify and resolve compatibility issues during development.

This paper introduces the Dynamic&Static Inspector (DSI), a tool that simplifies development with TornadoVM by detecting incompatible Java constructs through static and dynamic analysis. DSI is developed as an open-source IntelliJ IDEA plugin that provides immediate, source-linked feedback within the developer’s workflow. We present the architecture of DSI, detail its inspection mechanisms, and evaluate its effectiveness in improving the development workflow for TornadoVM users. DSI is publicly available and offers a practical solution for enhancing developer experience and productivity in heterogeneous managed runtime environments.

Tue 14 Oct

Displayed time zone: Perth change

16:00 - 17:40
Research Paper 3 & ToolsMPLR at Peony SE
Chair(s): Jeremy Singer University of Glasgow
16:00
25m
Talk
Existentialize your Generics
MPLR
Dimi Racordon EPFL, LAMP, Matt Bovel EPFL, Hamza Remmal EPFL, LAMP
16:25
25m
Talk
Fast and Compact: Reducing Size of AOT-Compiled Java Code Without Sacrificing Performance
MPLR
Christoph Pichler Johannes Kepler University Linz, Bernhard Urban-Forster Oracle Labs, Paley Li Oracle, Roland Schatz Oracle Labs, Hanspeter Mössenböck JKU Linz
DOI
16:50
15m
Talk
Fast & Easy ASTs for Flexible Embedded InterpretersWIP Research
MPLR
Michael Homer Victoria University of Wellington, James Noble Independent. Wellington, NZ
DOI Pre-print
17:05
15m
Talk
TornadoViz: Visualizing Heterogeneous Execution Patterns in Modern Managed Runtime SystemsTools
MPLR
Michail Papadimitriou University of Manchester, Maria Xekalaki University of Manchester, UK, Athanasios Stratikopoulos University of Manchester, Orion Papadakis University of Manchester, Juan Fumero Oracle, Christos Kotselidis University of Manchester/Nimble Innovation
17:20
15m
Talk
Dynamic and Static Code Analysis for Java Programs on Heterogeneous HardwareTools
MPLR
Athanasios Stratikopoulos University of Manchester, Tianyu Zuo CCB Fintech Co., Ltd., Umut Sarp Harbalioglu The University of Manchester, Juan Fumero Oracle, Michail Papadimitriou University of Manchester, Orion Papadakis University of Manchester, Maria Xekalaki University of Manchester, UK, Christos Kotselidis University of Manchester/Nimble Innovation
17:35
5m
Day closing
closing
MPLR