第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004)プログラム

主催：日本ソフトウェア科学会、プログラミング論研究会

一部の論文は、著者の都合でオンラインで提供されておりません。

３月１１日（木）

13:00-13:50 受付

13：50-15：40 型とコンパイル座長：細谷晴夫 (東京大学)

A Fresh Look at Pattern Matching Compilation

大堀淳, 纓坂智 (北陸先端科学技術大学院大学)

Typing deep pattern-matching in presence of polymorphic variants

Jacques Garrigue (京都大学数理解析研究所)

データ構造に着目したコンパイラ最適化の形式化

佐々木真弓, 浅井健一 (お茶の水女子大学)

Generics・Union 型を導入したオブジェクト指向計算体系

柳楽秀士, 五十嵐淳 (京都大学)

15:55-17:05 プログラム解析 -実装- 座長：小川瑞史 (北陸先端科学技術大学院大学)

C言語のための現実的なポインタ解析

関口龍郎 (東京大学)

Javaプログラム最適化の宣言的記述とその効率的な実装

番伸宏, 胡振江, 筧一彦, 武市正人 (東京大学)

17:20-18:30 プログラム解析 -型- 座長：五十嵐淳 (京都大学)

A Type System for Optimization Verifying Compilers

松野裕, 佐藤周行 (東京大学)

Selective Tail Call Elimination (SAS '03)

南出靖彦 (筑波大学)

20:15-22:00 ショートセッション

ショートセッション

プログラム変換のための項書き換え系照合アルゴリズム

千葉勇輝, 青戸等人, 外山芳人 (東北大学電気通信研究所)

書き換え帰納法によるプログラム融合変換

坂本邦彦, 青戸等人, 外山芳人 (東北大学電気通信研究所)

AC単調意味論経路順序に関する反例

落合秀幸, 青戸等人, 外山芳人 (東北大学電気通信研究所)

Coqのための型推論プログラム生成ライブラリの構築についての研究

立花健 (東京工業大学)

Isabelle/HOLによる最適化の正当性の証明（第一歩）

山元かおり, 浅井健一 (お茶の水女子大学)

最大マーク付け問題のデータベース問い合わせへの応用

大堀淳, 篠埜功, 田島敬史 (北陸先端科学技術大学院大学)

純作用型XMLカーソル

稲葉一浩 (東京大学)

オフライン部分評価の実装

鈴木歩, 長崎玲 (お茶の水女子大学)

コンパイラ・インフラストラクチャを用いた静的単一代入形式最適化と変換の研究

佐々政孝, 立川英, 小濱真樹 (東京工業大学)

Javaにおけるファイナライザの自動生成に関する研究

大木憲二 (東京工業大学)

SCにおけるマルチスレッド機能の実現と評価

李暁ろ (京都大学)

ViscuitとViscuitLand

原田康徳 (NTT CS基礎研究所)

Build Your Own Search Engine -- 連想検索エンジンGETAを用いたワインデータベース検索 --

小川瑞史 (北陸先端科学技術大学院大学), 村上拓真 (東京大学)

３月１２日（金）

8:40-10:25 計算モデル座長：長谷川立 (東京大学)

A Bisimulation for Dynamic Sealing (POPL '04)

Eijiro Sumii and Benjamin C. Pierce (University of Pennsylvania)

A Sound and Complete Axiomatization for Delimited Continuations (ICFP '03)

亀山幸義 (筑波大学/JST), 長谷川真人 (京都大学/JST)

A Direct Proof of Strong Normalization for an Extended Herbelin's Calculus (FLOPS '04)

菊地健太郎 (千葉大学)

10:40-12:15 Java 座長：増原英彦 (東京大学)

Effectiveness of Cross-Platform Optimizations for Java Just-In-Time Compiler

石崎一明 (日本アイ・ビー・エム)

スライド

Living with Reflection

立堀道昭 (IBM東京基礎研究所)

13:15-15:00 アスペクト指向座長：石崎一明 (日本アイ・ビー・エム)

Association Aspects (AOSD '04)

櫻井孝平 (芝浦工業大学), 増原英彦 (東京大学), 鵜林尚靖 (九州工業大学), 松浦佐江子, 古宮誠一 (芝浦工業大学)

Remote Pointcut -- A Language Construct for Distributed AOP (AOSD '04)

Muga Nishizawa, Shigeru Chiba (東京工業大学), and Michiaki Tatsubori (IBM東京基礎研究所)

部分評価を使った自己反映言語のコンパイル

中川　理恵, 浅井　健一 (お茶の水女子大学)

15:15-17:00 XML 座長：関浩之 (奈良先端科学技術大学院大学)

Regular Expression Filters for XML (PLAN-X '04)

Haruo Hosoya (The University of Tokyo)

順序付き線形型に基づく木構造処理プログラムからストリーム処理プログラムへの変換

児玉紘一, 小林直樹 (東京工業大学), 末永幸平 (東京大学)

On Binary Tree Logic for XML and Its Satisfiability Test

戸沢晶彦 (IBM東京基礎研究所)

17:15-18:50 検索エンジンの実装座長：湯淺太一 (京都大学)

The Design of the Generic Engine for Transposable Associateion (汎用連想計算エンジン GETA の実装)

西岡真吾 (東京大学)

スライド

An Algebraic Interface for GETA Search Engine

Takuma Murakami, Zhenjiang Hu, Shingo Nishioka, Akihiko Takano, Masato Takeichi (東京大学)

20:30-22:00 ポスター＆デモンストレーション

ポスター

バイトコード言語の仕様記述に対するselective inliningの適用

内山雄司 (東京工業大学)

XC-cube共有メモリ向けプリミティブのIA-64上の実装

大林竜太 (京都大学)

参照カウント方式ごみ集めにおけるZCT技法の改良

藤田武雄 (京都大学)

継続生成時遅延スタックコピーにおける書込みバリア静的除去

米田匡史 (京都大学)

メモリ上の配置を意識した並列アルゴリズムの実験と性能評価

湊大助 (京都大学)

Java並行プログラムのための契約デザインの拡張

松下聖志, 結縁祥治, 阿草清滋 (名古屋大学, JST)

XML変換言語XTiSPの実装とその応用

中野圭介 (東京大学)

Java並行プログラムの共有メモリ方式のための効率的なモデル検査法

深谷直彦, 結縁祥治, 阿草清滋 (名古屋大学, JST)

Object-Oriented Module System with Mutual References

中田景子, 伊藤徹 (京都大学)

デモンストレーション

ViscuitとViscuitLand

原田康徳 (小川瑞史が代理発表) (NTT CS基礎研究所)

Fail-Safe C

大岩 (東京大学)

GETA

西岡真吾 (東京大学)

XS: Lisp on Lego MindStorms

湯浅太一 (京都大学)

LMNtal

上田和紀 (早稲田大学)

GETA（文化財データベース：物集もずめ）

高野明彦 (国立情報学研究所)

APLAS 2003 報告

大堀淳 (北陸先端科学技術大学院大学)

色覚異常シミュレータと色覚異常者向け再配色システム

脇田建 (東京工業大学)

３月１３日（土）

8:40-9:40 意味論座長：外山芳人 (東北大学電気通信研究所)

Recursive Programs in the Abstract

長谷川真人 (京都大学数理解析研究所/JST)

スライド

9:50-11:00 言語処理系の実装座長：脇田建 (東京工業大学)

XS: Lisp on Lego MindStorms (ILC '03)

湯浅太一 (京都大学)

Nepi: π計算に基づくプログラミングシステム

真野健, 河辺義信 (NTT CS基礎研)

11:10-12:40 並行プロセスの言語座長：結縁祥治 (名古屋大学)

A Type System and Compilation Techniques for Concurrent Objects

八杉昌宏 (京都大学)

LMNtalにおけるルールセット不変性の検査

圷弘明, 加藤紀夫, 上田和紀 (早稲田大学)

並行言語モデルLMNtalにおけるプロセス構造の解析

加藤紀夫, 上田和紀 (早稲田大学)

12:35-13:00 閉会

PPL 2004