Category: news


Two Talks on Education and Computers at JSSST 2023 Conference

Kiuchi and Sakai respectively presents their work on education and computers at the 2023 Annual Conference of the Japan Society for Software Science and Technology (JSSST2023) held at the University of Tokyo and online.

(more…)

Talk on Designing a Language for Learning Continuations (@ Scheme 2023)

The following presentation has been accepted to Scheme 2023.

  • Youyou Cong.  Designing a Language for Learning Continuations.

Paper on Musical Type System (@ FARM 2023)

The following paper will be presented at FARM 2023, a workshop co-located with ICFP 2023.

  • Youyou Cong. Weighted Refinement Types for Counterpoint Composition.

TyDe 2023 Talk on a Probabilistic Programming Language

A extended abstract “An Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at the Workshop on Type-Driven Development (TyDe 2023).

👉Project page

Prof. Rose Bohrer’s Seminar Talk

Professor Rose Bohrer at Worcester Polytechnic Institute visited our group and gave a seminar talk on her work on Homotopy Type Theory for Sewn Quilts. We learned a lot about quilting and how homotopy type theory can help a programming language for quiliting.

Apriyadi presents Master’s Thesis

Our member presented their master’s thesis.

  • Rifqi Adlan Apriyadi, Adding User-Definable Representation Conversion to Debugger State Visualization

Cong receives Tokyo Tech Challenging Research Award

Cong received the 2023 Tokyo Tech Challenging Research Award for her research project titled “Developing a Typed Programming Language for Ensuring Fuzzy Specifications”.

Link to post on university website

Tanabe’s Dissertation was Introduced in JFP

Yudai Tanabe’s doctoral dissertation “A Programming Language with Versionswas introduced in “the PhD Abstracts” in the Journal of Functional Programming.

Poster on Polymorphism for Programing With Versions at ECOOP 2023 SRC

The poster titled “Polymorphism for Programming With Versions” authored by Luthfan Anshar Lubis was selected for the Student Research Competition (SRC) at the 37th European Conference on Object-Oriented Programming (ECOOP 2023) held at the University of Washington, Seattle, USA.

👉 Project

DEBT Workshop Paper on Visual Debugger with Representation Conversion

The paper titled “Program State Visualizer with User-Defined Representation Conversion (WIP)” authored by Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong has been accepted by the first Future Debugging Techniques (DEBT) workshop, co-located with the 37th European Conference on Object-Oriented Programming (ECOOP 2023) to be held at the University of Washington, Seattle, USA.

Next page →
← Previous page