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.
Roger Burtonpatel visited our group and gave a seminar talk titled “An Alternative to Pattern Matching, Inspired by Verse”.
An article entitled “Quiz Generation Support Tool for Enbugging Quiz With Using Code Reduction and Syntax-driven Token Generation” by Tsunoda, Masuhara and Cong is accepted by the Computer Software journal. The article is revised from our presentation at PPL 2024.
(more…)
Tokyo Institute of Technology is integrated with Tokyo Medical and Dental University into Institute of Science Tokyo. Our group remains unchanged modulo the name of the institute. (Even the URL of the website remains the same for the time being.)
The following poster will be presented at The 41st JSSST Annual Conference.
(more…)
Tanabe will give an invited talk on PLDI’24 paper at The 41st JSSST Annual Conference.
Date: September 11 Wed. 11:45~12:15 JST
Venue: Ritsumeikan University Osaka Ibaraki Campus (OIC) H321
Title: Space-Efficient Polymorphic Gradual Typing, Mostly Parametric (Paper)
The following presentations were accepted to the 36th Symposium on Implementation and Application of Functional Languages (IFL 2024).
(more…)