• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

SASSA Masataka  佐々 政孝

ORCIDConnect your ORCID iD *help
Researcher Number 20016182
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2012: 東京工業大学, 情報理工学(系)研究科, 教授
2009 – 2012: Tokyo Institute of Technology, 大学院・情報理工学研究科, 教授
2008: Tokyo Institute of Technology, 大学院・情報理工学(系)研究科, 教授
2004 – 2007: 東京工業大学, 大学院・情報理工学研究科, 教授
2006: Tokyo Institute of Technology, Dept. of Mathematical and Computing Sciences, Professor, 大学院情報理工学研究科, 教授 … More
1996 – 2002: 東京工業大学, 大学院・情報理工学研究科, 教授
1995: Graduate School of Information Sci.and Engineering, Tokyo Institute of Technology Prof., 大学院・情報理工学研究科・数理計算科学専攻, 教授
1994 – 1995: 東京工業大学, 大学院・情報理工学研究科・数理・計算科学専攻, 教授
1994: Tokyo Institute of Technology Graduate school of Informatinon Science and ENgineering, Professor, 大学院・情報理工学研究科, 教授
1993: 東京工業大学, 理学部・情報科学科, 教授
1992 – 1993: 東京工業大学, 理学部, 教授
1992: Tokyo Institute of Technology, Dept. of Inf. Science, Professor, 理学部情報科学科, 教授
1991: 筑波大学, 電子・情報工学系, 教授
1990 – 1991: Professor, Institute of Information Sciences and Electronics, University of Tsuk, 電子情報工学系, 教授
1988 – 1989: Institute of Information Sciences and Electronics, University of Tsukuba, 電子情報工学系, 助教授
1987: 筑波大学, 電子・情報工学系, 助教授
1986: 筑大, 電子・情報工学系, 講師
1986: 筑波大学, 電子情報工学系, 助教授 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Software / Informatics
Except Principal Investigator
Informatics / 計算機工学
Keywords
Principal Investigator
コンパイラ / 最適化 / Compiler / 属性文法 / Attribute Grammar / コンパイラ生成系 / Optimization / 時相論理 / SSA (static single assignment) form / SSA形式(静的単一代入形式) … More / 命令レベル並列処理 / コード生成 / 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 / 大域値番号付け / キャッシュ効率化 / 要求駆動型データフロー解析 / 網羅型データフロー 解析 / 静的単一代入形式 / コード最適化 / データフロー解析 / 無用コード / 投機的部分冗長除去 / 最適化器 … More
Except Principal Investigator
属性文法 / 言語処理系 / 並列オブジェクト / リフレクション / 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 / 並列処理アルゴリズム / 並列処理言語 / ポリプロセッサシステム / 並列処理ア-キテクチャ / グラフィカルユーザインターフェース / 項書き換システム Less
  • Research Projects

    (19 results)
  • Research Products

    (49 results)
  • Co-Researchers

    (17 People)
  •  Generation and verification of COINS compiler optimizers using temporal logic and high-level extensions of optimizersPrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
  •  Generation and verification of compiler optimizers using temporal logic and high-level SSA form optimization considering aliasesPrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
  •  New methods for translation and optimization using SSA form in compilers and their validation systemsPrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
  •  Optimizations for advanced architectures using compiler infrastructuresPrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      TOKYO INSTITUTE OF TECHNOLOGY
  •  Compilers for newest architectures using the SSA form intermediate languagePrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      TOKYO INSTITUTE OF TECHNOLOGY
  •  SSA形式の等式による定式化とそれに基づくコンパイラ生成系の新たな体系化の研究Principal Investigator

    • Principal Investigator
      佐々 政孝
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      計算機科学
    • Research Institution
      Tokyo Institute of Technology
  •  Integrated Programming Language Processor Generator with Algorithm AnimationPrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      TOKYO INSTITUTE OF TECHNOLOGY
  •  Development of Free Software for Practical Compiler Generator Based on Attribute GrammarsPrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      TOKYO INSTITUTE OF TECHNOLOGY
  •  Testing and Error Detection for Formal Specification of Programming Languages and their TranslationPrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      1993 – 1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Tokyo Institute of Technology
  •  リフレクティブ構成モデルの研究

    • Principal Investigator
      米澤 明憲
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  Automatic Generation of an Integrated Programming Environment Based on Attribute Grammar ModelPrincipal Investigator

    • Principal Investigator
      SASSA Masataka
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Tokyo Institute of Technology
      University of Tsukuba
  •  リフレクティブ構成モデルの研究

    • Principal Investigator
      米澤 明憲
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  リフレクティブ構成モデルの研究

    • Principal Investigator
      米澤 明憲
    • Project Period (FY)
      1990 – 1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  Development of the polyprocessor system with programmable connection and the parallel proramming language

    • Principal Investigator
      ITANO Kozo
    • Project Period (FY)
      1989 – 1991
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      計算機工学
    • Research Institution
      University of Tsukuba
  •  A Practical Processor for a Programming Language Based on Coupled Contex-Free Grammar

    • Principal Investigator
      NAKATA Ikuo
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B).
    • Research Field
      Informatics
    • Research Institution
      Institute Information Sciences and Electronics University of Tsukada
  •  Research on Hardware Design of a Language Processing System Interactive Pogramming

    • Principal Investigator
      ITANO Kozo
    • Project Period (FY)
      1988 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      Informatics
    • Research Institution
      University of Tsukuba
  •  A Data Structure Oriented Programming Language and Program Transformations

    • Principal Investigator
      NAKATA Ikuo
    • Project Period (FY)
      1987 – 1989
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      Informatics
    • Research Institution
      University of Tsukuba
  •  LR構文解析向き属性文法に基づく実用的なコンパイラ生成系の研究Principal Investigator

    • Principal Investigator
      佐々 政孝
    • Project Period (FY)
      1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      University of Tsukuba
  •  Realization of a high speed hardware compile engine for multiple languages

    • Principal Investigator
      ITANO Kozo
    • Project Period (FY)
      1986 – 1988
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      計算機工学
    • Research Institution
      University of Tsukuba

All 2012 2011 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

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

    • Author(s)
      中田育男, 渡辺坦, 佐々政孝, 滝本宗宏
    • Total Pages
      260
    • Publisher
      朝倉書店
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Book] コンパイラの基盤技術と実践-コンパイラ・インフラストラクチャCOINSを用いて

    • Author(s)
      中田育男,渡辺坦,佐々政孝,滝本宗宏
    • Total Pages
      260
    • Publisher
      朝倉書店
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] A Generalized Method for Realizing Partial Redundancy Elimination for Normal Forms in Static Single Assignment Forms2011

    • Author(s)
      Sassa, M., Imahashi, T. and Ito, Y.
    • Journal Title

      Advances in Computer Science and Engineering

      Volume: Vol.7, No.1 Pages: 1-24

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300007
  • [Journal Article] Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference2009

    • Author(s)
      Fang, L., Sassa, M.
    • Journal Title

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証2009

    • Author(s)
      Fang Ling, 佐々政孝
    • Journal Title

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

      Pages: 33-52

    • NAID

      110007970918

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証2009

    • Author(s)
      Fang Ling, 佐々政孝
    • Journal Title

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

      Pages: 33-52

    • NAID

      110007970918

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] Comparison and evaluation of backtranslation algorithms for static single assignment forms, Computer Languages2009

    • Author(s)
      Sassa, M., Ito, Y., Kohama, M.
    • Journal Title

      Systems & Structures 2

      Pages: 173-195

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] Comparison and evaluation of back-translation algorithms for static single assignment forms2009

    • Author(s)
      Sassa, M., Ito, Y., Kohama, M.
    • Journal Title

      Computer Languages, Systems & Structures 35,2

      Pages: 173-195

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法2008

    • Author(s)
      今橋孝典, 伊藤陽, 佐々政孝
    • Journal Title

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

      Pages: 84-95

    • NAID

      110006594926

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] Validating Correctness of Compiler Optimizer Execution Using Temporal Logic2008

    • Author(s)
      Sassa, M., Sahara, S.
    • Journal Title

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

      Pages: 1-17

    • NAID

      130004549095

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 時相論理を用いたコンパイラ最適化器の実行の正しさの検査, (推薦論文・PPL2007)2008

    • Author(s)
      佐原聡一郎, 佐々政孝
    • Journal Title

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

      Pages: 151-166

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 時相論理を用いたコンパイラ最適化器の実行の正しさの検査2008

    • Author(s)
      佐原聡一郎, 佐々政孝
    • Journal Title

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

      Pages: 151-166

    • NAID

      130004549095

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 静的単一代入形式を用いた最適化2008

    • Author(s)
      佐々政孝, 滝本宗宏
    • Journal Title

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

      Pages: 19-29

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] COINSコンパイラ・インフラストラクチャの開発2008

    • Author(s)
      中田育男, 渡邊坦, 佐々政孝, 森公一郎, 阿部正佳
    • Journal Title

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

      Pages: 2-18

    • NAID

      110006572495

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 静的単一代入形式を用いた最適化2008

    • Author(s)
      滝本宗宏, 佐々政孝
    • Journal Title

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

      Pages: 30-46

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 静的単一代入形式を用いた最適化(導入編)2008

    • Author(s)
      佐々政孝, 滝本宗宏
    • Journal Title

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

      Pages: 19-29

    • NAID

      110006572496

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] 静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法2008

    • Author(s)
      今橋孝典, 伊藤陽, 佐々政孝
    • Journal Title

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

      Pages: 84-95

    • NAID

      110006594926

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • Author(s)
      Fang, L., Sassa, M.
    • Journal Title

      Electronic Notes in Theoretical Computer Science Vol.190/4

      Pages: 49-63

    • NAID

      110006291058

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • Author(s)
      Ling Fang, Masataka Sassa
    • Journal Title

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

    • NAID

      110006291058

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] 双方向CTLによるJava最適化器の生成2007

    • Author(s)
      方玲, 佐々政孝
    • Journal Title

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

      Pages: 76-89

    • NAID

      110006291058

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • Author(s)
      Fang, L., Sassa, M.
    • Journal Title

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

      Pages: 51-66

    • NAID

      110006291058

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • Author(s)
      Fang, L. and Sassa, M.
    • Journal Title

      Electronic Notes in Theoretical Computer Science 190/4

      Pages: 49-63

    • NAID

      110006291058

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Journal Article] Generating Java Compiler Optimizers Using Bidirectional CTL2007

    • Author(s)
      Fang, L., Sassa, M.
    • Journal Title

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

      Pages: 51-66

    • NAID

      110006291058

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] Experience in Testing Compiler Optimizers Using Comparison Checking2006

    • Author(s)
      Sassa, M., Sudo.D.
    • Journal Title

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

      Pages: 837-843

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] Realizatiion of Static Single Assignment Form Optimization Module in a Compiler Infrastructure (in Japanese)2006

    • Author(s)
      Sassa, M., Fukuoka, T., Takimoto, M.
    • Journal Title

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

      Pages: 30-43

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

    • Author(s)
      佐々政孝, 福岡岳穂, 滝本宗宏
    • Journal Title

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

      Pages: 30-43

    • NAID

      110004078710

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] Experience in Testing Compiler Optimizers Using Comparison Checking2006

    • Author(s)
      Sassa, M., Sudo.D.
    • Journal Title

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

      Pages: 837-843

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

    • Author(s)
      佐々政孝, 福岡岳穂, 滝本宗宏
    • Journal Title

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

      Pages: 30-43

    • NAID

      110004078710

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] Experience in Testing Compiler Optimizers Using Comparison Checking2006

    • Author(s)
      Sassa, M., Sudo.D.
    • Journal Title

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

      Pages: 837-843

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] 実行時情報を利用した部分冗長除去とSSA形式への適用2006

    • Author(s)
      伊藤陽, 佐々政孝
    • Journal Title

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

      Pages: 170-181

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] 静的単一代入形式からの逆変換アルゴリズムの比較と評価2005

    • Author(s)
      伊藤陽, 小濱真樹, 佐々政孝
    • Journal Title

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

      Pages: 30-42

    • NAID

      110002769909

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] 疎な要求駆動型データフロー解析2005

    • Author(s)
      滝本宗宏, 福岡岳穂, 佐々政孝, 原田賢一
    • Journal Title

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

      Pages: 16-26

    • NAID

      130005006651

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] Comparison and Evaluation of Reverse Translation Algorithms for Static Single Assignment Form (in Japanese)2005

    • Author(s)
      Ito, Y., Kohama, M., Sassa, M.
    • Journal Title

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

      Pages: 30-42

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] 変更文の移動を可能にした静的単一代入形式上での部分冗長性除去2005

    • Author(s)
      溝渕裕司, 立川英, 佐々政孝
    • Journal Title

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

      Pages: 261-275

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] Sparse Demand-driven Dataflow Analysis (in Japanese)2005

    • Author(s)
      Takimoto, M., Fukuoka, T., Sassa, M., Harada, K.
    • Journal Title

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

      Pages: 16-26

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] 比較照合法によるコンパイラ最適化器の正しさの検証2005

    • Author(s)
      須藤大二朗, 佐々政孝
    • Journal Title

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

      Pages: 231-245

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] 静的単一代入形式からの逆変換アルゴリズムの比較と評価2005

    • Author(s)
      伊藤陽, 小濱真樹, 佐々政孝
    • Journal Title

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

      Pages: 30-42

    • NAID

      110002769909

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] 疎な要求駆動型データフロー解析2005

    • Author(s)
      滝本宗宏, 福岡岳穂, 佐々政孝, 原田賢一
    • Journal Title

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

      Pages: 16-26

    • NAID

      130005006651

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Journal Article] Comparison and Evaluation of Back Translation Algorithms for Static Single Assignment Form2004

    • Author(s)
      Sassa, M., Kohama, M., Ito, Y.
    • Journal Title

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

    • Data Source
      KAKENHI-PROJECT-16500016
  • [Presentation] 並列化と実行時コード生成を用いた正規表現マッチングの高速化2012

    • Author(s)
      新屋良磨,光成滋生,佐々政孝
    • Organizer
      情報処理学会プログラミングシンポジウム,第53回
    • Place of Presentation
      湯河原,ポスター発表
    • Year and Date
      2012-01-08
    • Data Source
      KAKENHI-PROJECT-22300007
  • [Presentation] 並列化と実行時コード生成を用いた正規表現マッチングの高速化2011

    • Author(s)
      新屋良磨,光成滋生,佐々政孝
    • Organizer
      日本ソフトウェア科学会大会論文集,第28回
    • Place of Presentation
      那覇
    • Year and Date
      2011-09-24
    • Data Source
      KAKENHI-PROJECT-22300007
  • [Presentation] 時相論理CTL*を用いたJAVA最適化器の生成の試み2009

    • Author(s)
      藤原一貴, 佐々政孝
    • Organizer
      日本ソフトウェア科学会大会論文集, 第26回
    • Place of Presentation
      島根大学
    • Year and Date
      2009-09-17
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Presentation] レジスタプロモーションによるコード最適化の実装と評価2009

    • Author(s)
      及川宗明, 佐々政孝
    • Organizer
      日本ソフトウェア科学会大会
    • Place of Presentation
      松江市島根大学
    • Year and Date
      2009-09-17
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Presentation] 自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証2009

    • Author(s)
      Fang Ling, 佐々政孝
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      東京大学駒場
    • Year and Date
      2009-03-17
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Presentation] Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference2009

    • Author(s)
      Fang, L., Sassa, M.
    • Organizer
      Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009)
    • Place of Presentation
      York, U.K.
    • Year and Date
      2009-03-22
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Presentation] 自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証2009

    • Author(s)
      Fang Ling, 佐々政孝
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      東京大学
    • Year and Date
      2009-03-17
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Presentation] 質問伝播に基づく要求駆動型大域値番号付け2008

    • Author(s)
      滝本宗宏, 佐々政孝
    • Organizer
      日本ソフトウェア科学会第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)
    • Place of Presentation
      仙台市.
    • Year and Date
      2008-03-07
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Presentation] Array SSAとそれを用いた最適化の実装と評価2008

    • Author(s)
      米倉翔一、佐々政孝
    • Organizer
      第169回計算機アーキテクチャ・第114回ハイパフォーマンスコンピューティング合同研究発表会(HOKKE-2008)
    • Place of Presentation
      北海道大学
    • Year and Date
      2008-03-05
    • Data Source
      KAKENHI-PROJECT-19300006
  • [Presentation] Validating Correctness of Compiler Optimizer Execution Using Temporal Logic2008

    • Author(s)
      Sassa, M., Sahara, S.
    • Organizer
      Seventh International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008)
    • Place of Presentation
      Budapest, Hungary
    • Year and Date
      2008-04-05
    • Data Source
      KAKENHI-PROJECT-19300006
  • 1.  NAKATA Ikuo (70133022)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 2.  WAKITA Ken (10242265)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 3.  TAKIMOTO Munehiro (00318205)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 12 results
  • 4.  IDA Tetsuo (70100047)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 5.  ITANO Kozo (20114035)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 6.  YAMASHITA Yoshiyuki (20220353)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  米澤 明憲 (00133116)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  中島 玲二 (60109080)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  大内 東 (50002308)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 10.  WADA Koichi (30175145)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  KIYOKI Yasushi (10169956)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  TOKUDA Takehiro (30111644)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  ISHIHATA Kiyoshi (70125988)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  SIRAKAWA Tomonori (20112021)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  柴山 悦哉 (80162642)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  山本 喜一 (20051873)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  田胡 和哉 (10188229)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi