Virtualization
Please find the VC course under this link.
The course discusses virtualization as a concept on all layers of a computer system from hardware to software:
Process virtual machines
- Emulation: Interpretation and Binary Translation
 - Process Virtual Machines and Containers
 - Dynamic Binary Optimization
 - High-Level Language Virtual Machine Architecture
 - High-Level Language Virtual Machine Implementation
 
System virtual machines (+ guest lectures in Dec./Jan.)
- Co-designed Virtual Machines
 - System Virtual Machines
 - Multiprocessor Virtualization
 - Non-functional properties: performance, security, energy
 - Emerging Applications
 
We will use the textbook "Virtual Machines" by Smith/Nair as basis for this course.
The coursework includes four practical exercises on the following topics:
- CPU emulation
 - Operating system containers
 - Byte code VMs + JIT translation
 - System VM analysis?