The inevitable death of VMs: a progress report
The conception of language virtual machines, as we know it, has given us many things: high performance for even highly dynamic languages or intermediate representations (IRs); convenient and fast garbage collection; and reliable high-level tooling. All are enabled by the internal uniformity of a virtual machine. But virtual machines also take from us: through removing access to certain abstractions offered by the host system, supporting only one or a subset of the languages of interest, and providing only prescriptive tool interfaces, they create barriers and external needs which must be worked around in ways that are different for each VM (e.g. different FFIs) and often reinvented by each end programmer unfortunate enough to need them (e.g. the relative familiarity of custom tooling via bytecode manipulation).
Mon 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 16:10 | |||
14:30 30mTalk | Sulong, and Thanks for All the Fish MoreVMs Manuel Rigger Johannes Kepler University Linz, Roland Schatz Johannes Kepler University Linz, Jacob Kreindl Johannes Kepler University Linz, Christian Häubl Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria Pre-print Media Attached | ||
15:00 30mTalk | The inevitable death of VMs: a progress report MoreVMs Stephen Kell University of Cambridge Pre-print | ||
15:30 30mMeeting | Discussion: Why do we need research VMs and what are our requirements? MoreVMs | ||
16:00 10mDay closing | Day closing MoreVMs |