Yusuke Izawa will give a talk entitled “Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework” at the MoreVMs’23 workshop.
“Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework“
Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick
๐ Project Page
Syouki Tsuyama’s work on “Dependently-typed Compilers for Algebraic Effects and Handlers”, co-authored with Youyou Cong and Hidehiko Masuhara is accepted by and presented at the 25th JSSST Workshop on Programming and Programming Languages (PPL2023).
๐Project page
The following poster presentations were presented at Programming and Programming Language Workshop 2023 held at Nagoya University from March 6-8.
Youyou Cong received Tokyo Tech Best Teacher Award for the following achievement.
Our members presented their bachelor’s theses.
Our members presented their master’s thesis.
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…)
Yudai Tanabe had a public defense of his doctoral dissertation on “A Programming Language with Versions.” He designed a novel programming language that can handle multiple versions of a program from within a programming language.
(more…)A paper titled “Semantics of Probabilistic Programs using S-Finite Kernels in Coq” written by Affeldt, Cohen and Saito was presented at CPP 2023.
The following paper was accepted to PEPM 2023.
Youyou Cong and Kenichi Asai.ย Towards a Reflection for Effect Handlers.ย PEPM 2023, Boston, MA, USA, January 2023.