Hi Dave and Toke, are slides and video from your USENIX 2017 talk [1] available somewhere? I downloaded pdf that is on the USENIX page, are these same slides used in the talk? Best, Valent. [1] https://www.usenix.org/conference/atc17/technical-sessions/presentation/hoilan-jorgesen