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.
Paper Presentation at ICOOOLPS 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.
Paper Presentation at ARRAY 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.
Performance Analysis of an Accelerate Program at IPSJ-PRO Workshop
A paper on Identification and Elimination of the Overhead of Accelerate with a Super-Resolution Application, authored by Asakura, Masuhara, Matsumoto and Matsuzaki, is presented at 114th IPSJ PRO Workshop.