SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Mon 5 Dec 2022 13:30 - 14:30 at Seminar Room G100 - Session 2 Chair(s): Stefan Marr

“Systems Programming” is a term often used but rarely rigorously defined. Opinions differ on the right design or features of a programming language that should support systems programming, but one thing is clear; it is a different domain with hard problems. In this talk I will outline my approach to systems programming in the Virgil programming language, a statically-compiled, garbage-collected, and memory-safe language with limited amounts of unsafe features. In particular, Virgil’s design has been driven by the desire to be completely self-hosted (no runtime code written in other languages), to support direct kernel interaction, and to facilitate the implementation of VMs for guest languages. In particular, I’ll outline the new additions I’ve made to Virgil in order to implement the Wizard Research Engine, a flexible engine for WebAssembly.

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
Session 2VMIL at Seminar Room G100
Chair(s): Stefan Marr University of Kent
13:30
60m
Keynote
Virgil as a Systems Programming Language
VMIL
Ben L. Titzer Carnegie Mellon University
14:30
30m
Talk
Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models
VMIL
Raphael Mosaner JKU Linz, Gergö Barany Oracle Labs, David Leopoldseder Oracle Labs, Hanspeter Mössenböck JKU Linz
DOI