New member: Matthias Springer
Matthias Springer has joined the group as a Doctoral course student under the International Graduate Program (IGP(A)).
Professor Robert Hirschfeld visited our group
Professor Robert Hirschfeld from Hasso-Plattner Institut has visited our group from September 14 to 18. He gave lectures on Context-Oriented Programming and Design Thinking Research.
A paper on THRESHER at JSSST Annual Conference
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.
JSSST Best Paper Award
A paper “EventCJ: a context-oriented language with declarative per-object layer transitions”authored by Aotani, Kamina and Masuhara receives the Best Paper Award of 2013 from JSSST.
A talk on context-oriented programming at NII Shonan Meeting EASSy’15
A talk on context-oriented programming is given at NII Shonan Meeting on Engineering Adaptive Software Systems (EASSy) by Masuhara
High school students visited us
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.
Professor Walter Binder visited our group
Professor Walter Binder at Università della Svizzera italiana, Switzerland has visited our group. He gave a talk at our department’s seminar on “Accurate Profiling in the Presence of Dynamic Compilation”.
Two papers on context-oriented programming are presented at COP’15
The following papers are presented at 7th International Workshop on Context-Oriented Programming co-located with ECOOP’15
- “Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation” by Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara
- “Method Safety Mechanism for Asynchronous Layer Deactivation” by Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara and Atsushi Igarashi
A paper on concurrent separation logic for GPGPU is accepted by IPSJ Transaction on Programming.
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 soundness of concurrent separation logic by using coq is given at IPSJ PRO workshop
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.
