diff --git a/_posts/2017-12-07-google-summit-munich.md b/_posts/2017-12-07-google-summit-munich.md new file mode 100644 index 0000000000000000000000000000000000000000..334ea7b78e0325caa34eaf98edc8258db74b3dd9 --- /dev/null +++ b/_posts/2017-12-07-google-summit-munich.md @@ -0,0 +1,21 @@ +--- +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. \ No newline at end of file