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コンパイラの提案 (伊澤)

Akio Oka is awarded IPSJ Computer Science Research Award for Young Scientists for his paper presentation on “Visualization and Interactive Features for Supporting Data Structures in Live Programming.”
A tool demonstration entitled “Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default” by Khatchadourian and Masuhara is accepted byat the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017).
A special issue on live programming is published in the November 2017 magazine of Information Processing Society of Japan. Masuhara served as an editor of the issue together with Jun Kato at AIST.
There is an invited talk on live programming by Masuhara at Joint Conference of Hokuriku Chapters of Electrical Societies 2017.
A paper entitled “Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest”, authored by Raffi Khatchadourian, Awais Rashid, Hidehiko Masuhara, and Takuya Watanabe, is accepted by Science of Computer Programming.