Our paper, entitled “Threaded Code Generation with a Meta-tracing JIT Compiler,” is accepted by the Journal of Object Technology (JOT) Special Issue for ICOOOLPS 2021 (JOT ICOOOLPS 21). The work was presented at the ICOOOLPS 2021 workshop in July.
Saito gave a presentation on a monadic equational reasoning at The 17th Theorem Proving and Provers meeting (TPP 2021).
At the 136th IPSJ SIG PRO Workshop, we present the following talks.
We welcome the two new members to the group in this fall.
Though both are currently waiting for a permission to land in Japan, they already have started their study by using video meetings. We wish that they will be able to land in Japan and accelerate their study soon.
Arai presented his paper on a Scheme-to-WebAssembly compiler at the 38th JSSST Annual Conference.
Kouhei Arai, Hidehiko Masuhara, and Youyou Cong. Towards a Scheme-to-WebAssembly Compiler
Tsuyama, Tsunoda and Takeuchi presented their work at the poster session.
Nose gave a talk on a tool for teaching with the design recipe at the Scheme 2021 workshop.
Junya Nose, Youyou Cong, Hidehiko Masuhara.
Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe.
The following work will be presented at HOPE 2021.
Ningning Xie, Youyou Cong, Daan Leijen. First-class Names for Effect Handlers.
The following work will be presented at TyDe 2021.
Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan Immanuel Brachthäuser. Contextual Polymorphism Meets Bidirectional Effects.
The following work will be presented at the 135th IPSJ workshop on programming.
Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong. A language-agnostic approach to collecting object graphs based on a language implementation framework
The following paper has been accepted to FSCD 2021.