Izumi Tanaka

According to our database, Izumi Tanaka authored at least 2 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators.

Izumi Tanaka, Ken Sakayori, Shinya Takamaeda-Yamazaki, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2026

2024

Ownership Types for Verification of Programs with Pointer Arithmetic.

Izumi Tanaka, Ken Sakayori, Naoki Kobayashi

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024