@@ -10,8 +10,8 @@ in the field of complier and programming language technology
to travel to Munich to discuss Google’s latest research with researchers
and engineers working on these topics.
Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction](/images/posts/Sampaio-Automatic-JavaScript.pdf )
and Shale a poster on his work on [Reasoning about Concurrent Programs using Separation Logic](/images/posts/Xiong-Concurrent.pdf )in the Poster fair,
Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction]({{site.baseurl}}{% link 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,
as well as taking part in a number of round tables.
The goal of the summit is to build relationships and to encourage dialogue over
