情報処理学会ホームに戻る
最終更新日:2005年2月18日

第53回 プログラミング研究発表会

 

日  程 : 平成17年3月17日(木)・18日(金)

会  場 : 東京都目黒区大岡山2-12-1
         東京工業大学大岡山キャンパス
         西8号館E棟10階 情報理工学研究科大会議室
         http://www.titech.ac.jp/access-and-campusmap/j/o-okayamaO-j.html

議  題 

3/17 (木)
11:00-11:45
(1) 構文解析器生成系と構文エラー処理
   真幡康徳、中井 央(筑波大)

11:45-12:30
(2) コンパイラフロントエンド生成系
   舞田純一、中井 央(筑波大)

12:30-13:30 昼休み

13:30-14:15
(3) 脆弱性の動的検知機能との連携を考慮した構造化例外処理の設計
   千葉雄司(日立製作所)

14:15-15:00
(4) データベース向けアクセス制御の機能強化によるSQLインジェクション対策
   後藤久美子、千葉雄司、土居範久(中央大)

15:00-15:45
(5) 再現コンパイル手法を用いたJava JITコンパイラの問題判別
   緒方一則、小野寺民也、河内谷清久仁、小松秀昭、中谷登志男(日本アイ・ビー・エム)

15:45-16:00 休憩

16:00-16:45
(6) 追加機能を含んだAda 95 プログラムのためのタスキングデッドロック検出ツール
   藤乘靖士、奈良信介、後藤祐一、程 京徳(埼玉大)

16:45-17:30
(7) 検証済み型推論器生成のためのCoqライブラリ
   立花 健、小林直樹(東工大、東北大)

3/18 (金)
10:00-10:45
(8) Efficient and Portable Implementation of Java-style Exception Handling in C
   馬谷誠二、庄林宏和、八杉昌宏、湯淺太一(京大、西日本電信電話)

10:45-11:30
(9) COINS の汎用的な中間言語とそのコードジェネレータ
   阿部正佳、萩谷昌己、中田育男(東大、法政大)

11:30-12:15
(10)静的単一代入形式からの逆変換アルゴリズムの比較と評価
   伊藤 陽、小濱真樹、佐々政孝(東工大、富士写真フィルム)

12:15-13:15 昼休み

13:15-14:00
(11)A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents
   鈴木太朗、奥居 哲(会津大、中部大)

14:00-14:45
(12)要求の粒度が調節可能な遅延評価機構
   森本武資、岩崎英哉、竹内郁雄(電通大)

14:45-15:30
(13)パターンマッチに基づくバイトコード変換とその型安全性
   川上祐介、鎌田十三郎(神戸大)

15:30-15:45 休憩

15:45-16:30
(14)Javaクラスファイル差分更新システム
   吉川隆英、小沢年弘(富士通)

16:30-17:15
(15)静的プロファイルを用いたファイル・プリフェッチ手法の提案
   安江俊明、小松秀昭、中谷登志男(日本アイ・ビー・エム)

※詳細は 研究会のページ をご覧ください。



********↓↓発表募集は終了しました↓↓**********

日  程
 : 平成17年3月17日(木)・18日(金)

会  場 : 東京都目黒区大岡山2-12-1
         東京工業大学大岡山キャンパス
         西8号館E棟10階 情報理工学研究科大会議室
         http://www.titech.ac.jp/access-and-campusmap/j/o-okayamaO-j.html

発表申込締切  平成17年1月17日(月)

投稿論文原稿提出締切 : 平成17年2月17日(木)

申 込 先 : 脇田 建 (東京工業大学大学院情報理工学研究科)
         E-mail: wakita@is.titech.ac.jp
         Tel: 03-5734-3493 Fax: 03-5734-3210