Sun 14 Apr 2019 11:40 - 12:05 at Garden Room - Session1

Unikernels are minimal single-purpose virtual machines. They are highly popular in the research domain due to the benefits they provide. A barrier to their widespread adoption is the difficulty/impossibility to port existing applications to current unikernels. HermiTux is the first unikernel providing binary-compatibility with Linux applications. It is composed of a hypervisor and lightweight kernel layer emulating OS interfaces at load- and runtime in accordance with the Linux ABI. HermiTux relieves application developers from the burden of porting software, while providing unikernel benefits such as security through hardware-assisted virtualized isolation, swift boot time, and low disk/memory footprint. Fast system calls and kernel modularity are enabled through binary rewriting and analysis techniques, as well as shared library substitution. Compared to other unikernels, HermiTux boots faster and has a lower memory/disk footprint. We demonstrate that over a range of native C/C++/Fortran/Python Linux applications, HermiTux performs similarly to Linux in most cases: the performance difference averages 3% in memory- and compute-bound scenarios.

Sun 14 Apr

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 12:05
10:00
25m
Talk
TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms
Research Papers
Wenhao Li Shanghai Jiao Tong University, China, Yubin Xia Shanghai Jiao Tong University, China, Long Lu Northeastern University, n.n., Haibo Chen Shanghai Jiao Tong University, China, Binyu Zang Shanghai Jiao Tong University, China
10:25
25m
Talk
Secure Guest Virtual Machine Support in Apparition
Research Papers
Ethan Johnson University of Rochester, USA, Komail Dharsee University of Rochester, USA, John Criswell University of Rochester, USA
10:50
25m
Talk
ACRN: A Big Little Hypervisor for IoT Development
Research Papers
Hao Li , Xuefei Xu Intel, China, Jinkui Ren Intel, China, Yaozu Dong Intel, China
11:15
25m
Talk
Fast and Live Hypervisor Replacement
Research Papers
Spoorti Doddamani Binghamton University, USA, Piush Kumar Sinha Binghamton University, USA, Hui Lu Binghamton University, USA, Tsu-Hsiang K. Cheng Binghamton University, USA, Hardik H. Bagdi Binghamton University, USA, Kartik Gopalan Binghamton University, USA
11:40
25m
Talk
A Binary-Compatible Unikernel
Research Papers
Pierre Olivier Virginia Tech, USA, Daniel Chiba Virginia Tech, USA, Stefan Lankes RWTH Aachen University, Germany, Changwoo Min Virginia Tech, USA, Binoy Ravindran Virginia Tech, USA