From 11146a01bfbbd234d686866474ab8c4b15c13e52 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 13 Apr 2018 16:34:10 +0100 Subject: [PATCH] Add new file --- _posts/2017-12-07-google-summit-munich.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 _posts/2017-12-07-google-summit-munich.md 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 0000000..334ea7b --- /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 -- GitLab