About member
View all posts by member
Poster on Polymorphism for Programing With Versions at ECOOP 2023 SRC
The poster titled “Polymorphism for Programming With Versions” authored by Luthfan Anshar Lubis was selected for the Student Research Competition (SRC) at the 37th European Conference on Object-Oriented Programming (ECOOP 2023) held at the University of Washington, Seattle, USA.
👉 Project
DEBT Workshop Paper on Visual Debugger with Representation Conversion
The paper titled “Program State Visualizer with User-Defined Representation Conversion (WIP)” authored by Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong has been accepted by the first Future Debugging Techniques (DEBT) workshop, co-located with the 37th European Conference on Object-Oriented Programming (ECOOP 2023) to be held at the University of Washington, Seattle, USA.
Presentation on “A Functional Programming Language with Versions” (@ ‹Programming› 2023)
A paper entitled “A Functional Programming Language with Versions”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara, is presented at The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023).
This paper was also presented at ‹Programming› 2022.
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
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).
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
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…)