Tokyo Metropolitan University · Graduate School of System Design / Faculty of System Design · 助教

Research keywordsfunctional reactive programming・meta-tracing JIT・virtual machine generation・multi-tier compilation・live programming・object graph collection・shape-changeable computers

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

• A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Computers
• Annotation-Guided Edit-Aware JIT Compilation for Julia Computational Notebooks
• Two-level Just-in-Time Compilation with One Interpreter and One Engine.
• Supporting multi-scope and multi-level compilation in a meta-tracing just-in-time compiler.

• 日欧協働によるメタコンパイラ技術の発展と次世代ソフトウェア基盤の創出
• 研究活動スタート支援: 獲得のコツ
• プログラマと呼応する高効率機械学習ノートブックプログラミング環境
• ソフトウェア社会のさらなる生産性向上に向けた汎言語ソフトウェア基盤の高性能化研究

• Official profile