Category: news
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.
Paper on a generalized layer activation mechanism for context-oriented programming at MODULARITY’15
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]
Poster presentations at PPL 2015 in Matsuyama
Following posters are presented at PPL2015.
- Pyrlang: A High Performance Erlang BEAM Virtual Machine Using RPython — Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
- Integration Unit Testing into Live Programming — Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
- Formalization of Separation Logic for GPGPU Kernel — Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani
- Compile-Time Datatype Composition for Efficiency and Modularity in Haskell — Hirotada Kiriyama, Hidehiko Masuhara, Tomoyuki Aotani
-
Chop&Graft: an Advice Mechanism to Separate Exception Handling — Kenta Fujita, Hidehiko Masuhara, Tomoyuki Aotani
Imai, Kiriyama and Fujita presented bachelor’s thesis
Imai, Kiriyama and Fujita presented their bachelor’s theses at the Tokyo Institute of Technology
Theses titles:
- Shiranui: Live Programming Environment Integrating Test (Tomoki Imai)
- Compile-time Datatype Composition for Efficiency and Modularity (Hirotada Kiriyama)
- Chop&Graft: an Aspect Oriented Mechanism to Cut and Paste Global Control Flowｓ(Kenta Fujita)
Poster presentation on Ikra at ISP2S2
Poster presentation on A Dynamically-typed Language for Prototyping High-Performance Data Parallel Programs is given by Hidehiko Masuhara and Tomoyuki Aotani at JST/CREST International Symposium on Post Petascale System Software at Kobe.
Paper presentation on a code transformation language for crosscutting changes at AOAsia/Pacific Workshop co-located with FSE’14
A paper entitled “Crossver: a Code Transformation Language for Crosscutting Changes” authored by Sakurai and Masuhara is presented at AOAsia/Pacific Workshop co-located with FSE’14.