About member
View all posts by member
Doctoral thesis defense by Yusuke Izawa
Yusuke Izawa had a public defense of his doctoral dissertation on “Supporting multi-scope and multi-level compilation in a meta-tracing just-in-time compiler.” He realized a new meta-compilation system that enables a meta-tracing JIT compiler to perform compilation in different scopes and multiple compilation levels with taming an interpreter definition.
(more…)CPP Paper on Formalization of the Semantics of a Probabilistic 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.
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.
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.
๐Project page
2 presentations at JSSST 2023 Conference
The following papers are presented at the 2022 Annual Conference of the Japan Society for Software Science and Technology (JSSST2022) held at University of Tokyo and online.
- Kosuke Kiuchi, Hidehiko Masuhara and Youyou Cong. ——
- Taiga Sakai, Hidehiko Masuhara and Youyou Cong. ——-
Takahashi Received IPSJ Computer Science Research Award for Young Scientists
Shusuke Takahashi received the 2022 IPSJ Computer Science Research Award for Young Scientists for his presentation on “An approach to collecting object graphs for data-structure live programming based on a language implementation framework“, presented at the 136th IPSJ Workshop on Programming.
๐Project page
Talk on Poly2Kanon at Truffle 2022
Shusuke Takahashi gave a talk on Poly2Kanon at the Truffle 2022 workshop, co-located with the ECOOP2022.
- Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara and Youyou Cong. “Efficient Object Graph Recording with Truffle for Live Data-Structure Programming.”
A COP 2022 Paper on Programming with Versions in Real-World Functional Languages
A paper entitled “A Step toward Programming with Versions in Real-World Functional Languages”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara was accepted by and presented at International Workshop on Context-Oriented Programming and Advanced Modularity.
- Type-Safe Programming with Versions (Project Page)
Talk on Adaptive RPython at ICOOOLPS ’22
Yusuke Izawa gave a talk on Adaptive RPython at the ICOOOLPS ’22 workshop, co-located with the ECOOP ’22 conference.
- Yusuke Izawa and Hidehiko Masuhara. “Taming an Interpreter for Threaded Code Generation with a Tracing JIT Compiler.” [URL]