Kanagawa University · Faculty of Informatics · 准教授

Research keywordswork-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

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

• 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 · 研究課題・受託研究・科研費

• Official profile