"Fang Ling,佐々政孝","自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証",,"情報処理学会論文誌 プログラミング",,"Vol. 2","No. 4","pp. 35-52",2009,Aug.
"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.
"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.
"方玲,佐々政孝","双方向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.
"方玲,佐々政孝","双方向CTLによるJava最適化器の生成",,"日本ソフトウェア科学会大会論文集 第23回 1B-3",,,,,2006,Sept.