We are sending off five members in these months.
- Jeanie Adkisson, who is to finish her Master’s degree, will move to Canada and work in a public sector.
- Tomoyuki Aotani, who has been served as an assistant professor from the foundation of the group, will pursuit professional experiences in industry.
- Li Dongfang, who is to finish his Master’s degree, starts working at Institute of Advanced Artificial Intelligence in Nanjing.
- Matthias Springer, who is to finish his Doctoral degree, will work for Google.
- Chengkai Yang, who is to finish the Tokyo Tech Summer Program, will go back Georgia Tech, his home university.
We wish for their bright future, and hope we can see each other soon!
Chengkai Yang, an exchange student from Georgia Tech, gave the final presentation on his working during the Tokyo Tech Summer Program. He worked on KaniCUDA, a program synthesis-based optimization tool for CUDA programs, especially on accelerating the synthesizer speed.
Two members presented their Master’s theses.
- Jeanine Adkisson, Magritte: A Language for Pipe-Based Programming (PDF)
- Li Dongfang, Deep Learning based Code Completion with ASTToken2Vec (PDF)
(official announcement)
The Computer Software journal of JSSST published Masuhara’s foreword titled “お前まだアレやってるの? (Are you still working on that?)” in the issue of August 2019.
Our paper “DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access”, authored by Matthias Springer and Hidehiko Masuhara, was accepted at the 33rd European Conference on Object-Oriented Programming (ECOOP 2019).
Matthias Springer had a public defense of his doctoral dissertation on “Memory-Efficient Object-Oriented Programming on GPUs.” His doctoral degree is almost there!
(more…)
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
Poster for the final presentation
