diff --git a/_posts/2020-06-19-plditalk.md b/_posts/2020-06-19-plditalk.md new file mode 100644 index 0000000000000000000000000000000000000000..86f15e8376bbacbe6d74ac35f9669df7f50d1277 --- /dev/null +++ b/_posts/2020-06-19-plditalk.md @@ -0,0 +1,7 @@ +--- +title: Video talk on Gillian at PLDI 2020. +--- + +The talk by Petar Maksimovic on [Gillian: a Multi-language Platform for Program Correctness and Incorrectness](https://pldi20.sigplan.org/details/rems-deepspec-2020/10/Gillian-a-Multi-language-Platform-for-Program-Correctness-and-Incorrectness), presented at [PLDI 2020]( https://pldi20.sigplan.org/), is now available on the PLDI YouTube channel, and can be seen on the link [here]( https://youtu.be/TurhBym2leA) or below. + +<iframe width="560" height="315" src="https://www.youtube.com/embed/TurhBym2leA" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> \ No newline at end of file