Sasha Levin

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.

Proposals for this user

* Formal specification for describing userspace API's

Formal specification for describing userspace API's
Kernel Summit Track 11/03/2016
Sasha Levin

* Formal specification for userspace API

Formal specification for userspace API
Kernel Summit Track 11/03/2016
Sasha Levin