@@ -7,17 +7,15 @@ this year’s Google Compiler and Programming Language Summit in Munich, Germany
The summit invites a number of promising PhD students across Europe working
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.
in the field of compiler and programming language technology
to travel to the Google office in Munich to discuss their latest research with engineers
and researchers working on these topics.
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 slides/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
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
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.
Gabriela and Shale took part in the poster fair, presenting two posters about their current work on
[Automatic JavaScript Program Verification Using Bi-Abduction]({{site.baseurl}}{% link slides/Sampaio-Automatic-JavaScript.pdf %})
and [Reasoning about Concurrent Programs using Separation Logic]({{site.baseurl}}{% link slides/Xiong-Concurrent.pdf %}).
They also attended several round tables and had the chance to discuss their
research with engineers at Google and to learn first hand
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.
