PPL2002プログラム
初日（３月５日）の開始時刻を１４：００に変更しました。ご注意ください。
一般講演の種類：
(*)なし。。。Category-1 オリジナル論文の発表
(*)つき。。。Category-2 国際会議等における既発表研究の紹介
３月５日（火）
| 14:00-14:10 | 開会, 事務連絡 |
| 14:10-15:55 | セッション１ 座長： 五十嵐淳（東京大学） ・低レベル言語のための情報流解析の型システム [PS] 小林直樹，白根慶太（東京工業大学） ・命題μ計算を用いたXML変換言語のための型検証アルゴリズム [PDF] 戸沢晶彦（日本IBM) ・XDuce: A Typed XML Processing Language (*) [abstract(PS)] 細谷晴夫（京都大学）， Benjamin Pierce (University of Pennsylvania) 3rd International Workshop on the Web and Databases (WebDB2000) |
PPLのイベントではありませんが、並行開催されるSPAで以下のイベントがあります。PPL参加者はこれらのセッションにも参加できます。(SPAのプログラム）
16:00-17:00 招待講演： まつもとゆきひろ 「ヒューマン指向スクリプト言語Ruby」
20:00-22:00 ポスターセッション
３月６日（水）
| 9:20-10:30 | セッション２ 座長： 長谷川真人（京都大学） ・不均等データ上における汎用的並列スケルトン "s-diff" の提案 [PS] 高橋知成(東京大学）, 胡振江（東京大学/科学技術振興事業団）、岩崎英哉（電気通信大学） ・"Shrinkable"な多相ヴァリアント[PDF] 香川考司（香川大学） |
| 10:50-12:00 | セッション３ 座長： 胡振江（東京大学） ・Resource Usage Analysis (*) [abstract(PDF)] 五十嵐淳（東京大学）、小林直樹（東京工業大学） 29th ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL'02) ・A Logic Programming Language based on Binding Algebras (*) [abstract(PS), paper(PS)] 浜名誠（群馬大学） 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001) |
| 昼食 | |
| 13:30-14:30 | 招待講演 座長： 千葉滋（東京工業大学） ・プログラミング言語研究に未来はあるか？ −スクリプト言語のすすめー [PDF] 田中二郎（筑波大学） |
| 14:45-16:30 | セッション４ 座長： 関口龍郎（東京大学） ・Linux/TAL: 型付きアセンブリプログラムのカーネルモード実行方式 [PS] 前田俊行, 住井英二郎, 米澤明憲(東京大学） ・Javaバイトコードにおけるオブジェクト使用解析のための型システム[PS] 浜中信行, 住井英二郎（東京大学）, 小林直樹（東京工業大学）, 米澤明憲（東京大学） ・属性文法の系統的デバッグ手法とその環境[PS] 池添洋平、佐々木晃、脇田建、佐々政孝（東京工業大学） |
| 16:45-17:45頃 | ショート・プレゼンテーション−１ 進行中の研究や問題点の提起などに関する短い発表 |
| 20:30-22:00頃 | ショート・プレゼンテーション−２ 進行中の研究や問題点の提起などに関する短い発表 |
３月７日（木）
| 9:00-10:00 | 招待講演 座長 亀山幸義（筑波大学） ・Functional Programming without Garbage Collection [PS] Martin Hofmann (University of Muenchen) |
| 10:20-11:30 | セッション５ 座長： 西崎真也（東京工業大学） ・Generation of Efficient Programs for Solving Maximum Multi-Marking Problems (*) [abstract(PS),paper(PS)] 篠埜功, 胡振江, 武市正人（東京大学） Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001) ・Simple Type Inference for Strucutral Polymporphism (*) [abstract(PS),paper(ps.gz)] Jacques Garrigue （京都大学） 9th Workshop on Foundations of Object-Oriented Languages (FOOL 9) |
| 11:40-12:00 | 表彰，閉会 |
ご注意：このページからたどれる論文等の著作権は各著者にあります。