[PPT] - Byte-precise Verification of Low-level List Manipulation Kamil Dudka PowerPoint Presentation