Our paper “Massively Parallel GPU Memory Compaction” (PDF), authored by Matthias Springer and Hidehiko Masuhara, was accepted at the ACM SIGPLAN International Symposium on Memory Management (ISMM) 2019, co-located with PLDI 2019.
The poster “CompactGpu: Massively Parallel Memory Defragmentation on GPUs“, authored by Matthias Springer, was accepted at the ACM Student Research Competition (SRC) of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2019.
Matthias Springer received the Best Student Presentation Award at ISMM and the first place in the graduate category of the SRC.
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.
- Location: W8 W910 (西8号館W棟 910セミナー室)
- Time: Tuesday June 4, 2019, 14:30-
- Talk 1 (14:30-)
- Talk 2 (16:00-)
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.
(more…)
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.
- (Paper) “Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation” (by Izawa, Masuhara, Aotani) at MoreVMs’19 Workshop on Modern Language Runtimes, Ecosystems, and VMs
- (Paper) “A Shell-like Model for General Purpose Programming” (by Adkisson, Westlund, and Masuhara) at MoreVMs’19 Workshop on Modern Language Runtimes, Ecosystems, and VMs
- (Poster) “BacCaml: The Meta-Hybrid Just-In-Time Compiler” (by Izawa) at the ACM Student Research Competition (SRC)
- (Poster) “Magritte: A modern shell language” (by Adkisson) at the ACM Student Research Competition (SRC)
- (Demo) “Programming Experiences with a Live Programming Environment for Data Structures” (by Masuhara, Oka, Ogushi)
We welcome three new members:

(all members)