Poster Presentations at PPL 2024
The following posters were presented at the 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.
(more…)The following posters were presented at the 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.
(more…)Five of our members presented their bachelor’s theses.
(more…)Our members presented their master’s theses.
(more…)A paper entitled “An Intrinsically Typed Compiler for Algebraic Effect Handlers”, authored by Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara, is accepted by PEPM2024(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) which is held in London, UK on January 2024.
(more…)Cong will give a talk titled “One-Pass CPS Translation of Dependent Types” at PEPM 2024, co-located with POPL 2024.
(more…)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.
A paper entitled “Compilation Semantics for a Programming Language with Versions”, authored by Tanabe, Luthfan, Aotani and Masuhara is accepted by the 21st Asian Symposium on Programming Languages and Systems (APLAS 2023), which is held in Taipei, Taiwan on November 2023. The paper proposes a method of compiling the VL version programming language, which was proposed in our previous work.
A paper “Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023).
Three students from Okayama Prefectural Sozan Junior High School visited our group. They presented their project on programming, visualization and musical composition. We had very fun discussion on their project and the nature of research at university including our group’s, and were highly impressed their attitude to studying advanced topics as well as knowledge on programming languages.
Filip Strömbäck at Linköping University has joined our group as a visiting researcher. In the next two months, he will be working with Cong on developing a programming language for learning the concept of continuations. Welcome Filip!