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.
A paper entitled “The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs”, authored by Kohei Sakurai and Hidehiko Msauhara is presented at ACM Symposium on Applied Computing (SAC) 2015. [PDF]
Following posters has been 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
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.
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.
Ruochen Huang, a Master course student studying under the International Graduate Program (A), joins our group.
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.
The following papers/posters are presented at JSSST Annual Conference.
- “Visibility of Context-oriented Behavior and State in L” (paper) by Hirschfeld, Masuhara, Igarashi and Felgentreff
- “OCommand: A Domain Specific Language for Using Shell Commands Safely” (poster) by Asakura, Masuhara, and Aotani
- “Shiranui: Test-friendly live programming environment” (poster) by Imai, Masuhara, and Aotani
Professor Robert Hirschfeld from Hasso-Plattner Institut has visited our group from September 6th to 19th. He gave lectures on Context-Oriented Programming and Design Thinking Research.
The following papers are presented at 6th International Workshop on Context-Oriented Programming co-located with ECOOP’14