Our paper “Inner Array Inlining for Structure of Arrays Layout“, authored by Matthias Springer, Yaozhu Sun and Hidehiko Masuhara, was accepted at the 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2018), co-located with PLDI 2018.
Rohan Ray Sobha, a Tokyo Tech Summer Program student from TU Delft, joined our group. Rohan will work on a live programming environment for the next couple of months.

Our paper “A Program Synthesis System for Optimizing GPGPU Program” (authored by Kani, Asakura, Masuhara, Aotani) is presented at cross-disciplinary workshop on computing System, Infrastructures, and programminG (xSIG 2018).
The Computer Software journal of JSSST published a column titled “I reversed (a bit)” in the issue of May 2018.
(June 25, 2018) The column is now available online.
A paper entitled “Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods”, authored by Raffi Khatchadourian and Hidehiko Masuhara, is accepted by the Journal of The Art, Science, and Engineering of Programming, and is presented at <Programming> 2018 conference.
Izawa, Okugawa and Tanabe did the poster presentation at the PPL workshop.

- “Introducing versions into a programming language (プログラミング言語へのバージョンの導入の研究)” by Tanabe, Aotani and Masuhara

- “Extensible formalization of type-safety based on an operational semantics (証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究)” by Okugawa, Aotani and Masuhara

Masuhara, among other 17 professors, received the Best Teacher Award of Tokyo Tech for the design and implementation of a Special Program on Cyber Security
Oka, Shu and Li presented their work at the fourth SIGPX (Special Interest Group on Programming Experience) meeting at the University Tokyo. Oka talked about the user-study on live programming, entitled “How Sexy is Kanon?”. Shu and Li gave lightning talks.
Our paper “Ikra-Cpp: A C++/CUDA DSL for Object-oriented Programming with Structure-of-Arrays Data Layout” and associated poster, authored by Matthias Springer and Hidehiko Masuhara, was accepted at the Workshop on Programming Models for SIMD/Vector Processing (WPMVP) 2018 and at the Student Research Competition (SRC) of the International Symposium on Code Generation and Optimization (CGO) 2018.
Springer received the third prize in the Graduate category of the SRC.
Ryo Okugawa presented his Master’s thesis.
- 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (PDF)
Yudai Tanabe and Yusuke Izawa presented their Bachelor’s theses.
- プログラミング言語へのバージョンの導入の研究 (Tanabe)
- メタ混合JITコンパイラの提案 (伊澤)