A paper titled “Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes”, authored by Stephanie Platz, Marcel Taeumel, Bastian Steinert, Robert Hirschfeld, and Hidehiko Masuhara, is presnted at the 32nd JSSST Annual Conference.
More than 20 second year students at Tokyo Tech High School of Science and Technology visited our group under the Summer Lecture at Tokyo Tech. They are enthusiastically listen to our demonstrations of live programming environments, program verification with a proof assistant system, and a lazy functional programming language.
(more…)
The following papers are presented at 7th International Workshop on Context-Oriented Programming co-located with ECOOP’15


A paper on “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” authored by Asakura, Masuhara, Aotani is accepted by IPSJ Transaction on Programming.
A talk on “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” is given by Izumi Asakura, Hidehiko Masuhara, and Tomoyuki Aotani at the 104th IPSJ PRO workshop.

Professor Raffi Khatchadourian at City University of New York has visited our group from May 28 to June 10. He gave a seminar talk entitled “Open Problems in Automatically Refactoring Legacy Java Software to use New Features in Java 8” on June 2. (The visit was supported by the Research Abroad and Invitational Program for the Promotion of International Joint Research, Tokyo Institute of Technology).

A paper entitled “The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs”, authored by Kohei Sakurai and Hidehiko Masuhara is presented at ACM Symposium on Applied Computing (SAC) 2015. [PDF]
