研究紹介

計算科学研究機構

利用高度化研究チーム

チームリーダー 前田 俊行 (Ph.D.)
前田 俊行 (Ph.D.)

利用高度化研究チームでは、大規模高性能計算機をより多くの利用者・開発者に使ってもらえるようなフレームワークの研究・開発を行います。この目的を達成するために、以下のような三つの分野において研究を行います。

  1. 計算サービスの利用・提供・集約を容易にするような計算ポータル
  2. 計算サービス・その利用者/提供者間の安全性や公平性を実現するための仮想化技術、また、サービスのテスト・デバッグ・検証のための仮想大規模高性能計算環境を実現する軽量仮想化手法
  3. 大規模並列プログラムのための、決定的並列性の動的・静的解析にもとづいたソフトウェア検証手法

研究テーマ

  • 計算サービスの利用・提供・集約を容易にするような計算ポータル
  • 計算サービス・その利用者/提供者間の安全性や公平性を実現するための仮想化技術、また、サービスのテスト・デバッグ・検証のための仮想大規模高性能計算環境を実現する軽量仮想化手法
  • 大規模並列プログラムのための、決定的並列性の動的・静的解析にもとづいたソフトウェア検証手法

主要論文

  1. Abe, T., Maeda, T., and Sato, M.:
    "Model Checking Stencil Computations Written in a Partitioned Global Address Space Language"
    In Proceedings of the 18th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS 2013). To appear. (2013)
  2. Abe, T., Maeda, T., and Sato, M.:
    "Model Checking with User-Definable Abstraction for Partitioned Global Address Space Languages"
    In Proceedings of the 6th Conference on Partitioned Global Address Space Programming Models (PGAS 2012), online. (2012)
  3. Maeda, T., Sato, H., and Yonezawa, A.:
    "Extended Alias Type System using Separating Implication"
    In Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011), pp. 29-42. (2011)
  4. Sawazaki, J., Maeda, T. and Yonezawa, A.:
    "Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms"
    In Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), pp. 37-46. (2010)
  5. Maeda, T. and Yonezawa, A.:
    "Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts"
    In Proceedings of the 5th International Workshop on Systems Software Verification (2010)
  6. Maeda, T. and Yonezawa, A.:
    "Writing an OS Kernel in a Strictly and Statically Typed Language"
    In Formal to Practical Security, Vol. 5458 of Lecture Notes in Computer Science, pp. 181-197. (2009)
  7. Kosakai, T., Maeda, T., and Yonezawa, A.:
    "Compiling C Programs into a Strongly Typed Assembly Language"
    In proceedings of the 12th Asian Computing Science Conference (ASIAN 2007). pp. 17-32. (2007)