Tanabe will give the following research presentation at the Open Campus 2025 (Science Tokyo, Science and Engineering Division). This session is presented for high school students and prospective applicants. Advance registration is required for both in-person and online participation. A recording will also be available on Science Tokyo YouTube channel at a later date.
Slides
発表資料
Program
https://github.com/yudaitnb/matrix-benchmark-oc
Presentation
https://www.youtube.com/watch?v=TCgg341daZ8
Overview
Search engines, games, and social media platforms operate based on “blueprints” written in programming languages. A question arises: how can these blueprints be systematically described, processed with efficiency, and verified for safety? This lecture introduces the scientific foundations of programming languages that address these challenges, exploring methods for expressing, executing, and proving safeties of programs.
👉Website
👉Pamphlet
👉Personal website
👉Science Tokyo YouTube channel
Rikito Taniguchi presented his master’s thesis entitled “Design, Implementation, and Evaluation of a Compiler for a Managed Language Targeting a VM with Unmanaged and Managed Memory”. He designed and implemented a compiler from Scala to WebAssembly by exploiting WebAssembly’s recent extensions to support managed languages such as WasmGC and the WASI component model.
(more…)
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.
(more…)
The following invited talk by Tanabe will be presented at the MIT-Toyohashi ASPIRE Workshop 2025.
- Bringing Fine-Grained Task Parallelism to GPUs, Yudai Tanabe
This workshop is part of a collaborative project between the COMMIT Compiler Group at MIT and the Perf-lab at Toyohashi University of Technology, supported by the JST ASPIRE International Joint Research Program.
👉Presentation at the 153rd Workshop of IPSJ SIG Programming
👉MIT-Toyohashi ASPIRE Workshop 2025
(more…)
Yoshimura, Zhiqi Chen and Cong gave talks on an implementation of a multi-stage programming language and on related topics at the Workshop on Metaprogramming and Related Topics 2025 at Ochanomizu University.
(more…)
Matsuyama will give a talk titled “Coeffects – The Dual of Effects” at FP Matsuri.
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.
(more…)
Our paper entitled “An Efficient Execution Mechanism on a GPU for Fine-Grained Parallel Programs With the Fork-Join Model”, authored by Kosuke Kiuchi, Yudai Tanabe and Hidehiko Masuhara, was accepted by the IPSJ Journal of Information Processing and the IPSJ Transaction on Programming.
The paper was presented at the 153rd Workshop of IPSJ SIG Programming on March, 2025.
(more…)
On April 25th, 5 members from the Software Architecture Group at Hasso Plattner Institute visited our group, and Tom Beckmann gave a talk titled “Defeating Dragons in the Classroom: Roleplaying Games for Teaching Communication Skills in Software Engineering”.
With a new master’s course student and two new undergraduates, we are happy to start a new academic year of 2025!
👉People
