Talk on CPS Translation for Dependently Typed Languages (@ PEPM 2024)
Cong will give a talk titled “One-Pass CPS Translation of Dependent Types” at PEPM 2024, co-located with POPL 2024.
Prof. Vasconcelos’ Seminar Talk on Session Types
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.
APLAS 2023 Paper on Compiling a Version Programming Language
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.
APLAS 2023 Paper on a Mechanized Formalization of a Probabilistic Programming Language
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).
Junior High School Student Visit From Okayama
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.
New Visiting Member: Filip Strömbäck
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!
3 Talks on formalization at TPP 2023
Three students present their work at The 19th Theorem Proving and Provers meeting.
PPDP Paper on Expressiveness of Effect Handlers
A paper entitled “Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators”, authored by Kazuki Ikemori, Youyou Cong and Hidehiko Masuhara, is accepted by the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023). The paper shows equivalence of expressiveness between effect handlers and delimited control operators in a setting where handlers and delimited continuations are distinguished by labels. The paper will be/was presented at the symposium held as a part of the SPLASH 2023 conference at Cascais, Portugal in October 2023.
Sakai receives a Student Presentation Award from the 40th JSSST Annual Conference
Taiga Sakai receives a Student Presentation Award from the 40th JSSST Annual Conference for his presentation on “A Proposal on Step-by-Step Processes of Writing Purpose Statements and a Preliminary Design of an Integrated Writing Environment“.
Presentation of a Paper on Modular Layer Activation at ICSME 2023
A InfoSoft Journal paper entitled “An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming”, authored by Paul Leger, Nicolas Cardozo, and Hidehiko Masuhara, is presented at the Journal First Track of the 39th IEEE International Conference on Software Maintenance and Evolution in Bogota, Colombia on October 1-6.
👉Project: Adaptive Interface Language for COP