A paper entitled “Automated refactoring of legacy Java software to default methods”, authored by International Conference on Software Engineering (ICSE’17).and , is accepted by
Please contactif you are interested in.
A paper titled “Improving Sequential Performance of Erlang based on a Meta-tracing Just-In-Time Compiler”, authored by Huang, the 17th Symposium on Trends in Functional Programming (TFP’16), held in June.and , is accepted by the Post-Proceeding of
IPSJ Computer Science Research Award for Young Scientists for his paper presentation on “Proof of soundness of concurrent separation logic for GPGPU in Coq.”is awarded
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
A paper entitled “Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes” authored by Taeumel, Platz, Steinert, Computer Software (a journal of JSSST)., and , is accepted
The second meeting of SIGPX (Special Interest Group on Programming Experience) is held at Microsoft Japan HQ. and Oka give their lighting talks. Jointly with Jun Kato at AIST, serves as an organizer.
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.
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
There are orientations of the Department of Mathematical and Computing Science for prospective graduate students on Saturday May 7, 2016 from 14:00, Friday May 13, 2016 from 13:30, and Saturday May 14, from 11:00. Please contact if you are interested in.