研究課題
若手研究(B)
スケルトン並列プログラミングは,並列プログラムを容易に作成できるようにするための手法のひとつである.本研究では,ある計算をその計算が操作するデータ構造の観点から系統的に定式化する構成的アルゴリズム論に基づいて,スケルトン並列プログラミングの理論と実現に関して研究を進めた.木構造データの効率的な並列処理のための新しいデータ構造,スケジューリングアルゴリズム,ライブラリの実現などの成果を得た.
すべて 2009 2008 2007 2006 その他
すべて 雑誌論文 (14件) (うち査読あり 10件) 学会発表 (7件) 備考 (2件)
In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language (POPL2009)
ページ: pp. 177-185
Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-30
ページ: pp. 1-18
Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-27
ページ: pp. 1-7
情報処理学会論文誌:プログラミング Vol. 49 (SIG3)
ページ: pp. 16-27
In Proceedings of International Conference on Parallel and Distributed Computing (EuroPar2007)
ページ: pp. 705-714
コンピュータソフトウェア Vol. 24(3)
ページ: pp. 51-62
Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2007-05
ページ: pp. 1-29
In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI2007)
ページ: pp. 146-155
In part of The International Conference on Computational Science (ICCS 2007)
ページ: pp. 609-616
ページ: pp. 601-608
Parallel Computing Vol. 32(7-8)
ページ: pp. 590-603
In Proceedings of 1st International Conference on Scalable Information Systems (Infoscale2006)
In Proceedings of International Conference on Parallel Computing (EuroPar2006)
ページ: pp. 605-614
In Proceedings of 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006)
ページ: pp. 39-48
http://www.ipl.t.u-tokyo.ac.jp/.kmatsu/
http://www.ipl.t.u-tokyo.ac.jp/sketo/
