HPC Usability Research Team

The mission of the HPC Usability Research Team is to research and develop a framework for liberating large-scale HPC (high-performance computing) for end-users and developers. In order to achieve the goal, we conduct research in the following three fields:

1. Computing portal that lowers the threshold for using, providing, and aggregating computing/data services.
2. Virtualization technologies for achieving security and fairness among services, users, and providers. In addition, we also study lightweight virtualization techniques for realizing virtual large-scale HPC for test, debug, and verification of services.
3. Software verification approaches for large-scale parallel programs on the basis of static/dynamic analysis of deterministic parallelism.

Research Subjects

• Computing portal that lowers the threshold for using, providing, and aggregating computing/data services
• Virtualization technologies for achieving security and fairness among services, users, and providers. In addition, we also study lightweight virtualization techniques for realizing virtual large-scale HPC for test, debug, and verification of services
• Software verification approaches for large-scale parallel programs on the basis of static/dynamic analysis of deterministic parallelism

Publications

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)