Best Teacher Award from Tokyo Tech
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
Presentation of Kanon at SIGPX#4
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.
Paper/Poster at WPMVP 2018 and CGO 2018 SRC
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.
Okugawa’s Master Thesis and Tanabe&Izawa’s Bachelor Theses
Ryo Okugawa presented his Master’s thesis.
- 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (PDF)
Yudai Tanabe and Yusuke Izawa presented their Bachelor’s theses.
Akio Oka receives IPSJ Computer Science Research Award for Young Scientists
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.”
Demonstration of an Automated Refactoring Tool at ASE 2017
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).
Special issue on live programming in IPSJ Maganize
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.
Invited talk on live programming
There is an invited talk on live programming by Masuhara at Joint Conference of Hokuriku Chapters of Electrical Societies 2017.
Paper acceptance: Detecting Broken Pointcuts
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.
Paper Presentation at COP 2017
The paper “Push-based Reactive Layer Activation in Context-Oriented Programming” (authored by Kamina, Aotani and Masuhara) is accepted by the 9th International Workshop on Context-Oriented Programming, co-located with ECOOP 2017.