The Programming Research Group is working on programming languages and programming environments. Our goal is to make programming more fun by advancing theory, design and implementation of programming languages and environments.

  • Theory, design and implementation of programming languages for advanced modularity, including object-oriented, aspect-oriented and context oriented programming languages, and computational reflection.
  • Making it easy to write efficient programs through high-level optimization techniques like partial evaluation and program transformation for advanced computing systems like GPGPU and massively-parallel computers.
  • Improving software development environment like reversible debuggers and code recommendation by exploiting rich computing resources and programming techniques like static program analysis and low-level execution profiling.

For more and detailed research topics, please look our projects page.  We welcome interested students and researchers to join us.

, April 1, 2000. Category: news.

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.

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.

Paper Presentation at COP 2016

Our paper “Classes as Layers: Refactoring Design Patterns with COP” (authored by Springer, Masuhara and Hirschfeld) was accepted for publication at the International Workshop on Context-oriented Programming (COP 2016), 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.

, July 8, 2016. Category: news.

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


, June 27, 2016. Category: news.

Paper Presentation at ARRAY 2016

Our paper “Object Support in an Array-based GPGPU Extension for Ruby” (authored by Springer and Masuhara) was accepted for publication at the ARRAY ACM SIGPLAN 3rd International Workshop on Libraries, Languages and Compilers for Programming (ARRAY 2016), co-located with PLDI 2016.

Paper Presentation at TFP 2016

Our paper “Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler” (authored by Huang, Masuhara and Aotani) was accepted for representation at the Symposium on Trends in Functional Programming (TFP 2016).

Improving Sequential Performance of Erlang based on a Meta-tracing Just-In-Time Compiler by Ruochen Huang, Hidehiko Masuhara and Tomoyuki Aotani

Department Orientations for Prospective Students

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 Hidehiko Masuhara if you are interested in.

, May 14, 2016. Category: news.