Formal specification for userspace API

*

One Line Summary

Formal specification for userspace API

Abstract

Continue the discussion on creating a formal specification of the userspace API.

Speaker

  • Biography

    Sasha is the maintainer of the Native Linux KVM Tools, a from-scratch implementation of a KVM hypervisor designed to live inside the kernel tree. Sasha is currently employed by Oracle, working in the Ksplice group which provides rebootless security updates to the Linux kernel. Previously he worked in Host Dynamics which provided the ability to dynamically shape the size of virtual guests according to their needs in a given moment. Before that, he worked in the Israeli army’s cryptography unit.