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.

IFL Presentations on CPS Translation, Delimited Control and Programming Education

The following presentations were accepted to the 36th Symposium on Implementation and Application of Functional Languages (IFL 2024).

(more…)

Matteo Basso’s Seminar Talk on Native-Image Startup Performance


Matteo Basso, a PhD student from USI, visited our group and gave a seminar talk, entitled “Improving Native-Image Startup Performance”.  It was a preview talk of his paper accepted at CGO 2025, and was a great opportunity for us to learn the performance bottlenecks and improvement opportunities in today’s VMs.

Omar’s Master Thesis Presentation

At the end of his exchange international student period at Tokyo Tech, Sherif Omar presented his Master’s thesis for TU-Berlin at our seminar. We celebrated his hard work while he has been with us, and wished his successful defense at his home university.