Christoffer Dall: The Design, Implementation, and Evaluation of Software and Architectural Support for ARM Virtualization. Columbia University, USA 2018