Formal specification for describing userspace API's

Session information has not yet been published for this event.

60 Minute Session
Scheduled: Friday, November 4, 2016 from 10:00 – 11:00am in Coronado

One Line Summary

Formal specification for describing userspace API's


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.


  • 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.