From 3e49278bd53a73a3f431a7e0cf1bfe253df3e587 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 11 May 2020 09:57:30 +0100
Subject: [PATCH] Update 2020-05-11-pldi.md

---
 _posts/2020-05-11-pldi.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2020-05-11-pldi.md b/_posts/2020-05-11-pldi.md
index 5d3f374..1a9e180 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.
-- 
GitLab