jssst sig-ppl

第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011）

プログラム

[home]
・PPL2011に関するTwitterハッシュタグには， #ppl2011 をお使いください．
・講演および発表の様子をUstreamの ppl2011チャンネル でライブ配信する予定です．
　（現地のインターネット事情等によっては断念することもあります．また，一部の発表については配信されません．）
[ 1日目 | 2日目 | 3日目 ]
1日目: 2011年3月9日(水)
13:45 - 13:55 オープニング
13:55 - 15:10 セッション1 − 座長: 馬谷 誠二 (京都大学)
Java における適切な同期機構の選択システム [C1]
山田 佑二, 鵜川 始陽, 岩崎 英哉 (電気通信大学)
生存区間を変数名とする中間表現の実装と, それに基づく最適化 [C1]
高橋 和将, 森畑 明昌, 上野 雄大, 大堀 淳 (東北大学)
A Study of Java's Non-Java Memory [C2]
Kazunori Ogata, Dai Mikurube, Kiyokuni Kawachiya, Scott Trent, Tamiya Onodera (IBM Research)
出典: 25th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), pp. 191-204, 2010
15:10 - 15:30 休憩
15:30 - 16:30 セッション2: 招待講演 − 座長: 河内谷 清久仁 (日本IBM東京基礎研究所)
将棋プログラムの大規模並列実行 [招待講演]
田中 哲朗 (東京大学情報基盤センター)
16:30 - 16:50 休憩
16:50 - 18:30 セッション3 − 座長: 亀山 幸義 (筑波大学)
条件論理 Cb とそのタブローシステム [C1]
尾崎 有梨, 戸次 大介 (お茶の水女子大学)
先読み付き正規表現の効率の良いマッチングアルゴリズム [C1]
森畑 明昌 (東北大学)
メタラムダ計算の圏論的意味論 [C1]
増子 萌, 戸次 大介 (お茶の水女子大学)
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes [C2]
Naoki Kobayashi (Tohoku University)
出典: 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011), to appear
18:30 - 20:30 夕食
20:30 - 22:00 セッション4: ポスター・デモ1
型システムによる高階木変換器の逆像計算 [C3 (ポスター)]
塚田 武志, 松田 一孝 (東北大学)
MoCHi: 高階関数型プログラム用モデル検査器 [C3 (デモ)]
佐藤 亮介, 海野 広志, 小林 直樹 (東北大学)
オブジェクトを移動させない，関数型言語に適したビットマップマーキングガベージコレクションの提案 [C3 (ポスター)]
大友 聡顕, 上野 雄大, 大堀 淳 (東北大学)
コンパイラ内部機能を利用したプログラム開発環境の構築 [C3 (ポスター・デモ)]
齋藤 啓太, 上野 雄大, 大堀 淳 (東北大学)
正規表現マッチングのトランスデューサへの変換 [C3 (ポスター)]
佐久間 雄和*, 南出 靖彦*, Andrei Voronkov** (*筑波大学, **マンチェスター大学)
コントロールオペレータ control/prompt を用いた nested shift/reset のマクロ表現 [C3 (ポスター)]
高島 尚希 (筑波大学)
証明支援系 Coq における対話的修正機構の提案 [C3 (ポスター)]
森口 草介, 渡部 卓雄 (東京工業大学)
総称型に対応した拡張型緩和織込機構の提案 [C3 (ポスター)]
当山 学*, 青谷 知幸**, 増原 英彦* (*東京大学, **北陸先端科学技術大学院大学)
GPGPU プログラミングのための Ruby 言語処理系 [C3 (ポスター)]
西口 裕介 (東京大学)
操作の一意性の推論形式からの自動判定 [C3 (ポスター)]
中村 宇佑 (東京大学)
スキーマを持った実行可能なデータ形式 [C3 (ポスター)]
大谷 桂介 (東京工業大学)
ビジュアルプログラミング言語とプログラム変換 [C3 (ポスター)]
吉永 卓矢, 脇田 建 (東京工業大学)
構文マクロ定義を利用したプログラム整形システム [C3 (ポスター)]
甫水 佳奈子 (東京工業大学)
分散 JavaScript 言語による Web アプリケーションの効率的な開発 [C3 (ポスター)]
加藤 真人 (東京工業大学)
プログラムの更新を可能とする Checkpoint/Restart 機構 [C3 (ポスター)]
室井 雅仁, 鵜川 始陽, 岩崎 英哉 (電気通信大学)
仮想化支援技術を用いた純関数型言語による仮想マシンモニタの設計 [C3 (ポスター)]
加藤 瞬, 岩崎 英哉 (電気通信大学)
探索アルゴリズムのための非決定性オペレータの実装 [C3 (ポスター)]
金子 ちひろ, 浅井 健一 (お茶の水女子大学)
Emacs における対話的な型デバッガの実装と改良 [C3 (デモ)]
対馬 かなえ (お茶の水女子大学)
部分方向性組み合わせ論理の計算論的性質 [C3 (ポスター)]
尾崎 博子, 戸次 大介 (お茶の水女子大学)
前提記述のための動的論理の証明論構築に向けて [C3 (ポスター)]
石下 裕里, 戸次 大介 (お茶の水女子大学)
階層グラフ書換え言語 LMNtal における管理アトムの処理 [C3 (ポスター)]
目黒 学, 中川 遼平, 上田 和紀 (早稲田大学)
ハイブリッドシステムモデリング言語 HydLa の処理系による非決定性の扱い [C3 (ポスター)]
松本 翔太*, 高田 賢士郎*, 細部 博史**, 上田 和紀* (*早稲田大学, **国立情報学研究所)
OCaml によるスマートフォン向け動的 Web ページの開発事例 [C3 (ポスター・デモ)]
今井 敬吾*, 今井 宜洋*, 小笠原 啓*, 結縁 祥治** (*有限会社ITプランニング，**名古屋大学)
形式手法を含む言語教育の成果と課題 [C3 (ポスター)]
小川 清, 斉藤 直希 (名古屋市工業研究所)
例外機構を持つ型付きラムダ計算におけるパラメトリシティ [C3 (ポスター)]
大里 陽一, 五十嵐 淳, 中澤 巧爾 (京都大学)
多相型と存在型に対する型検査問題の同値性 [C3 (ポスター)]
加藤 祐輝, 中澤 巧爾 (京都大学)
Safe アンビエントに基づく分散アプリケーション開発用 Lisp 環境 [C3 (ポスター・デモ)]
林 奉行, 馬谷 誠二, 八杉 昌宏, 湯淺 太一 (京都大学)
[ 1日目 | 2日目 | 3日目 ]
2日目: 2011年3月10日(木)
9:00 - 10:00 セッション5: 招待講演 − 座長: 浅井 健一 (お茶の水女子大学)
線形論理とラムダ計算の計算量 [招待講演]
照井 一成 (京都大学数理解析研究所)
10:00 - 10:20 休憩
10:20 - 12:00 セッション6 − 座長: 稲葉 一浩 (国立情報学研究所)
基底項書き換え系の多項式時間合流性判定法の改良 [C1]
村井 正勝, 青戸 等人, 外山 芳人 (東北大学)
多項式サイズ正規形を保証する項書き換えシステムの経路順序 [C1]
磯部 耕己, 青戸 等人, 外山 芳人 (東北大学)
Verification of Tree-Processing Programs via Higher-Order Model Checking [C2]
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi (Tohoku University)
出典: 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), pp. 312-327, 2010
General Bindings and Alpha-Equivalence in Nominal Isabelle [C2]
Christian Urban*, Cezary Kaliszyk** (*TU Munich, **University of Tsukuba)
出典: 20th European Symposium on Programming (ESOP 2011), to appear
12:00 - 13:30 昼食
13:30 - 14:45 セッション7 − 座長: 横山 大作 (東京大学)
A Homomorphism-based Framework for Systematic Parallel Programming with MapReduce [C1]
Yu Liu*, Zhenjiang Hu** (*The Graduate University for Advanced Studies, **National Institute of Informatics)
標準 Java 仮想機械上で動的にメンバーの追加を行う機構の提案 [C1]
早船 総一郎, 千葉 滋 (東京工業大学)
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch [C2]
Shigeru Chiba*, Atsushi Igarashi**, Salikh Zakirov* (*Tokyo Institute of Technology, **Kyoto University)
出典: 25th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), pp. 539-554, 2010
14:45 - 15:10 休憩
15:10 - 16:50 セッション8 − 座長: 磯部 祥尚 (産業技術総合研究所)
模倣に基づくグラフスキーマを利用したビュー更新可能性判定 [C1]
中野 圭介*, 日高 宗一郎**, 胡 振江**, 稲葉 一浩**, 加藤 弘之** (*電気通信大学, **国立情報学研究所)
An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions [C1]
Kento Emoto (University of Tokyo)
Bidirectionalizing Graph Transformations [C2]
Soichiro Hidaka*, Zhenjiang Hu*, Kazuhiro Inaba*, Hiroyuki Kato*, Kazutaka Matsuda**, Keisuke Nakano*** (*National Institute of Informatics, **Tohoku University, ***The University of Electro-Communications)
出典: 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), pp. 205-216, 2010
Calculating Tree Navigation with Symmetric Relational Zipper [C2]
Yuta Ikeda, Susumu Nishimura (Kyoto University)
出典: 20th ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM 2011), pp. 101-110, 2011
16:50 - 17:15 休憩
17:15 - 18:30 セッション9 − 座長: 今井 宜洋 (ITプランニング)
Haskellによる拡張性の高いプレゼンテーション・システム [C1]
今村 悠, 岩崎 英哉 (電気通信大学)
宣言的記述からの関数型言語によるゲームプログラムの導出 [C1]
松島 勇介, 上野 雄大, 森畑 明昌, 大堀 淳 (東北大学)
MikiBeta : A General GUI Library for Visualizing Proof Trees --- System Description and Demonstration --- [C2]
Kanako Sakurai, Kenichi Asai (Ochanomizu University)
出典: 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), LNCS, to appear
18:30 - 20:30 夕食
20:30 - 22:00 セッション10: ポスター・デモ2
Java 言語のための暗黙的に型定義される構造体 [C3 (ポスター)]
大久保 貴司, 千葉 滋 (東京工業大学)
IDE を活用した言語機構に頼らないコード再利用のためのモジュール化 [C3 (ポスター)]
寺本 裕基, 武山 文信, 千葉 滋 (東京工業大学)
内部ドメイン専用言語支援のための型に連動した字句・構文ルールの変更機構 [C3 (ポスター)]
市川 和央, 千葉 滋 (東京工業大学)
機能モジュールの合成コードのより良いモジュール化に向けて [C3 (ポスター)]
武山 文信, 千葉 滋 (東京工業大学)
細かい粒度でコードの再利用を可能とするメソッド内メソッドの Java 言語への導入 [C3 (ポスター)]
平松 俊樹 (東京工業大学)
プログラム構造に強く依存しないポイントカットの提案 [C3 (ポスター)]
伊尾木 将之 (東京工業大学)
プログラムの織り込み関係を可視化するアウトラインビューの提案と実装 [C3 (ポスター)]
大谷 晃司 (東京工業大学)
量子プロトコルの形式的検証のための観測同値 [C3 (ポスター)]
久保田 貴大, 角谷 良彦 (東京大学)
Coq を用いた Hadoop MapReduce アプリケーションの仕様記述とプログラム抽出 [C3 (ポスター)]
小野 洸亮*, 田辺 良則**, 谷 幹也***, 中野 雄介*, 野田 夏子***, 萩谷 昌己*, 平井 洋一*, 細野 繁***, 蒔原 省吾* (*東京大学, **国立情報学研究所, ***日本電気株式会社)
型に場所がついた計算体系 [C3 (ポスター)]
木村 大輔*, 角谷 良彦** (*NII, **東京大学)
コレクションデータのパターンマッチ [C3 (ポスター)]
江木 聡志 (東京大学)
対称λ計算と古典論理 Reloaded [C3 (ポスター)]
上田 やよい (お茶の水女子大学)
AlGoL: プログラミング言語の基礎を学ぶアプリケーションの提案 [C3 (ポスター・デモ)]
対馬 かなえ, 増子 萌 (お茶の水女子大学)
Automatic Parallelization via Matrix Multiplication [C3 (ポスター)]
Shigeyuki Sato, Hideya Iwasaki (The University of Electro-Communications)
Haskell で記述した仮想マシンモニタの評価 [C3 (ポスター)]
大山 恵弘, 岩崎 英哉 (電気通信大学)
Haskell による拡張性の高いプレゼンテーション・システム [C3 (デモ)]
今村 悠, 岩崎 英哉 (電気通信大学)
スクリプト言語向けスタックベース GC と Lua への実装 [C3 (ポスター)]
小室 直, 阿部 公輝 (電気通信大学)
並行処理記述のための DynAlloy の拡張 [C3 (ポスター・デモ)]
岩塚 卓弥, 結縁 祥治 (名古屋大学)
CONPASU: 記号処理に基づく並行プロセスの状態数削減ツール [C3 (ポスター・デモ)]
磯部 祥尚 (産業技術総合研究所)
OCaml への GADT の導入 [C3 (ポスター・デモ)]
Jacques Garrigue, Jacques Le Normand (名古屋大学)
制約付き項書換え系における木準同型写像を用いた等価性証明ツール [C3 (ポスター・デモ)]
高桑 一也, 西田 直樹, 大場 康司, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗 (名古屋大学)
難解言語 Malbolge におけるプログラミング環境の構築と改良 [C3 (ポスター・デモ)]
長坂 哲, 安藤 聡, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 西田 直樹 (名古屋大学)
難解言語 Malbolge における高級アセンブリ言語への加算命令の追加 [C3 (ポスター・デモ)]
安藤 聡, 長坂 哲, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 西田 直樹 (名古屋大学)
モナド的意味論の比較問題について [C3 (ポスター)]
勝股 審也 (京都大学)
確率的オートマトンにおける決定的スケジューラのための非決定的確率的モナド [C3 (ポスター)]
佐藤 哲也 (京都大学)
分離論理を用いた，C 言語プログラムの機械的検証 [C3 (ポスター)]
アフェルト レナルド*, 山田 聖** (*産業技術総合研究所, **株式会社レピダム)
Java 経験者を対象とした関数型プログラム学習支援環境の開発 [C3 (ポスター)]
佐藤 功二, 高田 喜朗 (高知工科大学)
[ 1日目 | 2日目 | 3日目 ]
3日目: 2011年3月11日(金)
9:00 - 10:15 セッション11 − 座長: 岩崎 英哉 (電気通信大学)
暗に型付けられた関数型言語に対する変数名補完方式の提案 [C1]
後藤 拓実, 篠埜 功 (芝浦工業大学)
Kide: 開発環境によるオブジェクト指向言語でのアスペクト指向開発の支援 [C1]
金澤 圭, 堀江 倫大, 千葉 滋 (東京工業大学)
EventCJ: A Context-Oriented Programming Language with Declarative Event-based Context Transition [C2]
Tetsuo Kamina*, Tomoyuki Aotani**, Hidehiko Masuhara* (*University of Tokyo, **Japan Advanced Institute of Science and Technology)
出典: 10th Annual Aspect-Oriented Software Development Conference (AOSD 2011), to appear
10:15 - 10:40 休憩
10:40 - 11:55 セッション12 − 座長: 森畑 明昌 (東北大学)
名前渡しプロセス計算における優先度ガード [C1]
結縁 祥治, 太田 正悟 (名古屋大学)
エフェクトを持つマルチステージ計算体系の型推論 [C1]
小鍛治 雄一郎, 亀山 幸義 (筑波大学)
Polymorphic Contracts [C2]
Joao Filipe Belo*, Michael Greenberg*, Atsushi Igarashi**, Benjamin C. Pierce* (*University of Pennsylvania, **Kyoto University)
出典: 20th European Symposium on Programming (ESOP 2011), to appear
11:55 - 12:20 休憩
12:20 - 13:00 クロージング
=