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.

ITiCSE Paper on the Error Generating Quiz

A paper titled “Mind the Error Message: an Inverted Quiz Format to Direct Learner’s Attention to Error Messages”, authored by Kazuhiro Tsunoda, Hidehiko Masuhara and Youyou Cong is accepted by the ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023). We are glad that our paper is one of 81 accepted papers among 299 submissions. The conference is held in Turku, Finland, in July 2023.

👉Project page

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.

(more…)

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.

(more…)

Kiuchi and Sakai Presented Bachelor’s Theses

Our members presented their bachelor’s theses. 

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…)
Next page →
← Previous page