The following research will be presented at the IPSJ-PRO (124th, Nagoya).
“A Reformalization of Quantified Types Based on Coeffect Calculus”
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
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.
On Defining Recursive Functions in Live Data Structure Programming (authored by Oka, Masuhara, Aotani)
A Profile-based GPGPU Program Synthesizer for Shared Memory Optimization(authored by Kani, Masuhara, Aotani)The following poster was presented at PPL 2019.
