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.
Professor Raffi Khatchadourian has visited our group
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).
Paper presentation on a trace-based debugger at ACM SAC 2015
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]
New members: Okugawa, Taya, and Watanabe
Taya: I would like to know what I do not know about programming languages.
Okugawa: I want to read many books about computer.
Watanabe: I want to write more programs.
Professor Robert Hirschfeld visited our group
Professor Robert Hirschfeld from Hasso-Plattner Institut has visited our group from March 24 to April 7. He gave lectures on Context-Oriented Programming and Design Thinking Research.