Virgil as a Systems Programming Language

Explore the Virgil programming language as a tool for systems programming in this conference talk from ACM SIGPLAN's VMIL'22. Delve into the unique approach to systems programming offered by Virgil, a statically-compiled, garbage-collected, and memory-safe language with limited unsafe features. Discover how Virgil's design prioritizes self-hosting, direct kernel interaction, and implementation of VMs for guest languages. Learn about recent additions to Virgil that enable the implementation of the Wizard Research Engine, a flexible engine for WebAssembly. Gain insights into the challenges and solutions in the domain of systems programming, and understand how Virgil addresses these hard problems through its distinctive design and features.