Alan Turing Institute
Challenges in Analysing Virtualisation Stacks - Dr Michael Tautschnig
Explore challenges in analyzing virtualization stacks, including shared responsibility, open-source software analysis, and coping with large codebases. Learn about workflows, bug reporting, and formal methods.