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

研究キーワード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 · 研究課題・受託研究・科研費

• 公式プロフィール