JSSST

PPL2001プログラム

ここにカテゴリー1 (新規発表)とカテゴリー2 (海外発表、(*)印) が記載されています。カテゴリー1はPPL独自の査読過程を経ているのに対し、 カテゴリー2は併記した会議で査読され、PPLは追加的な発表になります。 詳しい説明は論文募集案内にあります。
カテゴリー3は参加申込と同時に募集しています。

Papers marked (*) are not original PPL papers. They are papers intended for the indicated conference, informally presented at PPL for the Japanese public.

3月21日(水)

12:15-12:50 受付
12:50-13:00 開会
13:00-14:30
Eliminating Dummy Elimination. (*) [link]
Jurgen Giesl (University of New Mexico) and Aart Middeldorp (University of Tsukuba).
17th International Conference on Automated Deduction, June 2000
並行論理プログラムにおける逐次実行部分の抽出方法論 [PDF]
加藤 紀夫, 上田 和紀 (早稲田大学)
投機的実行用の条件付きfuture構文とその実装 [PS]
Setiadi Rachmat, 小宮 常康, 湯淺 太一 (京都大学)
14:50-16:20
Labeled and optional arguments for Objective Caml. [PS]
Jacques Garrigue (Kyoto University).
操作的意味記述を用いた仮想機械の生成に向けて [PDF]
脇田 建, 緒方 大介, 佐々 政孝 (東京工業大学)
Secure Shared Memory: オブジェクトを効率良く安全に共有するためのモデル [PS]
後藤 礼史, 田浦 健次朗, 米澤 明憲 (東京大学)
16:50-18:10
Garbage Collection Based on a Linear Type System. (*) [link]
Atsushi Igarashi (University of Tokyo) and Naoki Kobayashi (Tokyo Institute of Technology).
The Third ACM SIGPLAN Workshop on Types in Compilation, September 2000
PPL招待講演
MSR, a framework for security protocols and their meta-theory.
Iliano Cervesato, ITT Industries, Inc.
20:30-22:00
カテゴリー3 ショートプレゼンテーション
お申込み下さい

3月22日(木)

8:40-10:10
Complexity of the Security Verification Problem for Programs with Stack Inspection. [PS]
Naoya Nitta, Yoshiaki Takata and Hiroyuki Seki (Nara Institute of Science and Technology).
Mining Optimized Ranges. [PS]
Haiyan Zhao, Tetsuro Yokoyama, Zhenjiang Hu and Masato Takeichi (University of Tokyo).
On Computable Tree Functions. (*) [PS]
Masahiro Kimoto (Compaq Computer) and Masako Takahashi (International Christian University).
6th Asian Computing Science Conference, November 2000
10:30-12:00
A Second-Order Context Calculus. [PS]
Azza A. Taha, Masahiko Sato, and Yukiyoshi Kameyama (Kyoto University).
Limiting Partial Combinatory Algebras. [PS]
Yohji Akama (Tohoku University).
Axioms for Recursion in Call-by-Value. (*) [link]
Masahito Hasegawa and Yoshihiko Kakutani (Kyoto University).
Foundations of Software Science and Computation Structures, April 2001
13:30-14:40
PPL-SPA合同招待講演
Functional Nets
Martin Odersky (Ecole Polytechnique Federale de Lausanne).
15:00-16:30
The Cryptographic λ-Calculus: Syntax, Semantics, Type System and Logical Relations (PPL論文賞) [PS]
Eijiro Sumii and Benjamin Pierce (University of Pennsylvania).
束構造をもつセキュリティクラスに基づく情報フロー解析アルゴリズム [PS]
國信 茂太, 高田 喜朗, 関 浩之, 井上 克郎 (奈良先端技術大学院大学)
Proof-Directed Decompilation of Low-Level Code (*) [link]
Shin-ya Katsumata (University of Edinburgh), Atsushi Ohori (Japan Advanced Insitute of Science and Technology)
European Symposium on Programming, April 2001
16:45-17:55
PPL-SPA合同招待講演
ユービキタスコンピューティング環境におけるセキュリティ
Frank Stajano (東芝)

2月23日(金)

8:40-10:10
オブジェクト指向言語によって記述された、携帯電話・PDAのアプリケーション プログラム圧縮方式 [PS]
関口 龍郎, 大岩 寛, 米澤 明憲 (東京大学)
DynJava: Type Safe Dynamic Code Generation in Java. [PDF]
Yutaka Oiwa, Hidehiko Masuhara and Akinori Yonezawa (University of Tokyo).
Run-time Bytecode Specialization: A Portable Approach to Generating Optimized Specialized Code. (*) [link]
Hidehiko Masuhara and Akinori Yonezawa (Univesity of Tokyo).
Second Symposium on Programs as Data Objects, May 2001
10:30-12:00
プロセス代数π-計算の自己記述 [PS]
河辺 義信, 真野 健 (NTTコミュニケーション)
コンティニュエーションのデータ化を用いた探索アルゴリズムの並列化 [PDF]
渡辺 一郎, 村上 昌己 (岡山大学)
Computational Dimension of Topological Spaces. (*) [link]
Hideki Tsuiki (Kyoto University).
Fourth Workshop on Computability and Complexity in Analysis, September 2000
12:00-12:20 論文賞表彰
発表賞発表・表彰
閉会挨拶