Commit 3e49278b authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2020-05-11-pldi.md

parent 37d706a3
Pipeline #142027 passed with stages
in 3 minutes and 46 seconds
......@@ -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.
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment