Paper on Named Effect Handlers (@ OOPSLA 2022)
The following paper has been accepted to OOPSLA 2022.
- Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen. First-Class Names for Effect Handlers.
SLE 2022 Paper on BatakJava, an OOP Language With Versions
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.
SPLASH-E Paper on Block-Based Environment for Program Design
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.
An InfoSoft Journal Article on COP Layer Activation Mechanism
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
Presentation on Type Theory for Fuzzy Properties (@ LENLS 19)
The following presentation has been accepted to LENLS 19.
- Youyou Cong. In Search of a Type Theory for Fuzzy Properties.
Prof. Castor’s Visit
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.
Back to School
After two and half years of online activities, we start having our seminars physically again. It is fun to re-discover many lost technologies in these years (like “don’t look at the screen, face to the audience!”), and to take a photo!
Paper presentation on Monadic Equational Reasoning at MPC 2022
Saito presents his paper entitled “Towards a Practical Library for Monadic Equational Reasoning in Coq” at the 14th International Conference on Mathematics of Program Construction (MPC 2022). This work is jointly done with Reynald Affeldt at AIST.
Presentations on Effects (at TyDe & HOPE)
The following presentations have been accepted to the TyDe and HOPE workshops, co-located with ICFP 2022.
- Youyou Cong and Kenichi Asai. Towards Dependently-Typed Control Effects. The 7th Workshop on Type-Driven Development (TyDe 2022), Ljubljana, Slovenia, September 2022.
- Youyou Cong, Shin-ya Katsumata, Kazuki Niimi, and Jonathan Immanuel Brachthäuser. Monadic Semantics of Bidirectional Effects. The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022), Ljubljana, Slovenia, September 2022.
Article on Control Operators
The following article has been accepted for publication in the LMCS journal.
- Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai. A Functional Abstraction of Typed Invocation Contexts. Logical Methods in Computer Science (LMCS) Special Issue on Selected Papers of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021).