Category: news
Talk on Adaptive RPython at MoreVMs’23 Workshop
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
PPL 2023 Presentation on “Dependently-typed Compilers for Algebraic Effects and Handlers”
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
Poster Presentations at PPL 2023
The following poster presentations were presented at Programming and Programming Language Workshop 2023 held at Nagoya University from March 6-8.
- Ayumu Saito, Reynald Affeldt. An Attempt to Extend the Formal Foundations of Probabilistic Programming Language with Syntax
- Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong. A Domain-Specific Language for Customizing Visual Debugger Views
- Luthfan Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara. Toward Parameterized Versions in Object-oriented Version Programming
Cong received Tokyo Tech Best Teacher Award
Youyou Cong received Tokyo Tech Best Teacher Award for the following achievement.
- Implementation of programming education that leave no stragglers
Kiuchi and Sakai Presented Bachelor’s Theses
Our members presented their bachelor’s theses.
- Kosuke Kiuchi, Simsym: a Proposal for a Simulator That Lets Learners Define Physical Systems (dissertation, abstract)
- Taiga Sakai, A Block-Based Environment for Composing Purpose Statements in the Design Recipe (dissertation, abstract)
Ikemori, Furudono and Takahashi present Master’s Thesis
Our members presented their master’s thesis.
- Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators
- Naoya Furudono, Formalizing Differential Execution
- Shusuke Takahashi, Implementation of Live Programming Environmnet Based on Differential Execution Using Evaluation History
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…)Doctoral thesis defense by Yudai Tanabe
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…)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.
Paper on Reflection for Effect Handlers (@ PEPM 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.