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.
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.
The paper “dart2java: Running Dart in Java-based Environments” (authored by Springer, Krieger, Manilov and Masuhara) was accepted at the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS 2017), co-located with ECOOP 2017.
Our paper “Modular Array-based GPU Computing in a Dynamically-typed Language” (authored by Springer, Wauligmann and Masuhara) was accepted for publication at the ARRAY ACM SIGPLAN 4th International Workshop on Libraries, Languages and Compilers for Programming (ARRAY 2017), co-located with PLDI 2017.
