2020-06-19-plditalk.md

title:  Video talk on Gillian at PLDI 2020

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.