title:Google Compiler and Programming Language Summit, Munich, Germany
---
Gabriela Sampaio and Shale Xiong were two of the invited students attending
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.
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,
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.
