The Programming Research Group is working on programming languages and programming environments. Graduate and undergraduate students of Tokyo Tech and the University of Tokyo are working together. 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.

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.

Members as of April 2015

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.

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 Flows(Kenta Fujita)

Poster presentation on Ikra at ISP2S2

posterPoster 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.

A paper on pointcut refinement will be presented at QSIC 2014

Our paper “Improving the quality of AspectJ application: translating name-based pointcuts to analysis-based pointcuts” authored by Wang Lin, Tomoyuki Aotani and Masato Suzuki will be presented at QSIC 2014.

A new member joins us

Ruochen Huang, a Master course student studying under the International Graduate Program (A), joins our group.

A Festschrift “Concurrent Objects and Beyond” for Professor Akinori Yonezawa from Springer

A Festschrift “Concurrent Objects and Beyond”, dedicated to Professor Akinori Yonezawa, is published as Lecture Notes in Computer Science Volume 8665 from Springer.  Masuhara was one of the editors of the volume.