Debugging Dynamic Language Features in a Multi-Tier Virtual MachineRemote
Multi-tiered virtual-machine (VM) environments, involving Just-In-Time (JIT) compilers, play a crucial role in optimizing program performance for dynamic languages, but understanding and debugging their internal workings can be a challenging task. In this paper, we present a novel tool specifically designed to address this issue in the context of Ř, a JIT compiler for the R programming language. Our tool aims to demystify Ř and provide a suitable middle ground for both beginners and professionals. It allows users to investigate the runtime state of the system, make modifications, and visualize contextual specializations. By providing a user-friendly interface and visualization capabilities, our tool empowers developers to explore, experiment with, and gain valuable insights into the inner workings of a specializing JIT system. We evaluate the effectiveness and usability of our tool through real-world use cases, demonstrating its benefits in learning as well as debugging scenarios. We believe that our tool holds promise for enhancing the understanding and debugging of complex VMs, ultimately leading to improved program performance, increased developer productivity, and likely even more innovation.
Mon 23 OctDisplayed time zone: Lisbon change
14:00 - 15:30 | |||
14:00 25mPaper | Debugging Dynamic Language Features in a Multi-Tier Virtual MachineRemote VMIL Anmolpreet Singh Indian Institute of Technology Mandi, Aayush Sharma Indian Institute of Technology Mandi, Meetesh Kalpesh Mehta IIT Bombay, Manas Thakur IIT Bombay | ||
14:25 25mPaper | Array Bytecode Support in MicroJIT VMIL Shubham Verma University of New Brunswick, Harpreet Kaur University of New Brunswick, Kenneth Kent University of New Brunswick, Marius Pirvu IBM | ||
14:50 25mPaper | Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation VMIL Christoph Pichler Johannes Kepler University Linz, Paley Li Oracle, Roland Schatz Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz | ||
15:15 15mShort-paper | Approximating Type Stability in the Julia JITRemote VMIL Artem Pelenitsyn Purdue University |