@@ -10,7 +10,7 @@ in the field of complier and programming language technology
...
@@ -10,7 +10,7 @@ in the field of complier and programming language technology
to travel to Munich to discuss Google’s latest research with researchers
to travel to Munich to discuss Google’s latest research with researchers
and engineers working on these topics.
and engineers working on these topics.
Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction]({{site.baseurl}}{% link images/posts/Sampaio-Automatic-JavaScript.pdf %)
Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/e5a11a77d37bbc5003f5a4310fedf048cafd18a9/images/posts/Sampaio-Automatic-JavaScript.pdf)
and Shale a poster on his work on [Reasoning about Concurrent Programs using Separation Logic]({{site.baseurl}}{% link images/posts/Xiong-Concurrent.pdf %)in the Poster fair,
and Shale a poster on his work on [Reasoning about Concurrent Programs using Separation Logic]({{site.baseurl}}{% link images/posts/Xiong-Concurrent.pdf %)in the Poster fair,
as well as taking part in a number of round tables.
as well as taking part in a number of round tables.
