佐々 政孝

静的単一代入形式を用いた最適化（導入編） 

コンピュータソフトウェア 25(1) 19-29 2008年  

静的単一代入形式を用いた最適化（発展編） 

コンピュータソフトウェア 25(1) 30-46 2008年  

静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法 

情報処理学会論文誌：プログラミング 49(SIG1) 84-95 2008年  

時相論理を用いたコンパイラ最適化器の実行の正しさの検査 

コンピュータソフトウェア 25(1) 151-166 2008年  

Experience in testing compiler optimizers using comparison checking 

Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology (Research Report C-221) 2006年  

Generating Java Compiler Optimizers Using Bidirectional CTL 

Research Report C-230 2006年  

Experience in testing compiler optimizers using comparison checking 

Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology (Research Report C-221) 2006年  

コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現 

情報処理学会論文誌：プログラミング 47(SIG10) 30-43 2006年  

コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その2) 

情報処理 47(9) 1032-1038 2006年  

双方向CTLによるJava最適化器の生成 

C-230 2006年  

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 C-214 2005年  

疎な要求駆動型データフロー解析 

情報処理学会論文誌：プログラミング 46(SIG 11 (PRO 26)) 16-26 2005年  

静的単一代入形式からの逆変換アルゴリズムの比較と評価 

情報処理学会論文誌：プログラミング 46(SIG 14 (PRO 27)) 30-42 2005年  

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 C-214 2005年  

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 54 2003年