阅读报告列表:
- Virtual machine monitors: Current technology and future trends
- My VM is Lighter (and Safer) than your Container
- Making Smart Contracts Smarter
- Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
- Hyperkernel: Push-Buton Verification of an OS Kernel
- The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
报告汇总: 链接
实验报告: 链接
课堂汇报slide:链接