From 37d706a3a15c4798aba62c914406a1f460801e90 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 11 May 2020 09:56:42 +0100
Subject: [PATCH] Add new file

---
 _posts/2020-05-11-pldi.md | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 _posts/2020-05-11-pldi.md

diff --git a/_posts/2020-05-11-pldi.md b/_posts/2020-05-11-pldi.md
new file mode 100644
index 0000000..5d3f374
--- /dev/null
+++ b/_posts/2020-05-11-pldi.md
@@ -0,0 +1,20 @@
+---
+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).
+
+
+
-- 
GitLab