Yudai Tanabe had a public defense of his doctoral dissertation on “A Programming Language with Versions.” He designed a novel programming language that can handle multiple versions of a program from within a programming language.
A paper titled “Semantics of Probabilistic Programs using S-Finite Kernels in Coq” written by Affeldt, Cohen and Saito was presented at CPP 2023.
The following paper was accepted to PEPM 2023.
Youyou Cong and Kenichi Asai. Towards a Reflection for Effect Handlers. PEPM 2023, Boston, MA, USA, January 2023.
Takahashi and Cong presented at the 10th SIGPX meeting. Takahashi gave a talk on “Implementation of Language-agnostic Live Programming Environment and Efficient Evaluation by Differential Execution.” Cong did on “Dagstuhl Seminar Report – Educational Programming Languages and Systems.”
The following paper has been accepted to OOPSLA 2022.
The following paper is accepted by and presented at the International Conference on Software Language Engineering (SLE 2022), on of the SPLASH 2022 conferences held in December 2022 in Auckland, New Zealand. This is one of the results of our Programming with Versions project, which enables to use definitions of different versions in one program, and extends the core idea to an object-oriented programming language.
A paper entitled “Mio: a Block-Based Environment for Program Design”, authored by Junya Nose, Youyou Cong, and Hidehiko Masuhara, was presented at SPLASH-E 2022, a symposium for software and languages researchers with activities and interests around computing education.
A paper entitled “An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming”, authored by Paul Leger, Nicolas Cardozo, and Hidehiko Masuhara, is accepted by the journal on Information and Software Technology. The paper proposes a mechanism that increases modularity in context-oriented programming while offering a good level expressiveness, and demonstrated its usefulness in our JavaScript-based context-oriented programming language.
We started this project when Paul visits our group in 2019. We are happy to present one of the results of the visit in this way.
👉Project: Adaptive Interface Language for COP
The following presentation has been accepted to LENLS 19.
Professor Fernando Castor at Utrecht University visited our group and gave a seminar talk on program understanding research. He also had a lot of discussions with our members.
