About masuhara
View all posts by masuhara
Izumi Asakura receives IPSJ Computer Science Research Award for Young Scientists
Izumi Asakura is awarded IPSJ Computer Science Research Award for Young Scientists for his paper presentation on “Proof of soundness of concurrent separation logic for GPGPU in Coq.”
Come and Go
Ruochen Huang receives his Master’s degree, as the representative of the School of Information Sciences and Technology.
Ruochen Huang, “Pyrlang: A High Performance Erlang Virtual Machine Based on RPython“, Master Thesis, August 2016
Peter Wauligmann joins the group as an exchange student from TU Munich. He will work on the Ikra project until February 2017.
Paper on THRESHER Accepted by Computer Software
A paper entitled “Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes” authored by Taeumel, Platz, Steinert, Hirschfeld, and Masuhara, is accepted Computer Software (a journal of JSSST).
Presentation of a paper on Open Classes at IPSJ-PRO / SWoPP 2016
We presented our manuscript “A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes” (authored by Springer, Masuhara, and Hirschfeld) at 110th IPSJ Workshop on Programming (IPSJ-PRO), one of the “Matsumoto” Summer United Workshops on Parallel/Distributed/Cooperative Processing (SWoPP 2016).
2nd Meeting of SIGPX: Special Interest Group on Programming Experience
The second meeting of SIGPX (Special Interest Group on Programming Experience) is held at Microsoft Japan HQ. Imai and Oka give their lighting talks. Jointly with Jun Kato at AIST, Masuhara serves as an organizer.
Huang presented Master’s Thesis
Our member defended their Master’s theses.
Paper presentation at FTfJP
Our paper “Towards Modular Reasoning for Context-Oriented Programs” (authored by Aotani and Leavens) was accepted for publication at the International Workshop on Formal Techniques for Java-like Programs (FTfJP), co-located with ECOOP 2016.
New (visiting) Member: Professor David Liu from SUNY Binghamtom
Professor David Liu at SUNY Binghamtom visits our group from May 12 until July 8 for collaborative research. We are pleased to work with him on a joint project involving with programming languages for energy aware software and context-oriented programming.
Seminar Talk by Anthony Canino (SUNY Binghamton)
Title: Proactive and Adaptive Energy-Aware Programming with Hybrid Typing
Speaker: Anthony Canino (State University of New York, Binghamton, USA)
Date/time: 2 pm, Monday June 27, 2016
Location: W911, Building West #8, Ookayama Campus, Tokyo Tech