Kyoto University · Graduate School of Informatics

Research keywordstype systems・program verification・refinement types・session types・smart contracts・quantum programming

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Ownership Refinement Types for Pointer Arithmetic and Nested Arrays2026 · Proceedings of ECOOP 2026,
• Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types2026 · Proceedings of ECOOP 2026,
• Contextual Metaprogramming for Session Types2026 · Programming Languages and Systems - 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I.,
• Contextual Metaprogramming for Session Types2025 · 第27回プログラミングおよびプログラミング言語ワークショップ(PPL2025)論文集,

• Official profile