研究

主な研究テーマ

• 高位合成システムの開発に関する研究
  • MIPSバイナリからハードウェアを合成するバイナリ合成システム ACAP の開発
  • Erlangからの高位合成システム ECAP の開発
  • 組込みシステムの設計
• コンパイラのテストに関する研究
  • Cコンパイラ用テストスイート testgen2 の開発
  • Cコンパイラのランダムテストシステム Orange3, Orange4 の開発
• プログラムの高速化に関する研究
  • コンパイラの最適化オプションセットの探索
  • キャッシュ構成の最適化

• 学生の受賞一覧
• 修士論文・卒業論文の題目一覧