-
Welcome
-
Subscribe to
Formal specification for describing userspace API's
Session information has not yet been published for this event.
One Line Summary
Formal specification for describing userspace API's
Abstract
Figure out the proper way to create a specification for describing userspace API’s, for the benefit of testing tools such as fuzzers. This is a continuation of the discussion started at the testing microconf.
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.