AI Engineer - Learn how to integrate AI into software applications
Start speaking a new language. It’s just 3 weeks away.
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore a 27-minute conference talk from Haskell 2023 that introduces HaVMI, a Haskell library designed for safer Virtual Machine Introspection (VMI). Discover how Takato Otsuka and Hideya Iwasaki address the challenges of using LibVMI, a C library for VMI, by leveraging Haskell's language features and Template Haskell for compile-time code generation. Learn about the benefits of HaVMI in detecting programmer errors statically and simplifying VMI programming. Gain insights into the application of Haskell in creating more secure and efficient tools for analyzing operating systems running on virtual machines.
Syllabus
[Haskell'23] Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Taught by
ACM SIGPLAN