Category: news
Fathul, Arai and Nose Presents Master’s Theses
Our members present their master’s theses.
- Fathul Asrar Alfansuri, Supporting Multiple Inheritance in a Python DSL for GPGPU
- Kohei Arai, 仮想機械語を用いた第一級継続の実現方法とその比較
- Junya Nose, Mio:プログラムデザインを支援するブロック学習環境
Journal Paper on Implementation of Kanon Live Programming Environment
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.
Presentation on Type-Based Music Generation at MUS133
The following work will be presented at MUS 133.
- Youyou Cong. Towards Type-Based Generation of Intervals.
Presentation on Intrinsically-typed Interpreters at WITS’22
The following presentation will be held at the first International Workshop on the Implementation of Type Systems (WITS’22), colocated with POPL22.
- Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara. Intrinsically-typed Interpreter for Effectful Languages (discussion)
Paper on the Adaptive RPython (@ PEPM’22)
The following short paper will be presented at the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM).
- Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick. Two-level Just-in-Time Compilation with One Interpreter and One Engine. [paper]
Paper on Adaptive RPython in Journal of Object Technology
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.
- Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, and Youyou Cong. Threaded Code Generation with a Meta-Tracing JIT Compiler. [paper]
Talk on Monadic Equation Reasoning (@ TPP2021)
Saito gave a presentation on a monadic equational reasoning at The 17th Theorem Proving and Provers meeting (TPP 2021).
- Ayumu Saito and Reynald Affeldt. Extending Monae to formalize quicksort using monads in Coq
Talks on an Implementation Technique for Live Programming Environments and on an Evaluation of a Native Image Compiler at IPSJ SIG PRO Workshop
At the 136th IPSJ SIG PRO Workshop, we present the following talks.
- Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong. An approach to collect object graphs for data-structure live programming based on a language implementation framework.
- This work is extended from the one presented at the previous round, and accepted for a journal publication.
- Yusuke Izawa, Michihiro Horie*, Kazunori Ogata*, Tatsuhiro Chiba*. An evaluation of the Quarkus framework with a Java static compiler.
- This work is based on the Izawa’s internship at IBM Research Tokyo(*).
Two New Members
We welcome the two new members to the group in this fall.
- Rifqi Adil Apriyadi (Master’s course, IGP(C))
- Jacob Lindahl (Master’s course, IGP(C))
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.
Talk on a Scheme-to-WebAssembly Compiler at JSSST (Along with 3 Posters)
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.
- Syoki Tsuyama, Youyou Cong and Hidehiko Masuhara. Towards a Library for Defining Intrinsically-Typed Interpreters(PDF)
- Kazuhiro Tsunoda, Hidehiko Masuhara and Youyou Cong. Error-Making Exercises for Novice Programmers: a Proposal(PDF)
- Fumi Takeuchi, Hidehiko Masuhara, Raffi Khatchadourian and Youyou Cong. Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language
