diff --git a/_posts/2018-11-10-popl19.md b/_posts/2018-11-10-popl19.md index b30bee646b90049e879872cbfe0a2d831b0a1afd..87600b3e2524aafb046d8f12b48028f59888f835 100644 --- a/_posts/2018-11-10-popl19.md +++ b/_posts/2018-11-10-popl19.md @@ -6,15 +6,15 @@ Congratulations to José Fragoso Santos, Philippa Gardner, Petar Maksimović, Martin Bodin and Gaby Sampaio, whose papers were accepted at this year’s [ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)](https://popl19.sigplan.org/home). -José, Petar, Gaby and Philippa had their paper 'JaVerT 2.0: Compositional -Symbolic Execution for JavaScript' accepted. The paper describes JaVerT 2.0, +José, Petar, Gaby and Philippa had their paper ['JaVerT 2.0: Compositional +Symbolic Execution for JavaScript']({{site.baseurl}}{% link publications/FragosoSantos2019JaVerT.html %}) accepted. The paper describes JaVerT 2.0, a symbolic analysis tool for JavaScript that follows the language semantics without simplifications. Martin and Philippa's paper, written in collaboration with [Thomas Jensen](http://www.irisa.fr/celtique/jensen/) and [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), -from [Inria]( https://www.inria.fr/en/centre/rennes), is 'Skeletal Semantics -and Their Interpretations' and in it, they introduce a skeletal semantics of +from [Inria]( https://www.inria.fr/en/centre/rennes), is ['Skeletal Semantics +and Their Interpretations']({{site.baseurl}}{% link publications/Bodin2019Skeletal.html %}) and in it, they introduce a skeletal semantics of a language, where each skeleton describes the complete semantic behaviour of a language construct. \ No newline at end of file