@book{CTT100576156,
  author = {中田育男 and 渡辺坦 and 佐々政孝 and 滝本宗宏},
  title = {コンパイラの基盤技術と実践-コンパイラ・インフラストラクチャCOINS を用いて},
  publisher = {朝倉書店},
  year = 2008,
}

@book{CTT100396232,
  author = {西野哲朗 and 片山卓也 and 佐々政孝（編）},
  title = {属性文法入門},
  publisher = {共立出版},
  year = 1996,
}

@book{CTT100396229,
  author = {佐々政孝},
  title = {プログラミング言語処理系},
  publisher = {岩波書店},
  year = 1989,
}

@article{CTT100600383,
  author = {Fang Ling and 佐々政孝},
  title = {自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証},
  journal = {情報処理学会論文誌 プログラミング},
  year = 2009,
}

@article{CTT100586790,
  author = {Sassa, M. and Kohama, M. and Ito, Y.},
  title = {Comparison and evaluation of back-translation algorithms for static single assignment forms},
  journal = {Computer Languages, Systems & Structures},
  year = 2009,
}

@article{CTT100576158,
  author = {今橋孝典 and 伊藤陽 and 佐々政孝},
  title = {静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法},
  journal = {情報処理学会論文誌：プログラミング},
  year = 2008,
}

@article{CTT100576160,
  author = {佐原聡一郎 and 佐々政孝},
  title = {時相論理を用いたコンパイラ最適化器の実行の正しさの検査},
  journal = {コンピュータソフトウェア},
  year = 2008,
}

@article{CTT100576159,
  author = {中田育男 and 渡邊坦 and 佐々政孝 and 森公一郎 and 阿部正佳},
  title = {COINSコンパイラ・インフラストラクチャの開発},
  journal = {コンピュータソフトウェア},
  year = 2008,
}

@article{CTT100560546,
  author = {Fang, L. and Sassa, M.},
  title = {Generating Java Compiler Optimizers Using Bidirectional CTL},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = 2007,
}

@article{CTT100576157,
  author = {佐々政孝 and 福岡岳穂 and 滝本宗宏},
  title = {コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現},
  journal = {情報処理学会論文誌：プログラミング},
  year = 2006,
}

@article{CTT100392106,
  author = {伊藤陽 and 小濱真樹 and 佐々政孝},
  title = {静的単一代入形式からの逆変換アルゴリズムの比較と評価},
  journal = {情報処理学会論文誌：プログラミング},
  year = 2005,
}

@article{CTT100392105,
  author = {滝本宗宏 and 福岡岳穂 and 佐々政孝 and 原田賢一},
  title = {疎な要求駆動型データフロー解析},
  journal = {情報処理学会論文誌：プログラミング},
  year = 2005,
}

@article{CTT100504833,
  author = {Sasaki, A. and Sassa, M.},
  title = {Circular Attribute Grammars with Remote Attribute References and their Evaluators},
  journal = {New Generation Computing},
  year = 2004,
}

@article{CTT100484575,
  author = {Sasaki, A. and Sassa, M.},
  title = {Generalized Systematic Debugging for Attribute Grammars},
  journal = {Ronsse, M. (ed.) Proc. 5th International Workshop on Automated and Algorithmic Debugging (AADEBUG 2003), Gent, Belgium},
  year = 2003,
}

@article{CTT100484574,
  author = {Sassa, M. and Nakaya, T. and Kohama, M. and Fukuoka, T. and Takahashi, M.},
  title = {Static Single Assignment Form in the COINS Compiler Infrastructure},
  journal = {SSGRR 2003w - International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, e-Medicine, and Mobile Technologies on the Internet},
  year = 2003,
}

@article{CTT100484572,
  author = {池添洋平 and 佐々木晃 and 脇田建 and 佐々政孝 },
  title = {属性文法の系統的デバッグ法におけるバグ絞り込みの効率化},
  journal = {コンピュータソフトウェア },
  year = 2003,
}

@article{CTT100468576,
  author = {徳生吉孝 and 脇田建 and 佐々政孝},
  title = {アセンブリ言語上でのプログラム特化},
  journal = {情報処理学会論文誌},
  year = 2002,
}

@article{CTT100476553,
  author = {佐々木晃 and 池添洋平 and 佐々政孝},
  title = {属性文法の系統的デバッグ法},
  journal = {情報処理学会論文誌：プログラミング},
  year = 2002,
}

@article{CTT100448911,
  author = {Morimoto, S. and Sassa, M.},
  title = {Yet Another Generation of LALR Parsers for Regular Right Part Grammars},
  journal = {Acta Informatica},
  year = 2001,
}

@article{CTT100438601,
  author = {大島芳樹 and 脇田建 and 佐々政孝},
  title = {プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価},
  journal = {情報処理学会論文誌：プログラミング},
  year = 2000,
}

@article{CTT100436047,
  author = {Nakai, H. and Sassa, M. and Kameyama, H. and Nakata, I.},
  title = {Incremental Attribute Evaluation of LR-attributed Grammars Using Space-Efficient Data Structure},
  journal = {Proc. WAGA'2000 - 3rd Workshop on Attribute Grammars and their Applications, Parigot, D. and Mernik, M. (ed.), INRIA},
  year = 2000,
}

@article{CTT100436041,
  author = {Sasaki, A. and Sassa, M.},
  title = {Circular Attribute Grammars with Remote Attribute References},
  journal = {Proc. WAGA'2000 - 3rd Workshop on Attribute Grammars and their Applications, Parigot, D. and Mernik, M. (ed.), INRIA},
  year = 2000,
}

@article{CTT100436040,
  author = {Ikezoe, Y. and Sasaki, A. and Ohshima, Y. and Wakita, K. and Sassa, M.},
  title = {Systematic Debugging of Attribute Grammars},
  journal = {Proc. AADEBUG 2000 - 4th International Workshop on Automated Debugging, Ducasse, M. (ed.)},
  year = 2000,
}

@article{CTT100423815,
  author = {Wakita, K. and Asano, T. and Sassa, M.},
  title = {D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment},
  journal = {Lecture Notes in Computer Science},
  year = 1999,
}

@article{CTT100396240,
  author = {Sassa, M. and Ookubo, T.},
  title = {Systematic Debugging Method for Attribute Grammar Description},
  journal = {Information Processing Letters},
  year = 1997,
}

@article{CTT100396239,
  author = {中井央 and 佐々政孝 and 山下義行 and 中田育男},
  title = {LR属性文法に基づいたインクリメンタルな属性評価},
  journal = {情報処理学会論文誌},
  year = 1996,
}

@article{CTT100396238,
  author = {大久保琢也 and 佐々政孝},
  title = {属性文法に対する系統的デバッグ方式},
  journal = {コンピュータソフトウェア},
  year = 1996,
}

@article{CTT100396235,
  author = {Sassa, M. and Ishizuka, H. and Nakata, I.},
  title = {Rie, a Compiler Generator Based on a One-pass-type Attribute Grammar},
  journal = {Software-Practice and Experience},
  year = 1995,
}

@article{CTT100396236,
  author = {佐々政孝},
  title = {属性文法に基づくプログラミング環境の生成方式},
  journal = {コンピュータソフトウェア},
  year = 1993,
}

@article{CTT100396234,
  author = {佐々政孝 and 石塚治志 and 中田育男},
  title = {1パス型属性文法に基づくコンパイラ生成系Rie},
  journal = {コンピュータソフトウェア},
  year = 1993,
}

@article{CTT100396237,
  author = {Sassa, M. and Nakata, I.},
  title = {Time-Optimal Short-Circuit Evaluation of Boolean Expressions},
  journal = {Information Processing Letters},
  year = 1988,
}

@article{CTT100396231,
  author = {Sassa, M. and Ishizuka, H. and Nakata, I.},
  title = {ECLR-attributed Grammars : a Practical Class of LR-attributed Grammars},
  journal = {Information Processing Letters},
  year = 1987,
}

@article{CTT100396233,
  author = {Sassa, M. and Ishizuka, H. and Nakata, I.},
  title = {A Contribution to LR-attributed Grammars},
  journal = {Journal of Information Processing},
  year = 1985,
}

@article{CTT100634294,
  author = {Sassa, M. and Imahashi, T. and Ito, Y.},
  title = {A Generalized Method for Realizing Partial Redundancy Elimination for Normal Forms in Static Single Assignment Forms},
  journal = {Advances in Computer Science and Engineering},
  year = 2011,
}

@inproceedings{CTT100586791,
  author = {Fang, L. and Sassa, M.},
  title = {Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference},
  booktitle = {Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009)},
  year = 2009,
}

@inproceedings{CTT100600387,
  author = {FangLing and 佐々政孝},
  title = {自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証},
  booktitle = {},
  year = 2008,
}

@inproceedings{CTT100576162,
  author = {Masataka Sassa and Soichiro Sahara},
  title = {Validating correctness of compiler optimizer execution using temporal logic},
  booktitle = {Seventh International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008)},
  year = 2008,
}

@inproceedings{CTT100600384,
  author = {Ling Fang and MASATAKA SASSA},
  title = {Generating Java Compiler Optimizers Using Bidirectional CTL},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  year = 2007,
}

@inproceedings{CTT100560542,
  author = {方玲 and 佐々政孝},
  title = {双方向CTLによるJava 最適化器の生成},
  booktitle = {情報処理学会論文誌：プログラミング},
  year = 2007,
}

@inproceedings{CTT100600386,
  author = {方玲 and 佐々政孝},
  title = {双方向CTLによるJava最適化器の生成},
  booktitle = {日本ソフトウェア科学会大会論文集 第23回 1B-3},
  year = 2006,
}

@inproceedings{CTT100576161,
  author = {Masataka Sassa and Daijiro Sudo},
  title = {Experience in testing compiler optimizers using comparison checking},
  booktitle = {2006 International Conference on Programming Languages and Compilers (PLC '06)},
  year = 2006,
}

@inproceedings{CTT100504839,
  author = {Sassa, M. and Kohama, M. and Ito, Y.},
  title = {Comparison and Evaluation of Back Translation Algorithms for Static Single Assignment Form},
  booktitle = {Proc. IPSI-2004 Prague},
  year = 2004,
}

@inproceedings{CTT100463319,
  author = {緒方大介 and 脇田建 and 内山雄司 and 佐々政孝},
  title = {バイトコード命令の操作的意味記述を用いた仮想機械核生成系},
  booktitle = {日本ソフトウェア科学会第１８回大会論文集},
  year = 2001,
}

@inproceedings{CTT100463317,
  author = {大島芳樹 and 脇田建 and 佐々政孝},
  title = {プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価},
  booktitle = {情報処理学会論文誌},
  year = 2000,
}

@inproceedings{CTT100396230,
  author = {Masataka Sassa},
  title = {Rie and Jun-Towards the Generation of all Compiler Phases},
  booktitle = {Lecture Notes in Computer Science},
  year = 1991,
}

@misc{CTT100576154,
  author = {佐々政孝 and 滝本宗宏},
  title = {静的単一代入形式を用いた最適化（導入編）},
  year = 2008,
}

@misc{CTT100576155,
  author = {滝本宗宏 and 佐々政孝},
  title = {静的単一代入形式を用いた最適化（発展編）},
  year = 2008,
}

@misc{CTT100600385,
  author = {FangLing and 佐々政孝},
  title = {双方向CTLによるJava最適化器の生成},
  year = 2006,
}

@misc{CTT100574286,
  author = {佐々政孝},
  title = {コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その2)},
  year = 2006,
}

@misc{CTT100574285,
  author = {佐々政孝},
  title = {コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その1)},
  year = 2006,
}

@misc{CTT100574678,
  author = {Masataka Sassa and Daijiro Sudo},
  title = {Experience in testing compiler optimizers using comparison checking},
  year = 2006,
}

@misc{CTT100392107,
  author = {Masataka Sassa and Yo Ito and Masaki Kohama},
  title = {Comparison and Evaluation of Back-translation Algorithms  for Static Single Assignment Forms},
  year = 2005,
}

@misc{CTT100596511,
  author = {MASATAKA SASSA},
  title = {Implementational Basis of Complex Data Structures},
  year = 1978,
}

@misc{CTT100595705,
  author = {佐々政孝},
  title = {Stringを使ったデータ・ハンドラーと対話型図形処理},
  year = 1972,
}



@phdthesis{CTT100596511,
  author = {MASATAKA SASSA},
  title = {Implementational Basis of Complex Data Structures},
  school = {東京大学},
  year = 1978,
}

@mastersthesis{CTT100595705,
  author = {佐々政孝},
  title = {Stringを使ったデータ・ハンドラーと対話型図形処理},
  school = {東京大学},
  year = 1972,
}