About masuhara



View all posts by masuhara

ECOOP 2025 Paper on Generating Multi-Tier JIT Compiler

A paper entitled “A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework”, authored by Yusuke Izawa, Hidehiko Masuhara and Carl-Friedrich Bolz, is accepted by ECOOP 2025. The work is based on Izawa’s Ph.D. thesis and development after graduation. The paper will be presented at the conference in Bergen, Norway.


👉 Project page

Two Papers on Distributed and Persistent Programming Languages for Software Evolution in Programming Journal/Conference

The following two papers are accepted by the <Programming> journal.  They are also presented at the <Programming> conference at Prague in June 2025.  The papers are the results of the joint work with Tetsuo Kamina at Oita University and Tomoyuki Aotani at Sanyo-Onoda City University.

👉 Project

New Members: a Master’s and two Undergrad Students

With a new master’s course student and two new undergraduates, we are happy to start a new academic year of 2025!

👉People

 

 

JSSST PPL Poster Award, Yusuke Matsushita, 2025, Linear HaskellでのRust流借用の純粋な実現

(more…)

JSSST PPL Sponsors Choice Award, Kyoka Konishi, 2025, An Abstract-Machine-Based Visualization for Supporting Learning of Delimited Continuations

(more…)

Final Presentation for Campus Asia Program by Jiwon Kim

Jiwon Kim, an exchange student from KAIST, gave the final presentation on his working during the Campus Asia Program.  He worked on formalizing microtonal music theory for verifying musical properties through type theory.

(more…)

APLAS Audience Award, Satsuki Kasuya, 2024, Vython: a Language with Dynamic Version Checking for Gradual Updating

(more…)

Acceptance of Tsunoda’s Article on Enbugging Quiz in Computer Software Journal

An article entitled “Quiz Generation Support Tool for Enbugging Quiz With Using Code Reduction and Syntax-driven Token Generation” by Tsunoda, Masuhara and Cong is accepted by the Computer Software journal.  The article is revised from our presentation at PPL 2024.

Two New Master Course Students and an Exchange Student

We welcomed three new members from October 2024.

👉 People

Tokyo Tech → Science Tokyo

Tokyo Institute of Technology is integrated with Tokyo Medical and Dental University into Institute of Science Tokyo. Our group remains unchanged modulo the name of the institute. (Even the URL of the website remains the same for the time being.)

Next page →