Our paper entitled “An approach to collect object graphs for data-structure live programming based on a language implementation framework”, authored by Shusuke Takahashi , Yusuke Izawa , Hidehiko Masuhara and Youyou Cong , was accepted by the IPSJ Transaction on Programming . The paper is also included in the IPSJ Journal of Information Processing (JIP) .
The paper was presented at the 136th Workshop of IPSJ SIG Programming on November 1st, 2021.
The following work will be presented at MUS 133 .
Youyou Cong . Towards Type-Based Generation of Intervals.
The following short paper will be presented at the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) .
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.
