Add new file

_posts/2020-05-11-pldi.md

+---
+title: Paper accepted at PLDI 2020
+---
+
+Congratulations to  Jos\'{e} Fragoso, Petar Maksimovi\'{c], 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.
+
+PLDI, the [ACM SIGPLAN Conference on Programming Language Design 
+and Implementation](https://pldi20.sigplan.org/) is one of the leading conferences 
+for practical and experimental work in the design and implementation of programming languages. 
+
+The conference was due to be held in London in 15-19 June 2020, but it is now to be held 
+virtually. Thanks to their sponsors, [attendance to the main 
+conference and co-located events will be free for registrations before the 
+5 June](https://pldi20.sigplan.org/attending/registration).
+
+
+