New Member: Rohan Ray Sobha
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.
Paper Presentation at xSIG 2018
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).
Masuhara’s column is published in Computer Software
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 on Proactive Empirical Assessment at <Programming> 2018
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.
Three Poster Presentations at the PPL 2018 Workshop
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
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.”