Nagoya University · Faculty of Informatics / Graduate School of Informatics · 教授

Research keywordsreversible programming・concurrent languages・session types・data flow analysis・go concurrency・process calculi

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

• RevMiGo: Reversible Channel-Based Communication in Go Language2025 · Lecture Notes in Computer Science 15716 巻 頁： 119 - 127 2025年7月
• 並行可逆プログラミング言語Concurrent Janusおよびその処理系2025 · 第27回プログラミングおよびプログラミング言語ワークショップ発表予稿集 頁： C1-2:1 - C1-2:19 2025年3月
• Constant Propagation in CRIL by Bidirectional Data Flow Analysis2024 · Journal of Information Processing 32 巻 頁： 552 - 564 2024年7月
• revTPL: The Reversible Temporal Process Language2024 · Logical Method in Computer Science 20 巻 ( 1 ) 頁： 11:1 - 11:35 2024年1月

• データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法2021 · 研究課題/研究課題番号： 21H03415 2021年4月 - 2026年3月
• コレオグラフィ記述に基づく組込みシステムの高信頼性設計技法2007 · 2007年

• Official profile