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.
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.
Professor Vasco Thudichum Vasconcelos at University of Lisbon visited our group and gave a seminar talk on his work on System Fμω with Context-free Session Types. It was our great opportunity to learn the session types from introduction to the recent developments.