YoVDO

Haskell Library for Safer Virtual Machine Introspection - Experience Report

Offered By: ACM SIGPLAN via YouTube

Tags

Haskell Courses Virtualization Courses Operating Systems Courses Code Generation Courses Memory Management Courses Type Safety Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Related Courses

Advanced Operating Systems
Georgia Institute of Technology via Udacity Cloud Computing Applications, Part 1: Cloud Systems and Infrastructure
University of Illinois at Urbana-Champaign via Coursera GT - Refresher - Advanced OS
Georgia Institute of Technology via Udacity Introduction to Cloud Infrastructure Technologies
Linux Foundation via edX Microsoft Windows Server 2012 Fundamentals: Hyper-V
Microsoft via edX