Category: news
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 Theses
Our members presented their master’s theses.
- 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.
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.
Paper on Named Effect Handlers (@ OOPSLA 2022)
The following paper has been accepted to OOPSLA 2022.
- Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen. First-Class Names for Effect Handlers.
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.