diff --git a/_posts/2020-05-11-pldi.md b/_posts/2020-05-11-pldi.md index 5d3f3743b92b7fac04edbe0c049d79cd83c8e988..1a9e180f8690536f82cfd40dfb03626f9e28ad55 100644 --- a/_posts/2020-05-11-pldi.md +++ b/_posts/2020-05-11-pldi.md @@ -2,7 +2,7 @@ title: Paper accepted at PLDI 2020 --- -Congratulations to Jos\'{e} Fragoso, Petar Maksimovi\'{c], Sacha Ayoun and Philippa +Congratulations to Jose Fragoso, Petar Maksimovic, Sacha Ayoun and Philippa Gardner, whose paper, [Gillian, Part I: A Multi-language Platform for Symbolic Execution](https://vtss.doc.ic.ac.uk/publications/FragosoSantos2020Gillian.html), has been accepted at this year’s PLDI.