いくつかの発表論文のファイル
(A few files of published papers including papers written in Japanese)
(著作権の関係もあり，大部分のものは雑誌印刷版ではなく原稿を掲載しています．)
論文 (papers)
- Sassa, M., Imahashi, T. and 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.
PDF
- Fang Ling，佐々政孝：
自動的等価性差分の抽出によるSSAコンパイラ最適化器の
生成するコードの正しさの検証，
情報処理学会論文誌 プログラミング, Vol. 2, No. 4, pp. 33-52,
(Aug. 2009).
PDF
- Sassa, M., Ito, Y. and Kohama, M.:
Comparison and evaluation of back-translation algorithms for static
single assignment forms,
Computer Languages, Systems & Structures, Vol. 35, Issue 2,
pp. 173-195 (July 2009). DOI 10.1016/j.cl.2007.03.001
PDF
- Fang, L. and 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), CD-ROM (March 2009).
PDF
- Sassa, M. and Sahara, S.:
Validating Correctness of Compiler Optimizer Execution Using
Temporal Logic,
Seventh International Workshop on Compiler Optimization meets
Compiler
Verification (COCV 2008) pp. 1-17 (April 2008).
PDF
- 佐原聡一郎，佐々政孝：
時相論理を用いたコンパイラ最適化器の実行の正しさの検査，
（推薦論文・PPL2007），コンピュータソフトウェア，Vol. 25, No. 1,
pp. 151-166 (Jan. 2008).
PDF
- 佐々政孝，滝本宗宏：
静的単一代入形式を用いた最適化（導入編），
コンピュータソフトウェア, Vol. 25, No. 1, pp. 19-29 (Jan. 2008).
PDF
- 滝本宗宏，佐々政孝：
静的単一代入形式を用いた最適化（発展編），
コンピュータソフトウェア, Vol. 25, No. 1, pp. 30-46 (Jan. 2008).
PDF
- 中田育男，渡邊坦，佐々政孝，森公一郎，阿部正佳：
COINSコンパイラ・インフラストラクチャの開発，
コンピュータソフトウェア，Vol. 25, No. 1, pp. 2-18 (Jan. 2008).
PDF
- 今橋孝典，伊藤陽，佐々政孝：
静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法，
情報処理学会論文誌：プログラミング, Vol. 49, No. SIG 1 (PRO 35),
pp. 84-95 (Jan. 2008).
PDF
- 方玲，佐々政孝：
双方向CTLによるJava 最適化器の生成，
情報処理学会論文誌：プログラミング, Vol. 48, No. SIG 10 (PRO 33),
pp. 76-89 (2007年6月).
PDF
- Fang, L. and Sassa, M.:
Generating Java Compiler Optimizers Using Bidirectional CTL,
6th International Workshop on Compiler Optimization Meets
Compiler Verification (COCV 2007), Braga, Portugal
(Mar. 2007).
Also appeared in
Electronic Notes in Theoretical Computer Science,
Vol. 190/4, pp. 49-63 (Nov. 2007).
paper
short version
presentation in open office
short version
presentation in PDF
presentation in open office
presentation in PDF
- Sassa, M. and Sudo. D.:
Experience in Testing Compiler Optimizers Using Comparison
Checking, 2006 International Conference on Programming Languages
and Compilers (PLC '06), Vol. II, pp. 837-843
(June 2006).
PDF
PowerPoint
- 佐々政孝，福岡岳穂，滝本宗宏：
コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現，
情報処理学会論文誌：プログラミング，Vol. 47, No. SIG 2 (PRO 28),
pp. 30-43 (Feb. 2006).
PDF
PowerPoint
- 伊藤陽，小濱真樹，佐々政孝：
静的単一代入形式からの逆変換アルゴリズムの比較と評価，
情報処理学会論文誌：プログラミング, Vol. 46, No. SIG 14 (PRO 27),
pp. 30-42 (Oct. 2005).
PDF
- 滝本宗宏，福岡岳穂，佐々政孝，原田賢一：
疎な要求駆動型データフロー解析，
情報処理学会論文誌：プログラミング，
Vol. 46, No. SIG 11 (PRO 26), pp. 16-26 (Aug. 2005).
PDF
- Sassa, M., Kohama, M. and Ito, Y.:
Comparison and Evaluation of Back Translation Algorithms
for Static Single Assignment Form,
Proc. IPSI-2004 Prague, ISBN: 86-7466-117-3 (Dec. 2004).
PDF
Powerpoint
- Sasaki, A. and Sassa, M.:
Circular Attribute Grammars with Remote Attribute References
and their Evaluators,
New Generation Computing, Vol. 22, No. 1, pp. 37-60, 2004.
PDF
PostScript
- Sasaki, A. and Sassa, M.:
Generalized Systematic Debugging for Attribute Grammars,
in Ronsse, M. (ed.) Proc. 5th International Workshop on Automated
and Algorithmic Debugging (AADEBUG 2003), pp. 283-286 (Sep. 2003).
PDF
- Sassa, M., Nakaya, T., Kohama, M., Fukuoka, T. and Takahashi, M.:
Static Single Assignment Form in the COINS Compiler Infrastructure,
SSGRR 2003w, No. 54 (Jan. 2003).
PDF
PowerPoint
- 池添洋平，佐々木 晃，脇田建，佐々政孝：
属性文法の系統的デバッグ法におけるバグ絞り込みの効率化，
コンピュータソフトウェア, Vol. 20, No. 2, pp. 22-40 (Mar. 2002).
PDF
- 徳生吉孝，脇田建，佐々政孝：
アセンブリ言語上でのプログラム特化，
情報処理学会論文誌, Vol. 43, No. 6, pp. 1910-1929 (Jun. 2002).
PDF
PostScript
- 佐々木 晃，池添洋平，佐々政孝：
属性文法の系統的デバッグ法，
情報処理学会論文誌：プログラミング, Vol. 43, No. SIG 3 (PRO 14),
pp. 1-16 (Mar. 2002).
PDF
PostScript
- Morimoto, S. and Sassa, M.:
Yet Another Generation of LALR Parsers for Regular Right Part Grammars,
Acta Informatica, Vol. 37, pp. 671-697 (June 2001).
PDF
PostScript
- 大島芳樹，脇田建，佐々政孝：
プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価，
情報処理学会論文誌：プログラミング, Vol. 41, No. SIG-9 (PRO 8),
pp. 62-77 (Nov. 2000).
PDF
PostScript
- Ikezoe, Y., Sasaki, A., Ohshima, Y., Wakita, K. and Sassa, M.:
Systematic Debugging of Attribute Grammars,
in Ducasse, M. (ed.) Proc. 4th International Workshop on Automated
and Algorithmic Debugging (AADEBUG '2000), pp. 235-240 (Aug. 2000).
PDF
PostScript
- Sasaki, A. and Sassa, M.:
Circular Attribute Grammars with Remote Attribute References,
in Parigot,D. and Mernik,M. (ed.) Proc. WAGA'2000 - 3rd Workshop on
Attribute Grammars and their Applications, INRIA
pp. 125-140 (Jul. 2000).
PDF
PostScript
- Nakai, H., Sassa, M., Kameyama, H. and Nakata,I.:
Incremental Attribute Evaluation of LR-attributed Grammars Using
Space-Efficient Data Structure,
in Parigot,D. and Mernik,M. (ed.) Proc. WAGA'2000 - 3rd Workshop on
Attribute Grammars and their Applications, INRIA
pp. 99-116 (Jul. 2000).
PDF
PostScript
- Sassa, M. and Ookubo, T.:
Systematic Debugging Method for Attribute Grammar Description,
Research Report C-117, 1995.
Appeared in
Inf. Process. Lett., Vol. 62, pp. 305-313 (1997).
PDF
PostScript
- 中井央，佐々政孝，山下義行，中田育男：
LR属性文法に基づいたインクリメンタルな属性評価，
情報処理学会論文誌, Vol. 37, No. 12, pp. 2254-2265 (1996).
PDF
佐々による解説・研究会発表・リサーチレポートなど
- 佐々政孝：
コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その1)，
情報処理，Vol. 47, No. 8, pp. 907-913, (Aug. 2006).
関連ページへのリンク
- 佐々政孝：
コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その2)，
情報処理，Vol. 47, No. 9, pp. 1032-1038, (Aug. 2006).
関連ページへのリンク
- Masataka Sassa and Daijiro Sudo:
Experience in Testing Compiler Optimizers Using Comparison Checking
Research Report C-221, Dept. of Mathematical and Computing Sciences,
Tokyo Institute of Technology (February, 2006)
link
- Masataka Sassa, Yo Ito, and 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 (October, 2005)
link
- 佐々政孝，福岡岳穂，滝本宗宏：
コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現，
情報処理学会プログラミング研究会資料 (2005年8月).
PDF
PowerPoint
- Sassa, M., Nakaya, T., Kohama, M., Fukuoka, T., Takahashi, M. and Nakata, I.:
Static Single Assignment Form in the COINS Compiler Infrastructure
- Current Status and Background -,
日本ソフトウェア科学会 SPA 2003 (Mar. 2003).
PDF
PowerPoint
PowerPoint Presentation in PDF
- 佐々政孝：
東京工業大学における情報教育，
日本物理学会：大学の物理教育，Vol. 2001-3, pp. 8-11 (2001年11月).
PDF
研究室メンバーによる研究会・大会など
- 新屋良磨：
正規言語上のAbstract Numeration Systemの文字列圧縮への応用，
日本ソフトウェア科学会大会，第２９回，1B-3 (2012年8月).
PDF
- 新屋良磨，光成滋生，佐々政孝：
並列化と実行時コード生成を用いた正規表現マッチングの高速化，
情報処理学会プログラミングシンポジウム論文集，第５３回，ポスター，
pp. 159-162 (2012年1月).
PDF
ポスターのPDF
- 新屋良磨，光成滋生，佐々政孝：
並列化と実行時コード生成を用いた正規表現マッチングの高速化，
日本ソフトウェア科学会大会論文集，第２８回，6A-2 (2011年9月).
（学生奨励賞受賞）
PDF
- 及川宗明，佐々政孝：
レジスタプロモーションによるコード最適化の実装と評価，
日本ソフトウェア科学会大会論文集，第２６回，3C-1 (2009年9月).
PDF
- 藤原一貴，佐々政孝：
時相論理CTL*を用いたJAVA最適化器の生成の試み，
日本ソフトウェア科学会大会論文集，第２６回，3C-4 (2009年9月).
PDF
- Fang Ling, 佐々政孝：
自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証，
情報処理学会プログラミング研究会 (2009年3月).
PDF
- 今橋孝典，佐々政孝：
種々の最適化の効果のモデル化と，それに基づく最適化列の効果の予測，
日本ソフトウェア科学会第11回プログラミングおよびプログラミング言語
ワークショップ (PPL2009) 論文集，pp. 88-102 (2009年3月)．
PDF
- 蒲野茂幸，佐々政孝：
SIMD 最適化向けソースコードレベルでのコード変形，
日本ソフトウェア科学会第11回プログラミングおよびプログラミング言語
ワークショップ (PPL2009) 論文集，pp. 73-87 (2009年3月).
PDF
- Fang Ling，佐々政孝：
自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証，
日本ソフトウェア科学会大会論文集，第２５回，7A-1 (2008年9月).
PDF
- 副島佑介，佐々政孝：
レジスタ割り付けにおけるOptimistic Register Coalescingの実装と評価，
日本ソフトウェア科学会大会論文集，第２５回，4A-1 (2008年9月).
PDF
- 太田眞敬，滝本宗宏：
COINSを用いた大域的データサイズ推論の実現，
日本ソフトウェア科学会大会論文集，第２５回，4A-2 (2008年9月).
PDF
- 米倉翔一，佐々政孝：
Array SSA とそれを用いた最適化の実装と評価，
第169回計算機アーキテクチャ・第114回ハイパフォーマンスコンピューティング
合同研究発表会（HOKKE-2008），pp. 127-132 (2008年3月).
PDF
- 吉羽和之，佐々政孝：
BDDを利用したCプログラムのfield-sensitiveなポインタ解析，
第169回計算機アーキテクチャ・第114回ハイパフォーマンスコンピューティング
合同研究発表会（HOKKE-2008），pp. 133-138 (2008年3月).
PDF
- 佐原聡一郎，佐々政孝：
時相論理を用いたコンパイラ最適化器の実行の正しさの検査，
日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語
ワークショップ (PPL2007) 論文集，pp. 97-110 (2007年3月).
PDF
PowerPoint
- 狩野祐介，佐々政孝：
Flow-insensitiveな別名情報と制御フロー構造を用いた最適化対象の拡大，
日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語
ワークショップ (PPL2007) 論文集，pp. 15-27 (2007年3月).
PDF
PowerPoint
- 方玲，佐々政孝：
双方向CTLによるJava 最適化器の生成，
情報処理学会プログラミング研究会資料，(2007年1月).
PDF
- 方玲，佐々政孝：
双方向CTLによるJava 最適化器の生成，
日本ソフトウェア科学会大会論文集，第２３回，(2006年9月).
PDF
presentation in PDF (originally in Open Office)
presentation at the poster session in PDF (originally in Open Office)
- 今橋孝典，伊藤陽，佐々政孝：
静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法，
日本ソフトウェア科学会大会論文集，第２３回，(2006年9月).
PDF
- 米倉翔一，佐々政孝：
目的コードの精査によるCOINSコンパイラバックエンドの最適化の改良，
日本ソフトウェア科学会大会論文集，第２３回，(2006年9月).
PDF
- 伊藤陽，佐々政孝：
実行時情報を利用した部分冗長除去とSSA形式への適用，
日本ソフトウェア科学会第８回プログラミングおよびプログラミング言語
ワークショップ (PPL2006) 論文集，pp. 170-181 (2006年3月).
PDF
- 佐原聡一郎，佐々政孝：
自動的な命令合併を行う覗き穴最適化器の設計とプロトタイプ実装,
日本ソフトウェア科学会大会論文集，第２２回，5B-2 (2005年9月).
PDF
- 狩野祐介，佐々政孝：
素朴なレジスタプロモーションの実装と評価，
日本ソフトウェア科学会大会論文集，第２２回，5B-3 (2005年9月).
PDF
- 伊藤陽，小濱真樹，佐々政孝：
静的単一代入形式からの逆変換アルゴリズムの比較と評価，
情報処理学会プログラミング研究会資料 (2005年3月).
PDF
- 溝渕裕司，立川英，佐々政孝：
変更文の移動を可能にした静的単一代入形式上での部分冗長性除去，
日本ソフトウェア科学会第７回プログラミングおよびプログラミング言語
ワークショップ (PPL2005) 論文集，pp. 261-275 (2005年3月).
PDF
- 須藤大二朗，佐々政孝：
比較照合法によるコンパイラ最適化器の正しさの検証，
日本ソフトウェア科学会第７回プログラミングおよびプログラミング言語
ワークショップ (PPL2005) 論文集，pp. 231-245 (2005年3月).
PDF
- 伊藤陽，小濱真樹，佐々政孝：
静的単一代入形式における正規化アルゴリズムの比較と評価，
日本ソフトウェア科学会大会論文集，第２１回，5C-3 (2004年9月).
PDF
- 溝渕裕司，中谷俊晴，佐々政孝：
コンパイラ・インフラストラクチャを用いた静的プログラムスライシングツール，
日本ソフトウェア科学会大会論文集，第２０回，2B-3 (2003年9月).
PDF
- 小濱真樹，中谷俊晴，佐々政孝：
静的単一代入形式における正規化アルゴリズムの比較，
日本ソフトウェア科学会大会論文集，第１９回，1C-1 (2002年9月).
PDF
- 福岡岳穂，高橋正人，中谷俊晴，佐々政孝：
コンパイラ・インフラストラクチャCOINSにおけるSSA形式最適化の実現，
日本ソフトウェア科学会大会論文集，第１９回，2C-2 (2002年9月).
PDF
- 立川英，佐々木晃，佐々政孝：
リモート参照が可能な循環属性文法による怠けたコード移動の実現，
日本ソフトウェア科学会大会論文集，第１９回，1C-3 (2002年9月).
PDF
- 加藤吉之介，脇田建，佐々政孝：
SSA形式を利用したPredicated Execution向け命令スケジューリング手法，
情報処理学会ハイパフォーマンスコンピューティング研究会・
計算機アーキテクチャ研究会合同研究発表会(HOKKE-2002)，
2002-HPC-89 & 2002-ARC-147, pp. 115-120 (2002年3月).
PDF
- 池添洋平，佐々木晃，脇田建，佐々政孝：
属性文法の系統的デバッグ手法とその環境，
日本ソフトウェア科学会第４回プログラミングおよびプログラミング言語
ワークショップ (PPL 2002)，pp. 89-103 (2002年3月).
PDF
PostScript
- 中谷俊晴，加藤吉之介，佐々政孝，脇田建：
コンパイラ・インフラストラクチャにおける
SSA形式最適化プロトタイプシステムの実装，
日本ソフトウェア科学会大会論文集，第１８回，3D-2 (2001年9月).
PDF
- 脇田建，緒方大介，佐々政孝：
操作的意味記述を用いた仮想機械の生成に向けて，
日本ソフトウェア科学会第３回プログラミングおよびプログラミング言語
ワークショップ (PPL 2001)，pp. 31-40 (2001年3月).
PDF
- 加藤吉之介，脇田建，佐々政孝：
プロセッサ仕様記述を用いたコードスケジューラの実装，
日本ソフトウェア科学会大会論文集，第１７回，C4-3 (2000年9月).
PDF
PostScript
論文リスト
論文リストについては，次をご覧ください．
(See also the following page)