About…

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

  • Theory and design of programming languages: We are investigating for example type systems, control operators, advanced module mechanisms, and program synthesis.
  • Implementation techniques for high-level programming languages: We are developing object-oriented support for high-level GPGPU programming languages, and runtime compiler frameworks.
  • Improving software development environment by applying program analysis and machine-learning techniques: We are developing live programming environments for the real programmers, an environment for teaching, code completion mechanisms and debuggers.

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

High School Students Visited Our Seminar

Around 20 students from Seiryo High School visited to join our group’s seminar. At the seminar, we discussed on a talk on “algebraic effect handlers and their application to game developments,” which was given by one of our members. We had many questions even after the seminar. We hope that the visit was fruitful to know something about research at universities.

PPL 2024 Presentation on “Compilation Semantics for a Programming Language with Versions”

Yudai Tanabe’s work on “Compilation Semantics for a Programming Language with Versions”, co-authored with Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara is accepted by and presented at the 26th JSSST Workshop on Programming and Programming Languages (PPL2024), Category 2 This is a previously published paper presented at APLAS 2023 in Taiwan last November.

👉Project page

Poster Presentations at PPL 2024

The following poster presentations were presented at The 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.

Five Members Presented Bachelor’s Thesis

Five of our members presented their bachelor’s theses.

  • Cahyono Jessica Belicia, Design and Implementation of a Block-based System for Learning How to Construct Algebraic Data Types
  • Satsuki Kasuya, Design and Compatibility-Checking Mechanism of a Dynamically-Typed Language That Supports Multiple Versions
  • Hironori Kawazoe, Type-Preserving Translation from A-Normal Forms to Continuation-Passing Forms in a Dependent-Typed Language
  • Taito Suda, Supporting Directed Acyclic Graphs in a Type-Level Shape Checker for Deep-Learning Programs
  • Akane Taniguchi, Formalizing an Object-Oriented Programming Language With Delimited Control