Master’s theses presentations by Adkission and Li
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)
Masuhara’s foreword is published in Computer Software
The Computer Software journal of JSSST published Masuhara’s foreword titled “お前まだアレやってるの? (Are you still working on that?)” in the issue of August 2019.
Paper on Dynamic Mem. Allocation on GPUs at ECOOP 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).
Doctoral thesis defense by Matthias Springer
Matthias Springer had a public defense of his doctoral dissertation on “Memory-Efficient Object-Oriented Programming on GPUs.” His doctoral degree is almost there!
Paper & Poster Presentation at ISMM 2019
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.
A Presentation at IPSJ-PRO “A Reformalization of Quantified Types Based on Coeffect Calculus”
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
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.
Cong’s presentation at the departmental seminar
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
New Member: Chengkai Yang
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.
Talks by Dr. Marr and Prof. Gonzalez Boix
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-)
- Title: Safe and Efficient Data Representations for Dynamic Languages with Shared-Memory Parallelism
- Speaker: Dr. Stefan Marr (University of Kent)
- Talk 2 (16:00-)
- Title: Tooling for live big data applications
- Speaker: Prof. Elisa Gonzalez Boix (Vrije Universiteit Brussel)