On June 18 presented our paper SampCert at PLDI. The slides are, uncharacteristically, not available (they were stored on an AWS laptop and were presumably vaporized) but their memory lives on in my video recording.