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.
The following papers are presented at 7th International Workshop on Context-Oriented Programming co-located with ECOOP’15
A paper on “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” authored by Asakura, Masuhara, Aotani is accepted by IPSJ Transaction on Programming.
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.
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]
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 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.
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]
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
Imai, Kiriyama and Fujita presented their bachelor’s theses at the Tokyo Institute of Technology
- 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)