The talk by Petar Maksimovic on Gillian: a Multi-language Platform for Program Correctness and Incorrectness, presented at PLDI 2020, is now available on the PLDI YouTube channel, and can be seen on the link here or below.