"Sassa, M.,Imahashi, T.,Ito, Y.","A Generalized Method for Realizing Partial Redundancy Elimination for Normal Forms in Static Single Assignment Forms",,"Advances in Computer Science and Engineering",,"Vol. 7","No. 1","pp. 1-24",2011,Aug.
"Fang Ling,佐々政孝","自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証",,"情報処理学会論文誌 プログラミング",,"Vol. 2","No. 4","pp. 35-52",2009,Aug.
"Sassa, M.,Kohama, M.,Ito, Y.","Comparison and evaluation of back-translation algorithms for static single assignment forms",,"Computer Languages, Systems & Structures","Elsevier","Vol. 35","No. 2","pp. 173-195",2009,July
"Fang, L.,Sassa, M.","Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference","Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009)","Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009)",,"Vol. 8",,"  CD-ROM",2009,Mar.
"FangLing,佐々政孝","自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証","日本ソフトウェア科学会大会論文集，第２５回，7A-1",,,,,,2008,Sept.
"中田育男,渡辺坦,佐々政孝,滝本宗宏","コンパイラの基盤技術と実践-コンパイラ・インフラストラクチャCOINS を用いて",,,"朝倉書店",,,,2008,June
"Masataka Sassa,Soichiro Sahara","Validating correctness of compiler optimizer execution using temporal logic","J. Knoop (Ed.)","Seventh International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008)",,,,"pp. 1-17",2008,Apr.
"今橋孝典,伊藤陽,佐々政孝","静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法",,"情報処理学会論文誌：プログラミング",,"Vol. 49","No. SIG1","pp. 84-95",2008,Jan.
"佐々政孝,滝本宗宏","静的単一代入形式を用いた最適化（導入編）",,"コンピュータソフトウェア",,"Vol. 25","No. 1","pp. 19-29",2008,Jan.
"佐原聡一郎,佐々政孝","時相論理を用いたコンパイラ最適化器の実行の正しさの検査",,"コンピュータソフトウェア",,"Vol. 25","No. 1","pp. 151-166",2008,Jan.
"中田育男,渡邊坦,佐々政孝,森公一郎,阿部正佳","COINSコンパイラ・インフラストラクチャの開発",,"コンピュータソフトウェア",,"Vol. 25","No. 1","pp. 2-18",2008,Jan.
"滝本宗宏,佐々政孝","静的単一代入形式を用いた最適化（発展編）",,"コンピュータソフトウェア",,"Vol. 25","No. 1","pp. 30-46",2008,Jan.
"Ling Fang,MASATAKA SASSA","Generating Java Compiler Optimizers Using Bidirectional CTL","6th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007)","Electronic Notes in Theoretical Computer Science",,"Vol. 190","No. 4","pp. 49-63",2007,Nov.
"Fang, L.,Sassa, M.","Generating Java Compiler Optimizers Using Bidirectional CTL",,"Electronic Notes in Theoretical Computer Science","Elsevier","Vol. 190/4",,"pp. 49-63",2007,Nov.
"方玲,佐々政孝","双方向CTLによるJava 最適化器の生成",,"情報処理学会論文誌：プログラミング",,"Vol. 48","No. SIG 10 (PRO 33)","pp. 76-89",2007,June
"FangLing,佐々政孝","双方向CTLによるJava最適化器の生成",,"Research Report","Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology","  C-230",,,2006,Nov.
"佐々政孝","コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その2)",,"情報処理",,"Vol. 47","No. 9","pp. 1032-1038",2006,Sept.
"方玲,佐々政孝","双方向CTLによるJava最適化器の生成",,"日本ソフトウェア科学会大会論文集 第23回 1B-3",,,,,2006,Sept.
"佐々政孝","コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その1)",,"情報処理",,"Vol. 47","No. 8","pp. 907-913",2006,Sept.
"Masataka Sassa,Daijiro Sudo","Experience in testing compiler optimizers using comparison checking","2006 International Conference on Programming Languages and Compilers (PLC '06)","2006 International Conference on Programming Languages and Compilers (PLC '06)",,"Vol. 2",,"pp. 837-843",2006,June
"Masataka Sassa,Daijiro Sudo","Experience in testing compiler optimizers using comparison checking",,"Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology",,,"No. Research Report C-221",,2006,Feb.
"佐々政孝,福岡岳穂,滝本宗宏","コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現",,"情報処理学会論文誌：プログラミング",,"Vol. 47","No. SIG10","pp. 30-43",2006,Feb.
"伊藤陽,小濱真樹,佐々政孝","静的単一代入形式からの逆変換アルゴリズムの比較と評価",,"情報処理学会論文誌：プログラミング",,"Vol. 46","No. SIG 14 (PRO 27)","pp. 30-42",2005,Oct.
"Masataka Sassa,Yo Ito,Masaki Kohama","Comparison and Evaluation of Back-translation Algorithms  for Static Single Assignment Forms",,"Research Report C-214, Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology",,"Vol. C-214",,,2005,Oct.
"滝本宗宏,福岡岳穂,佐々政孝,原田賢一","疎な要求駆動型データフロー解析",,"情報処理学会論文誌：プログラミング",,"Vol. 46","No. SIG 11 (PRO 26)","pp. 16-26",2005,Aug.
"Sassa, M.,Kohama, M.,Ito, Y.","Comparison and Evaluation of Back Translation Algorithms for Static Single Assignment Form",,"Proc. IPSI-2004 Prague",,,,,2004,Dec.
"Sasaki, A.,Sassa, M.","Circular Attribute Grammars with Remote Attribute References and their Evaluators",,"New Generation Computing",,"Vol. 22","No. 1","pp. 37-60",2004,
"Sasaki, A.,Sassa, M.","Generalized Systematic Debugging for Attribute Grammars",,"Ronsse, M. (ed.) Proc. 5th International Workshop on Automated and Algorithmic Debugging (AADEBUG 2003), Gent, Belgium",,,,"pp. 283-286",2003,
"Sassa, M.,Nakaya, T.,Kohama, M.,Fukuoka, T.,Takahashi, M.","Static Single Assignment Form in the COINS Compiler Infrastructure",,"SSGRR 2003w - International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, e-Medicine, and Mobile Technologies on the Internet",,,,"pp. 54",2003,
"池添洋平,佐々木晃,脇田建,佐々政孝 ","属性文法の系統的デバッグ法におけるバグ絞り込みの効率化",,"コンピュータソフトウェア ",,"Vol. 20","No. 2","pp. 22-40",2003,
"徳生吉孝,脇田建,佐々政孝","アセンブリ言語上でのプログラム特化",,"情報処理学会論文誌",,"Vol. 43","No. 6","pp. 1910-1929",2002,
"佐々木晃,池添洋平,佐々政孝","属性文法の系統的デバッグ法",,"情報処理学会論文誌：プログラミング",,"Vol. 43","No. SIG 3 (PRO 14)","pp. 1-16",2002,
"Morimoto, S.,Sassa, M.","Yet Another Generation of LALR Parsers for Regular Right Part Grammars",,"Acta Informatica",,"Vol. 37",,"pp. 671-697",2001,
"緒方大介,脇田建,内山雄司,佐々政孝","バイトコード命令の操作的意味記述を用いた仮想機械核生成系",,"日本ソフトウェア科学会第１８回大会論文集",,,,,2001,
"大島芳樹,脇田建,佐々政孝","プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価",,"情報処理学会論文誌：プログラミング",,"Vol. 41","No. SIG-9","pp. 62-77",2000,
"Nakai, H.,Sassa, M.,Kameyama, H.,Nakata, I.","Incremental Attribute Evaluation of LR-attributed Grammars Using Space-Efficient Data Structure",,"Proc. WAGA'2000 - 3rd Workshop on Attribute Grammars and their Applications, Parigot, D. and Mernik, M. (ed.), INRIA",,,,"pp. 99-116",2000,
"Sasaki, A.,Sassa, M.","Circular Attribute Grammars with Remote Attribute References",,"Proc. WAGA'2000 - 3rd Workshop on Attribute Grammars and their Applications, Parigot, D. and Mernik, M. (ed.), INRIA",,,,"pp. 125-140",2000,
"Ikezoe, Y.,Sasaki, A.,Ohshima, Y.,Wakita, K.,Sassa, M.","Systematic Debugging of Attribute Grammars",,"Proc. AADEBUG 2000 - 4th International Workshop on Automated Debugging, Ducasse, M. (ed.)",,,,"pp. 235-240",2000,
"大島芳樹,脇田建,佐々政孝","プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価",,"情報処理学会論文誌",,"Vol. 41","No. PRO 8","pp. 62-77",2000,
"Wakita, K.,Asano, T.,Sassa, M.","D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment",,"Lecture Notes in Computer Science",,"Vol. 1685",,"pp. 914-924",1999,
"Sassa, M.,Ookubo, T.","Systematic Debugging Method for Attribute Grammar Description",,"Information Processing Letters",,"Vol. 62",,"pp. 305-313",1997,
"中井央,佐々政孝,山下義行,中田育男","LR属性文法に基づいたインクリメンタルな属性評価",,"情報処理学会論文誌",,"Vol. 37","No. 12","pp. 2254-2265",1996,
"大久保琢也,佐々政孝","属性文法に対する系統的デバッグ方式",,"コンピュータソフトウェア",,"Vol. 13","No. 2","pp. 45-57",1996,
"西野哲朗,片山卓也,佐々政孝（編）","属性文法入門",,"共立出版","共立出版",,,,1996,
"Sassa, M.,Ishizuka, H.,Nakata, I.","Rie, a Compiler Generator Based on a One-pass-type Attribute Grammar",,"Software-Practice and Experience",,"Vol. 25","No. 3","pp. 229-250",1995,
"佐々政孝","属性文法に基づくプログラミング環境の生成方式",,"コンピュータソフトウェア",,"Vol. 11","No. 4","pp. 44-56",1993,
"佐々政孝,石塚治志,中田育男","1パス型属性文法に基づくコンパイラ生成系Rie",,"コンピュータソフトウェア",,"Vol. 10","No. 3","pp. 20-36",1993,
"Masataka Sassa","Rie and Jun-Towards the Generation of all Compiler Phases",,"Lecture Notes in Computer Science",,"Vol. 477",,"pp. 56-70",1991,
"佐々政孝","プログラミング言語処理系",,"岩波書店","岩波書店",,,,1989,
"Sassa, M.,Nakata, I.","Time-Optimal Short-Circuit Evaluation of Boolean Expressions",,"Information Processing Letters",,"Vol. 29","No. 1","pp. 43-51",1988,
"Sassa, M.,Ishizuka, H.,Nakata, I.","ECLR-attributed Grammars : a Practical Class of LR-attributed Grammars",,"Information Processing Letters",,"Vol. 24","No. 1","pp. 31-41",1987,
"Sassa, M.,Ishizuka, H.,Nakata, I.","A Contribution to LR-attributed Grammars",,"Journal of Information Processing",,"Vol. 8","No. 3","pp. 196-206",1985,
"佐々政孝","Implementational Basis of Complex Data Structures",,,,,,,1978,
"佐々政孝","Stringを使ったデータ・ハンドラーと対話型図形処理",,,,,,,1972,Mar.