------------------------------------------------------------------
            第 375回 PTT のお知らせ

   ---  Programming Tools and Techniques  ---
------------------------------------------------------------------
■日時: 2011年5月31日 (火) 18:30 から
■話者: 佐藤 重幸 (電気通信大学)
■題目: 行列乗算による自動並列化
■概要:

プログラム変換の分野では，主に理論的興味に基づいて，複雑なリダクション
の並列化が研究されてきた．その結果，形式化に焦点が当てられていて，実装
に関する話題はほとんど扱われてこなかった．本論文は，形式化と実装の溝を
埋めるために，行列乗算による並列化をコンパイラ構成に統合した．我々の枠
組みは，既存のコンパイラ技術で扱えるループに加えて，従来では扱えなかっ
た複雑なループの並列化を可能にする．また，2つの技術を開発することによっ
て，我々の枠組みを更に洗練させた．1つは，Max演算子を自動的に抽出するこ
とによって，自動的に並列化する能力を高めるものである．もう1つは，並列化
後のプログラムにある冗長性を除去することで，性能を向上させるものであ
る．我々の枠組みと技術を，実働するコンパイラの中の並列化器として実装し
た．既存のコンパイラでは並列化ができない例を用いた実験によって，我々の
実装によって並列化されたプログラムのスケーラビリティを実証した．

補足:
本研究は 6/8 に PLDI 2011 で発表する予定である．PTT での発表は PLDI で
の発表内容を中心に，残り時間に合わせて詳細に立ち入った説明を適宜行う．

■場所: 電気通信大学 西9号館 3F AVホール

  新宿駅より京王線，調布駅(特急・準特急で2つ目，15分) 北口下車，
  北西方向徒歩12分程度，電気通信大学西地区キャンパスの
  南西端にある白い建物; 甲州街道(国道20号線)
  下石原交差点の北20メートルに西門あり．

  交通ガイド(図中の西地区68番の建物)
   http://www.uec.ac.jp/about/profile/access/
------------------------------------------------------------------