@@ -10,12 +10,13 @@ in the field of complier and programming language technology
...
@@ -10,12 +10,13 @@ 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](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/e5a11a77d37bbc5003f5a4310fedf048cafd18a9/images/posts/Sampaio-Automatic-JavaScript.pdf)
Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction]({{site.baseurl}}{% link slides/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 slides/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.
The goal of the summit is to build relationships and to encourage dialogue over
The goal of the summit is to build relationships and to encourage dialogue over
three days of research and tech talks, poster fairs and round tables. Students have the opportunity
three days of research and tech talks, poster fairs and round tables. Students have the opportunity
to discuss their research with engineers and researchers, but also to learn
to discuss their research with engineers and researchers, but also to learn
about Google’s latest work on programming language implementation and how this
about Google’s latest work on programming language implementation and how this
research is applied to compilers and language tooling at Google and across industry.
research is applied to compilers and language tooling at Google and across industry.
