Asakura et al. received the IPSJ Outstanding Paper Award

The paper entitled “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” by Asakura, Masuhara and Aotani, received the 2018 IPSJ Outstanding Paper Award.
The paper entitled “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” by Asakura, Masuhara and Aotani, received the 2018 IPSJ Outstanding Paper Award.
Youyou Cong gave a seminar talk at the Department of Mathematical and Computing Science.
Date: Wednesday, June 5, 2019, 14:00-15:00
Place: West8 W1008
Speaker: Youyou Cong
Title: Designing a language with control operators and dependent-types
Chengkai Yang, an exchange student from Georgia Institute of Technology, joined our group under the Tokyo Tech Summer Program. Chengkai will work with us until August.
Dr. Stefan Marr at Kent University and Prof. Elisa Gonzalez Boix at VUB give talks at our seminar.
The paper entitled “Unravel Programming Sessions with THRESHER: Identifying Coherent and Complete Sets of Fine-granular Source Code Changes” by Taeumel, Platz, Steinert, Hirschfeld, and Masuhara, received the 23rd JSSST Best Research Paper Award.
Yusuke Izawa and Jeanine Adkisson placed 2nd and 3rd in the Student Research Competition at <Programming> 2019. Yusuke Izawa presented his research, “BacCaml: The Meta-Hybrid Just-in-time Compiler”. Jeanine Adkisson presented her research, “Magritte: A modern Shell Language”.
There are the following presentations at <Programming> 2019 (The International Conference on the Art, Science, and Engineering of Programming), Genova, Italy, April 1-4, 2019.
We welcome three new members:
The following papers were presented at PPL 2019.
The following poster was presented at PPL 2019.
Mr. Fabio Niephaus from Hasso-Plattner Institute and Prof. ernando Castor from UFPE gave talks at our seminar.
Mr. Niephaus’s talk was a demonstration of a virtual machine that can run multiple programming languages (“Polyglot Programming”) and has a JIT compiler.
Prof. Castor’s talk was about GreenHub, a platform that collects energy consumption by mobile applications.