神奈川大学 · 情報学部 · 准教授

研究关键词work-stealing schedulers・task-parallel languages・MPI parallel runtime・Java bytecode manipulation・Clojure tooling・Android static analysis・escape analysis・concurrent graph rewriting・exception handling in C・garbage collection

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Managing Continuations for Proper Tail Recursion
• HOPE: A Parallel Execution Model Based on Hierarchical Omission
• Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs
• L-Closureを用いた真に末尾再帰的なSchemeインタプリタ

• 2020/04～2023/03 モジュール間の安全な相互作用を可能にするメタプログラミング言語機構 基盤(C)2020 · 研究課題・受託研究・科研費
• 2016/04～2019/03 柔軟かつ利便性の高いアクセス制御機能を備えたプログラミング言語 基盤研究(C)2016 · 研究課題・受託研究・科研費
• 2012/04～2015/03 アンビエント計算に基づく実用的かつ信頼性の高い分散プログラム開発環境 若手研究(B)2012 · 研究課題・受託研究・科研費
• 2006/04～2011/03 情報爆発に対応する高度にスケーラブルなソフトウェア構成基盤 特定領域研究2006 · 研究課題・受託研究・科研費

• 官方个人主页