• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

佐々 政孝  SASSA Masataka

ORCIDORCID連携する *注記
研究者番号 20016182
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2012年度: 東京工業大学, 情報理工学(系)研究科, 教授
2009年度 – 2012年度: 東京工業大学, 大学院・情報理工学研究科, 教授
2008年度: 東京工業大学, 大学院・情報理工学(系)研究科, 教授
2004年度 – 2007年度: 東京工業大学, 大学院・情報理工学研究科, 教授
2006年度: 東京工業大学, 大学院情報理工学研究科, 教授 … もっと見る
1996年度 – 2002年度: 東京工業大学, 大学院・情報理工学研究科, 教授
1995年度: 東京工業大学, 大学院・情報理工学研究科・数理計算科学専攻, 教授
1994年度 – 1995年度: 東京工業大学, 大学院・情報理工学研究科・数理・計算科学専攻, 教授
1994年度: 東京工業大学, 大学院・情報理工学研究科, 教授
1993年度: 東京工業大学, 理学部・情報科学科, 教授
1992年度 – 1993年度: 東京工業大学, 理学部, 教授
1992年度: 東京工業大学, 理学部情報科学科, 教授
1991年度: 筑波大学, 電子・情報工学系, 教授
1990年度 – 1991年度: 筑波大学, 電子情報工学系, 教授
1988年度 – 1989年度: 筑波大学, 電子情報工学系, 助教授
1987年度: 筑波大学, 電子・情報工学系, 助教授
1986年度: 筑大, 電子・情報工学系, 講師
1986年度: 筑波大学, 電子情報工学系, 助教授 隠す
審査区分/研究分野
研究代表者
計算機科学 / ソフトウエア / 情報学
研究代表者以外
情報学 / 情報工学
キーワード
研究代表者
コンパイラ / 最適化 / Compiler / 属性文法 / Attribute Grammar / コンパイラ生成系 / Optimization / 時相論理 / SSA (static single assignment) form / SSA形式(静的単一代入形式) … もっと見る / 命令レベル並列処理 / コード生成 / Compiler Generator / 部分無用コード除去 / モデル検査 / 検証 / 中間コード / SSA形式 / Validation / Static single assignment form / 静的単一代入形式(SSA形式) / Compiler infrastructure / Advanced architecture / コンパイラ・インフラストラクチャ / 先端アーキテクチャ / Superscalar / Instruction level parallelism / Code generation / スーパースカラ / Algorithm Animation / Language Processor / 視覚化 / アルゴリズム・アニメーション / プログラム言語処理系 / Debugging / Testing / Programming Language / Formal Specification / プログラム言語の形式的仕様 / 言語処理系 / デバッグ / テスト / プログラム言語 / 形式的仕様 / Free Software / フリーソフトウェア / Window System / Generator / Programming Environment / ウインドウ・システム / ウィンドウ・システム / 生成系 / プログラミング環境 / LR構文解析 / CTL / 時相論理理 / キャッシュ最適化 / 部分冗長性除去 / スカラー置換 / COINS / 大域値番号付け / キャッシュ効率化 / 要求駆動型データフロー解析 / 網羅型データフロー 解析 / 静的単一代入形式 / コード最適化 / データフロー解析 / 無用コード / 投機的部分冗長除去 / 最適化器 … もっと見る
研究代表者以外
属性文法 / 言語処理系 / 並列オブジェクト / リフレクション / Programming Languages / Data Structure / 組文脈自由文法 / 計算機ア-キテクチャ / 分散オペレ-ティングシステム / 項書き換えシステム / Programming System / Interpreter / Computer Architecture / Language System / VISL Design / LSI向きハードウェア設計 / 構文不インタプリタ / パーサ / レジスタ転送レベルのハードウェア設計 / 言語処理系のハードウェア化 / プログラミングサポート / 対話型プログラミングシステム / LSI設計 / 構文木インタリア / パ-サ / スキャナ / レジスタ転送レベルのハ-ドウェア設計 / 言語処理系のハ-ドウェア化 / プログラミングサポ-ト / プログラミングシステム / インタプリタ / VLSI設計 / Fold Transformation / Unfold / Coupled Context-free Grammar / Programs Transformation / プログラム合成 / 正規右辺文法 / 文脈自由文法 / プログラム文法 / 畳み込み変換 / データ構造指向 / プログラム変換 / プログラム言語 / デ-タ構造指向 / parallel sematic analysis / hardware parser / hardware scanner / hardware compiler / compiler / リングバス / レジスタ転送レベルシミュレーション / ハードウエア記述言語 / パイプラインアーキテクチャ / コード生成系 / 構文解析プロセッサ / 字句解析プロセッサ / ハードウエアコンパイラ / 手続き型言語 / 並列意味処理アルゴリズム / ハードウェアパーサ / ハードウェア字句解析器 / ハードウェアコンパイラ / コンパイル / LL and LR Parsing / Coupled Context-Free Grammar / Attribute Grammar / 正規表現 / 並列実行 / LR構文解析 / 多入力属性文法 / プログラミング言語 / parallel processing algorithm / parallel processing language / polyprocessor system / parallel processing architecture / computer architecture / 並列処理アルゴリズム / 並列処理言語 / ポリプロセッサシステム / 並列処理ア-キテクチャ / グラフィカルユーザインターフェース / 項書き換システム 隠す
  • 研究課題

    (19件)
  • 研究成果

    (49件)
  • 共同研究者

    (17人)
  •  COINSコンパイラの最適化器の時相論理による生成・検証と最適化器の高度化拡張研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      2010 – 2012
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
  •  時相論理を用いたコンパイラ最適化器の生成・検証と別名を扱えるSSA形式高度最適化研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
  •  コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
  •  コンパイラ・インフラストラクチャを用いた先端アーキテクチャ向け最適化の研究研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
  •  SSA形式に基づく中間言語を用いた最新アーキテクチャに対するコンパイラの研究研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
  •  SSA形式の等式による定式化とそれに基づくコンパイラ生成系の新たな体系化の研究研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      萌芽的研究
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
  •  アルゴリズム・アニメーションを特徴とする統合的プログラム言語処理系生成システム研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      1996 – 1998
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
  •  属性文法の基づく実用的なコンパイラ生成系のフリーソフトウェアのの開発研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      1994 – 1995
    • 研究種目
      試験研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
  •  プログラム言語とその変換の形式的仕様記述に対するテストおよび誤り検出の研究研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      1993 – 1994
    • 研究種目
      一般研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
  •  リフレクティブ構成モデルの研究

    • 研究代表者
      米澤 明憲
    • 研究期間 (年度)
      1991
    • 研究種目
      重点領域研究
    • 研究機関
      東京大学
  •  属性文法モデルによる統合的プログラミング環境の自動生成研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      1991 – 1992
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      東京工業大学
      筑波大学
  •  リフレクティブ構成モデルの研究

    • 研究代表者
      米澤 明憲
    • 研究期間 (年度)
      1990
    • 研究種目
      重点領域研究
    • 研究機関
      東京大学
  •  リフレクティブ構成モデルの研究

    • 研究代表者
      米澤 明憲
    • 研究期間 (年度)
      1990 – 1992
    • 研究種目
      重点領域研究
    • 研究機関
      東京大学
  •  結合をプログラムできるポリプロセッサを並列処理言語の開発

    • 研究代表者
      板野 肯三
    • 研究期間 (年度)
      1989 – 1991
    • 研究種目
      試験研究
    • 研究分野
      情報工学
    • 研究機関
      筑波大学
  •  組文脈自由文法に基づくプログラミング言語の実用的処理系の作成

    • 研究代表者
      中田 育男
    • 研究期間 (年度)
      1989 – 1990
    • 研究種目
      試験研究(B)
    • 研究分野
      情報学
    • 研究機関
      筑波大学
  •  対話性を重視した言語処理系のハ-ドウェア化に関する研究

    • 研究代表者
      板野 肯三
    • 研究期間 (年度)
      1988 – 1990
    • 研究種目
      一般研究(B)
    • 研究分野
      情報学
    • 研究機関
      筑波大学
  •  デ-タ構造指向型プログラム言語とそのプログラム変換・合成の研究

    • 研究代表者
      中田 育男
    • 研究期間 (年度)
      1987 – 1989
    • 研究種目
      一般研究(B)
    • 研究分野
      情報学
    • 研究機関
      筑波大学
  •  LR構文解析向き属性文法に基づく実用的なコンパイラ生成系の研究研究代表者

    • 研究代表者
      佐々 政孝
    • 研究期間 (年度)
      1986
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      筑波大学
  •  複数言語に対応できる高速ハードウェアコンパイルエンジンの試作

    • 研究代表者
      板野 肯三
    • 研究期間 (年度)
      1986 – 1988
    • 研究種目
      試験研究
    • 研究分野
      情報工学
    • 研究機関
      筑波大学

すべて 2012 2011 2009 2008 2007 2006 2005 2004 その他

すべて 雑誌論文 学会発表 図書

  • [図書] コンパイラの基盤技術と実践-コンパイラ・インフラストラクチヤCOINSを用いて2008

    • 著者名/発表者名
      中田育男, 渡辺坦, 佐々政孝, 滝本宗宏
    • 総ページ数
      260
    • 出版者
      朝倉書店
    • データソース
      KAKENHI-PROJECT-19300006
  • [図書] コンパイラの基盤技術と実践-コンパイラ・インフラストラクチャCOINSを用いて

    • 著者名/発表者名
      中田育男,渡辺坦,佐々政孝,滝本宗宏
    • 総ページ数
      260
    • 出版者
      朝倉書店
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] A Generalized Method for Realizing Partial Redundancy Elimination for Normal Forms in Static Single Assignment Forms2011

    • 著者名/発表者名
      Sassa, M., Imahashi, T. and Ito, Y.
    • 雑誌名

      Advances in Computer Science and Engineering

      巻: Vol.7, No.1 ページ: 1-24

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300007
  • [雑誌論文] Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference2009

    • 著者名/発表者名
      Fang, L., Sassa, M.
    • 雑誌名

      Eighth International Workshop on Compiler Optimization meets Compiler Verification(COCV 2009) 8(CD-ROM)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証2009

    • 著者名/発表者名
      Fang Ling, 佐々政孝
    • 雑誌名

      情報処理学会論文誌プログラミング Vol.2,No.4

      ページ: 33-52

    • NAID

      110007970918

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証2009

    • 著者名/発表者名
      Fang Ling, 佐々政孝
    • 雑誌名

      情報処理学会論文誌 プログラミング 2,4

      ページ: 33-52

    • NAID

      110007970918

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] Comparison and evaluation of backtranslation algorithms for static single assignment forms, Computer Languages2009

    • 著者名/発表者名
      Sassa, M., Ito, Y., Kohama, M.
    • 雑誌名

      Systems & Structures 2

      ページ: 173-195

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] Comparison and evaluation of back-translation algorithms for static single assignment forms2009

    • 著者名/発表者名
      Sassa, M., Ito, Y., Kohama, M.
    • 雑誌名

      Computer Languages, Systems & Structures 35,2

      ページ: 173-195

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法2008

    • 著者名/発表者名
      今橋孝典, 伊藤陽, 佐々政孝
    • 雑誌名

      情報処理学会論文誌:プログラミング Vol.49,No.SIG1(PRO35)

      ページ: 84-95

    • NAID

      110006594926

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] Validating Correctness of Compiler Optimizer Execution Using Temporal Logic2008

    • 著者名/発表者名
      Sassa, M., Sahara, S.
    • 雑誌名

      Seventh International Workshop on Compiler Optimization meets Compiler Verification(COCV 2008) 7

      ページ: 1-17

    • NAID

      130004549095

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 時相論理を用いたコンパイラ最適化器の実行の正しさの検査, (推薦論文・PPL2007)2008

    • 著者名/発表者名
      佐原聡一郎, 佐々政孝
    • 雑誌名

      コンピュータソフトウェア Vol.25,No.1

      ページ: 151-166

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 時相論理を用いたコンパイラ最適化器の実行の正しさの検査2008

    • 著者名/発表者名
      佐原聡一郎, 佐々政孝
    • 雑誌名

      コンピュータソフトウェア Vol.25, No.1

      ページ: 151-166

    • NAID

      130004549095

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 静的単一代入形式を用いた最適化2008

    • 著者名/発表者名
      佐々政孝, 滝本宗宏
    • 雑誌名

      コンピュータソフトウェア Vol.25,No.1

      ページ: 19-29

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] COINSコンパイラ・インフラストラクチャの開発2008

    • 著者名/発表者名
      中田育男, 渡邊坦, 佐々政孝, 森公一郎, 阿部正佳
    • 雑誌名

      コンピュータソフトウェア Vol.25,No.1

      ページ: 2-18

    • NAID

      110006572495

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 静的単一代入形式を用いた最適化2008

    • 著者名/発表者名
      滝本宗宏, 佐々政孝
    • 雑誌名

      コンピュータソフトウェア Vol.25,No.1

      ページ: 30-46

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 静的単一代入形式を用いた最適化(導入編)2008

    • 著者名/発表者名
      佐々政孝, 滝本宗宏
    • 雑誌名

      コンピュータソフトウェア Vol.25, No.1

      ページ: 19-29

    • NAID

      110006572496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] 静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法2008

    • 著者名/発表者名
      今橋孝典, 伊藤陽, 佐々政孝
    • 雑誌名

      情報処理学会論文誌:プログラミング Vol.49, No. SIG1 (PRO 35)

      ページ: 84-95

    • NAID

      110006594926

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • 著者名/発表者名
      Fang, L., Sassa, M.
    • 雑誌名

      Electronic Notes in Theoretical Computer Science Vol.190/4

      ページ: 49-63

    • NAID

      110006291058

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • 著者名/発表者名
      Ling Fang, Masataka Sassa
    • 雑誌名

      Sixth Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007) 6(to appear)

    • NAID

      110006291058

    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] 双方向CTLによるJava最適化器の生成2007

    • 著者名/発表者名
      方玲, 佐々政孝
    • 雑誌名

      報処理学会論文誌:プログラミング Vol.48,No.SIG10(PRO33)

      ページ: 76-89

    • NAID

      110006291058

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • 著者名/発表者名
      Fang, L., Sassa, M.
    • 雑誌名

      Sixth Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007)

      ページ: 51-66

    • NAID

      110006291058

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • 著者名/発表者名
      Fang, L. and Sassa, M.
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 190/4

      ページ: 49-63

    • NAID

      110006291058

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300006
  • [雑誌論文] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • 著者名/発表者名
      Fang, L., Sassa, M.
    • 雑誌名

      Sixth International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007) 6

      ページ: 51-66

    • NAID

      110006291058

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] Experience in Testing Compiler Optimizers Using Comparison Checking2006

    • 著者名/発表者名
      Sassa, M., Sudo.D.
    • 雑誌名

      2006 International Conference on Programming Languages and Compilers (PLC '06)(CSREA Press) Vol.II

      ページ: 837-843

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] Realizatiion of Static Single Assignment Form Optimization Module in a Compiler Infrastructure (in Japanese)2006

    • 著者名/発表者名
      Sassa, M., Fukuoka, T., Takimoto, M.
    • 雑誌名

      Transactions of IPSJ : Programming Vol.47・SIG 2 (PRO 28)

      ページ: 30-43

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現2006

    • 著者名/発表者名
      佐々政孝, 福岡岳穂, 滝本宗宏
    • 雑誌名

      情報処理学会論文誌 : プログラミング 47・SIG 2 (PRO 28)

      ページ: 30-43

    • NAID

      110004078710

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] Experience in Testing Compiler Optimizers Using Comparison Checking2006

    • 著者名/発表者名
      Sassa, M., Sudo.D.
    • 雑誌名

      2006 International Conference on Programming Languages and Compilers (PLC'06), CSREA Press Vol. II

      ページ: 837-843

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現2006

    • 著者名/発表者名
      佐々政孝, 福岡岳穂, 滝本宗宏
    • 雑誌名

      情報処理学会論文誌:プログラミング 47・SIG 2(PRO 28)

      ページ: 30-43

    • NAID

      110004078710

    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] Experience in Testing Compiler Optimizers Using Comparison Checking2006

    • 著者名/発表者名
      Sassa, M., Sudo.D.
    • 雑誌名

      2006 International Conference on Programming Languages and Compilers (PLC '06), CSREA Press Vol.II

      ページ: 837-843

    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] 実行時情報を利用した部分冗長除去とSSA形式への適用2006

    • 著者名/発表者名
      伊藤陽, 佐々政孝
    • 雑誌名

      日本ソフトウェア科学会第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)論文集 8

      ページ: 170-181

    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] 静的単一代入形式からの逆変換アルゴリズムの比較と評価2005

    • 著者名/発表者名
      伊藤陽, 小濱真樹, 佐々政孝
    • 雑誌名

      情報処理学会論文誌:プログラミング 46・SIG 14(PRO 27)

      ページ: 30-42

    • NAID

      110002769909

    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] 疎な要求駆動型データフロー解析2005

    • 著者名/発表者名
      滝本宗宏, 福岡岳穂, 佐々政孝, 原田賢一
    • 雑誌名

      情報処理学会論文誌 : プログラミング 46・SIG 11 (PRO 26)

      ページ: 16-26

    • NAID

      130005006651

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] Comparison and Evaluation of Reverse Translation Algorithms for Static Single Assignment Form (in Japanese)2005

    • 著者名/発表者名
      Ito, Y., Kohama, M., Sassa, M.
    • 雑誌名

      Transactions of IPSJ : Programming Vol.46・SIG 14 (PRO 27)

      ページ: 30-42

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] 変更文の移動を可能にした静的単一代入形式上での部分冗長性除去2005

    • 著者名/発表者名
      溝渕裕司, 立川英, 佐々政孝
    • 雑誌名

      日本ソフトウェア科学会第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集 7

      ページ: 261-275

    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] Sparse Demand-driven Dataflow Analysis (in Japanese)2005

    • 著者名/発表者名
      Takimoto, M., Fukuoka, T., Sassa, M., Harada, K.
    • 雑誌名

      Transactions of IPSJ : Programming Vol.46・SIG 11 (PRO 26)

      ページ: 16-26

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] 比較照合法によるコンパイラ最適化器の正しさの検証2005

    • 著者名/発表者名
      須藤大二朗, 佐々政孝
    • 雑誌名

      日本ソフトウェア科学会第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集 7

      ページ: 231-245

    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] 静的単一代入形式からの逆変換アルゴリズムの比較と評価2005

    • 著者名/発表者名
      伊藤陽, 小濱真樹, 佐々政孝
    • 雑誌名

      情報処理学会論文誌 : プログラミング 46・SIG 14 (PRO 27)

      ページ: 30-42

    • NAID

      110002769909

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] 疎な要求駆動型データフロー解析2005

    • 著者名/発表者名
      滝本宗宏, 福岡岳穂, 佐々政孝, 原田賢一
    • 雑誌名

      情報処理学会論文誌:プログラミング 46・SIG 11(PRO 26)

      ページ: 16-26

    • NAID

      130005006651

    • データソース
      KAKENHI-PROJECT-16500016
  • [雑誌論文] Comparison and Evaluation of Back Translation Algorithms for Static Single Assignment Form2004

    • 著者名/発表者名
      Sassa, M., Kohama, M., Ito, Y.
    • 雑誌名

      Proceedings of IPSI-2004 Prague, ISBN:86-7466-117-3

    • データソース
      KAKENHI-PROJECT-16500016
  • [学会発表] 並列化と実行時コード生成を用いた正規表現マッチングの高速化2012

    • 著者名/発表者名
      新屋良磨,光成滋生,佐々政孝
    • 学会等名
      情報処理学会プログラミングシンポジウム,第53回
    • 発表場所
      湯河原,ポスター発表
    • 年月日
      2012-01-08
    • データソース
      KAKENHI-PROJECT-22300007
  • [学会発表] 並列化と実行時コード生成を用いた正規表現マッチングの高速化2011

    • 著者名/発表者名
      新屋良磨,光成滋生,佐々政孝
    • 学会等名
      日本ソフトウェア科学会大会論文集,第28回
    • 発表場所
      那覇
    • 年月日
      2011-09-24
    • データソース
      KAKENHI-PROJECT-22300007
  • [学会発表] 時相論理CTL*を用いたJAVA最適化器の生成の試み2009

    • 著者名/発表者名
      藤原一貴, 佐々政孝
    • 学会等名
      日本ソフトウェア科学会大会論文集, 第26回
    • 発表場所
      島根大学
    • 年月日
      2009-09-17
    • データソース
      KAKENHI-PROJECT-19300006
  • [学会発表] レジスタプロモーションによるコード最適化の実装と評価2009

    • 著者名/発表者名
      及川宗明, 佐々政孝
    • 学会等名
      日本ソフトウェア科学会大会
    • 発表場所
      松江市島根大学
    • 年月日
      2009-09-17
    • データソース
      KAKENHI-PROJECT-19300006
  • [学会発表] 自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証2009

    • 著者名/発表者名
      Fang Ling, 佐々政孝
    • 学会等名
      情報処理学会プログラミング研究会
    • 発表場所
      東京大学駒場
    • 年月日
      2009-03-17
    • データソース
      KAKENHI-PROJECT-19300006
  • [学会発表] Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference2009

    • 著者名/発表者名
      Fang, L., Sassa, M.
    • 学会等名
      Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009)
    • 発表場所
      York, U.K.
    • 年月日
      2009-03-22
    • データソース
      KAKENHI-PROJECT-19300006
  • [学会発表] 自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証2009

    • 著者名/発表者名
      Fang Ling, 佐々政孝
    • 学会等名
      情報処理学会プログラミング研究会
    • 発表場所
      東京大学
    • 年月日
      2009-03-17
    • データソース
      KAKENHI-PROJECT-19300006
  • [学会発表] 質問伝播に基づく要求駆動型大域値番号付け2008

    • 著者名/発表者名
      滝本宗宏, 佐々政孝
    • 学会等名
      日本ソフトウェア科学会第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)
    • 発表場所
      仙台市.
    • 年月日
      2008-03-07
    • データソース
      KAKENHI-PROJECT-19300006
  • [学会発表] Array SSAとそれを用いた最適化の実装と評価2008

    • 著者名/発表者名
      米倉翔一、佐々政孝
    • 学会等名
      第169回計算機アーキテクチャ・第114回ハイパフォーマンスコンピューティング合同研究発表会(HOKKE-2008)
    • 発表場所
      北海道大学
    • 年月日
      2008-03-05
    • データソース
      KAKENHI-PROJECT-19300006
  • [学会発表] Validating Correctness of Compiler Optimizer Execution Using Temporal Logic2008

    • 著者名/発表者名
      Sassa, M., Sahara, S.
    • 学会等名
      Seventh International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008)
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-04-05
    • データソース
      KAKENHI-PROJECT-19300006
  • 1.  中田 育男 (70133022)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 2.  脇田 建 (10242265)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 3.  滝本 宗宏 (00318205)
    共同の研究課題数: 4件
    共同の研究成果数: 12件
  • 4.  井田 哲雄 (70100047)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 5.  板野 肯三 (20114035)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 6.  山下 義行 (20220353)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  米澤 明憲 (00133116)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 8.  中島 玲二 (60109080)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  大内 東 (50002308)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 10.  和田 耕一 (30175145)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  清木 康 (10169956)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  徳田 雄洋 (30111644)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  石畑 清 (70125988)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  白川 友紀 (20112021)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  柴山 悦哉 (80162642)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  山本 喜一 (20051873)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  田胡 和哉 (10188229)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi