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]
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 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.
A paper entitled “Generalized Layer Activation Mechanism Through Contexts and Subscribers”, authored by Tetsuo Kamina, Tomoyuki Aotani and Hidehiko Masuhara, is presented at 14th International Conference on Modularity (MODULARITY’15). [PDF]
Following posters are presented at PPL2015.
Imai, Kiriyama and Fujita presented their bachelor’s theses at the Tokyo Institute of Technology
Theses titles: