Thursday, 4.1.2018, 10:30
Hardware and operating system interfaces should ideally enable to build
performant systems that are also robust and secure. Alas, these goals
frequently conflict, necessitating unavoidable compromises that promote
one goal at the expense of another. I nevertheless contend that existing
compromises---while inherently imperfect---are often suboptimal, and that
improved tradeoffs can be devised using programmable software interfaces
and hardware. I support this claim by presenting how programmable software
interfaces can help to efficiently bridge the semantic gap between host
and guest systems in virtualization setups.
Nadav is a researcher in VMware's Research Group, Palo Alto, California.
He received his PhD in 2014 from the Technion, after which he was a senior
research associate in the Technion. Prior to his PhD studies, he worked
at Intel. He is the recipient of the IBM Fellowship Award, the SPEC
Distinguished PhD Dissertation Award, and the ACM SIGOPS Dennis M. Ritchie
Doctoral PhD Dissertation Award Honorable Mention. His research focuses
on operating systems and hardware-assisted virtualization.