Taxonomic Search: Adam Wick

Abstract

This talk describes the design and implementation of the Haskell Lightweight Virtual Machine, or HALVM. The HALVM is a port of the Glasgow Haskell Compiler’s runtime system to the Xen paravirtualizing hypervisor, along with custom libraries for interacting with the console, disk, network card, memory management, other virtual machines on the same physical hardware, etc.. The HALVM has allowed us to write device drivers, rendezvous services, and other low-level software in a language with type safety, powerful language constructs, and garbage collection.