PPL 2020: 第22回プログラミングおよびプログラミング言語ワークショップ
PROGRAM

Days: Monday, March 2nd Tuesday, March 3rd Wednesday, March 4th

Monday, March 2nd

View this program: with abstractssession overviewtalk overview

14:45-16:00 Session 2: 基礎理論
Chair:
Daisuke Kimura (Toho University, Japan)
14:45
有輝 加賀谷 (新潟大学, Japan)
等人 青戸 (新潟大学, Japan)
[C1] 条件付き項書き換えシステムの階層合流性証明法 (abstract)
15:10
智輝 白石 (新潟大学, Japan)
等人 青戸 (新潟大学, Japan)
健太郎 菊池 (東北大学, Japan)
[C1] 項書き換えシステムにおける局所十分完全性の証明法 (abstract)
15:35
康介 福井 (NAGOYA University, Japan)
巧爾 中澤 (NAGOYA University, Japan)
沙織 石井 (NAGOYA University, Japan)
祥治 結縁 (NAGOYA University, Japan)
[C1] 古典論理に対する汎用的自然演繹の証明正規化 (abstract)
16:15-17:15 Session 3: 新しいプログラミング
Chair:
Taro Sekiyama (National Institute of Informatics, Japan)
16:15
Alex Potanin (Victoria University of Wellington, New Zealand)
[C4] Wyvern: A Language for Usable Design-Driven Assurance (abstract)
16:55
聡志 江木 (楽天技術研究所・東京大学, Japan)
友一 西脇 (東京大学, Japan)
[C2] Functional Programming in Pattern-Match-Oriented Programming Style (abstract)
17:35-18:40 Session 4: プログラム生成
Chair:
Tetsuo Kamina (Oita University, Japan)
17:35
啓太 竹之内 (NTTデータ, Japan)
譲二 岡田 (NTTデータ, Japan)
隆 石尾 (奈良先端科学技術大学院大学, Japan)
祐司 坂田 (NTTデータ, Japan)
[C1] 出力例を制約に用いたボトムアップなSQLクエリの合成 (abstract)
18:00
Tetsuro Yamazaki (The University of Tokyo, Japan)
Tomoki Nakamaru (The University of Tokyo, Japan)
Kazuhiro Ichikawa (The University of Tokyo, Japan)
Shigeru Chiba (The University of Tokyo, Japan)
[C2] Generating a Fluent API with Syntax Checking from an LR Grammar (abstract)
18:20
Tomoki Nakamaru (The University of Tokyo, Japan)
Shigeru Chiba (The University of Tokyo, Japan)
[C2] Generating a Generic Fluent API in Java (abstract)
20:00-22:00 Session 5: ポスター・デモ
Chair:
Ryosuke Sato (Kyushu University, Japan)
20:00
Taine Zhao (Department of Computer Science, University of Tsukuba, Japan)
Yukiyoshi Kameyama (Department of Computer Science, University of Tsukuba, Japan)
Quick and Reusable Code Generation for Idris (abstract)
20:00
梨紗 守本 (お茶の水女子大学, Japan)
健一 浅井 (お茶の水女子大学, Japan)
OCaml Blocklyを使用した代数教材の作成(ポスター・デモ) (abstract)
20:00
知紀 坂上 (筑波大学院システム情報工学研究科, Japan)
敦司 前田 (筑波大学システム情報系, Japan)
Packrat ParserライブラリWoodrat用アルゴリズミックデバッガの実装 (abstract)
20:00
悠稀 佐藤 (新潟大学, Japan)
等人 青戸 (新潟大学, Japan)
フラット項書き換えシステムの簡約に関する一意正規形性の決定不能性(ポスター) (abstract)
20:00
司 後藤 (東京工業大学, Japan)
卓雄 渡部 (東京工業大学, Japan)
草介 森口 (東京工業大学, Japan)
WSAN向けマクロプログラミング言語の提案(ポスター) (abstract)
20:00
莉菜 高越 (お茶の水女子大学, Japan)
健一 浅井 (お茶の水女子大学, Japan)
OCaml Blockly のキー操作実装(ポスター) (abstract)
20:00
侑祐 伊澤 (東京工業大学 数理・計算科学系, Japan)
英彦 増原 (東京工業大学 数理・計算科学系, Japan)
Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (abstract)
20:00
雄太 山本 (東京大学大学院情報理工系研究科, Japan)
依存型付き微分λ計算 (ポスター) (abstract)
20:00
健太 浜中 (総合研究大学院大学(NII), Japan)
真 龍田 (NII, Japan)
分離論理を用いた再帰プログラムのメモリ安全性検査 (abstract)
20:00
西山 舜 (電気通信大学, Japan)
中野 圭介 (東北大学, Japan)
スタック機構を搭載する木変換器(ポスター) (abstract)
20:00
河田 旺 (京都大学, Japan)
江木 聡志 (楽天技術研究所 / 東京大学, Japan)
Formalized Egison − Egisonの型安全性のCoqによる証明に向けて(ポスター・デモ) (abstract)
20:00
Hideyuki Nishida (The University of Tokyo, Japan)
Shigeru Chiba (The University of Tokyo, Japan)
計算化学に向けたリファクタリング容易なドメイン特化言語のためのデザインの検討 (abstract)
20:00
智哉 樫福 (筑波大学, Japan)
広志 海野 (筑波大学, Japan)
モデルの層化によるロバストなプログラム合成(ポスター・デモ) (abstract)
20:00
裕大 田辺 (東京工業大学, Japan)
Luthfan Anshar Lubis (東京工業大学, Japan)
知幸 青谷 (株式会社 豆蔵, Japan)
英彦 増原 (東京工業大学, Japan)
コエフェクト多相性に基づいた版多相性の実現 (abstract)
20:00
純弥 能勢 (東京工業大学, Japan)
悠悠 叢 (東京工業大学, Japan)
英彦 増原 (東京工業大学, Japan)
デザインレシピに沿ったプログラミング環境の実装 (abstract)
20:00
祐太 平澤 (電気通信大学, Japan)
英哉 岩崎 (電気通信大学, Japan)
始陽 鵜川 (高知工科大学, Japan)
保真 高野 (北里大学, Japan)
型ディスパッチコード最適化のためのJavaScript処理系記述用DSLの型推論(ポスター) (abstract)
20:00
Yosuke Fukuda (Kyoto University, Japan)
Homoiconic Lisp (abstract)
20:00
宇路 潘 (東京大学大学院情報理工学系研究科コンピュータ科学専攻, Japan)
友一 西脇 (東京大学大学院情報理工学系研究科コンピュータ科学専攻, Japan)
unsafe Rustプログラムの半自動正当性検証 (abstract)
20:00
Ayami Hashimoto (Waseda University, Japan)
Yutaro Tsunekawa (Waseda University, Japan)
Kazunori Ueda (Waseda University, Japan)
グラフ書き換え言語 LMNtal による時間オートマトンに基づくリアルタイムシステムの状態空間構築 (ポスター) (abstract)
20:00
博史 細部 (法政大学, Japan)
Processingプログラムにおけるイベント処理のユニットテスト手法(ポスター) (abstract)
20:00
桃子 服部 (東京大学, Japan)
直樹 小林 (東京大学, Japan)
亮介 佐藤 (九州大学, Japan)
武志 塚田 (東京大学, Japan)
関数型プログラムの到達可能性検証のためのプログラムスライシング(ポスター) (abstract)
20:00
渚 小島 (広島市立大学情報科学研究科, Japan)
知江美 橋本 (広島市立大学情報科学部, Japan)
和之 島 (広島市立大学情報科学研究科, Japan)
継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の実演(ポスター・デモ) (abstract)
20:00
修司 木下 (産業技術大学院大学, Japan)
関係代数及び関係データベースのAgdaによる定式化 (abstract)
20:00
茉友子 郡 (東京大学, Japan)
武志 塚田 (東京大学, Japan)
直樹 小林 (東京大学, Japan)
不動点算術の循環証明体系 (ポスター) (abstract)
20:00
悠悠 叢 (Tokyo Institute of Technology, Japan)
Agda による対位法の定式化 (abstract)
20:00
聡志 江木 (楽天技術研究所 / 東京大学, Japan)
パターンマッチ指向証明記述言語: Egisonパターンマッチをもちいた証明記述 (abstract)
20:00
信宏 笠井 (芝浦工業大学工学部情報工学科, Japan)
功 篠埜 (芝浦工業大学工学部情報工学科, Japan)
パッケージマネージャにおけるパッケージの依存関係の事前計算によるパッケージ取得時間の短縮(ポスター・デモ) (abstract)
20:00
友明 小林 (Tohoku University, Japan)
Oleg Kiselyov (Tohoku University, Japan)
より清浄なstream fusion(ポスター・デモ) (abstract)
20:00
Ryotaro Kasuga (Tokyo Institute of Technology, Japan)
Katsuhiko Gondow (Tokyo Institute of Technology, Japan)
Yoshitaka Arahori (Tokyo Institute of Technology, Japan)
Typestate 解析を応用した静的解析に よる 分散並行システムのバグの検出. (abstract)
20:00
洸佑 青木 (名古屋大学, Japan)
巧爾 中澤 (名古屋大学, Japan)
大輔 木村 (東邦大学, Japan)
分離論理におけるエンテイルメント証明器の入力に対する制限の緩和(ポスター) (abstract)
20:00
遼 脇坂 (京都大学工学部情報学科, Japan)
淳 五十嵐 (京都大学 大学院情報学研究科, Japan)
量子プログラムのための依存型を用いた coupling graph 解析(ポスター) (abstract)
20:00
義孝 櫻井 (東京工業大学, Japan)
草介 森口 (東京工業大学, Japan)
卓雄 渡部 (東京工業大学, Japan)
FRPによるGPU上の計算の実現(ポスター) (abstract)
20:00
有倫 松村 (東京工業大学, Japan)
卓雄 渡部 (東京工業大学, Japan)
状態遷移を表現する組込みシステム向けFRP言語の設計(ポスター) (abstract)
20:00
章紀 木戸 (電気通信大学, Japan)
常康 小宮 (電気通信大学, Japan)
TypeScriptにおける型定義を切り替え可能な型検査補助ツールの実装(ポスター・デモ) (abstract)
20:00
康史 安田 (神奈川大学, Japan)
弘毅 西澤 (神奈川大学, Japan)
仁 古澤 (鹿児島大学, Japan)
Preorders, partial semigroups, and quantales (abstract)
20:00
Shuntaro Katsuda (Kyoto University, Japan)
Atsushi Igarashi (Kyoto University, Japan)
依存型を備えた多段階計算の同値型による拡張(ポスター) (abstract)
20:00
Ran Chen (Kyoto University, Japan)
Hiromasa Saito (Kyoto University, Japan)
Akira Kawata (Kyoto University, Japan)
Yuki Nishida (Kyoto University, Japan)
Atsushi Igarashi (Kyoto University, Japan)
Kohei Suenaga (Kyoto University, Japan)
Jun Furuse (DaiLambda, Inc., Japan)
ReFX: 型に基づくスマートコントラクト自動検証器(ポスター・デモ) (abstract)
20:00
雄太 関口 (The University of Electro-Communications, Japan)
常康 小宮 (The University of Electro-Communications, Japan)
アサーションを取り入れた静的解析に基づくデバッグ支援ツール (abstract)
20:00
意渓 祁 (芝浦工業大学, Japan)
功 篠埜 (芝浦工業大学, Japan)
遺伝的アルゴリズムを用いた最短経路探索における交叉手法開発(ポスター) (abstract)
20:00
有軌 飯野 (神戸大学大学院 システム情報学研究科, Japan)
直之 田村 (神戸大学 情報基盤センター, Japan)
剛秀 宋 (神戸大学 情報基盤センター, Japan)
睦則 番原 (名古屋大学大学院 情報学研究科, Japan)
克巳 井上 (国立情報学研究所 情報学プリンシプル研究系, Japan)
解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター) (abstract)
20:00
智貴 中丸 (東京大学, Japan)
トークン列に対する曖昧検索技術の検討(ポスター) (abstract)
Tuesday, March 3rd

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 6: 招待講演
Chair:
Akimasa Morihata (The University of Tokyo, Japan)
09:00
関 浩之 (名古屋大学, Japan)
データ値を扱うオートマトンと文法 (abstract)
10:15-11:05 Session 7: プログラム解析
Chair:
Tatsuya Abe (STAIR Lab, Chiba Institute of Technology, Japan)
10:15
江奈 冨永 (東京工業大学, Japan)
喜貴 荒堀 (東京工業大学, Japan)
克彦 権藤 (東京工業大学, Japan)
[C1] イベント駆動コードの差分解析を可能にするパス探査経験則 (abstract)
10:40
和義 矢杉 (京都大学, Japan)
淳 五十嵐 (京都大学, Japan)
[C1] スタック領域上での時間的メモリ安全性を保証する静的解析手法 (abstract)
11:20-12:10 Session 8: 正規表現とオートマトン
Chair:
Ryoma Sin'Ya (Akita University, Japan)
11:20
守 石塚 (新潟大学, Japan)
等人 青戸 (新潟大学, Japan)
宗弘 岩見 (島根大学, Japan)
[C1] 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用 (abstract)
11:45
和也 高橋 (東京工業大学 情報理工学院, Japan)
靖彦 南出 (東京工業大学 情報理工学院, Japan)
[C1] 正規表現マッチングの計算量解析ツールの拡張と高速化 (abstract)
13:30-14:30 Session 9: 招待講演
Chair:
Tasuku Hiraishi (Kyoto University, Japan)
13:30
石川 冬樹 (NII, Japan)
AI・自動運転時代のプログラミング技術への期待 (abstract)
14:45-16:00 Session 10: 最適化
Chair:
Kento Emoto (Faculty of Computer Science and Systems Engineering, Kyushu Institute of Technology, Japan)
14:45
祥平 森 (九州工業大学情報工学部知能情報工学科, Japan)
昌宏 八杉 (九州工業大学大学院情報工学研究院, Japan)
始陽 鵜川 (高知工科大学情報学群, Japan)
[C1] JITコンパイルにおけるコード配置効果の研究 (abstract)
15:10
拓 小野澤 (電気通信大学, Japan)
英哉 岩崎 (電気通信大学, Japan)
[C1] アプリケーションと実行環境に適応したカスタマイズ可能なJavaScript処理系 (abstract)
15:35
雄大 上野 (東北大学電気通信研究所, Japan)
[C1] 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式 (abstract)
16:15-17:30 Session 11: 証明支援
Chair:
Kensuke Kojima (Kyoto University, Japan)
16:15
康佑 村田 (九州工業大学, Japan)
健斗 江本 (九州工業大学, Japan)
[C1] Coq における Hylomorphism を用いたプログラム運算の検証に向けて (abstract)
16:40
Kazuhiko Sakaguchi (University of Tsukuba, Japan)
[C1] Validating Mathematical Structures (abstract)
17:05
千晶 石尾 (お茶の水女子大学, Japan)
充子 山本 (お茶の水女子大学, Japan)
健一 浅井 (お茶の水女子大学, Japan)
[C1] Agda の Reflection API を用いた自動証明に向けて (abstract)
17:45-18:30 Session 12: 代数的効果
Chair:
Youyou Cong (Tokyo Institute of Technology, Japan)
17:45
つきの 古川 (お茶の水女子大学, Japan)
健一 浅井 (お茶の水女子大学, Japan)
[C1] algebraic effects を含むプログラムのステップ実行 (abstract)
18:10
Taro Sekiyama (National Institute of Informatics, Japan)
Atsushi Igarashi (Kyoto University, Japan)
[C2] Handling Polymorphic Algebraic Effects (abstract)
20:00-22:00 Session 13: ポスター・デモ
Chair:
Ryosuke Sato (Kyushu University, Japan)
20:00
Soichiro Hidaka (Hosei University, Japan)
トレースに基づく双方向変換の多方向化に向けたco-targetial compositionのための漸進化(ポスター) (abstract)
20:00
Quanyu Qi (University of Tsukuba, China)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Wagon: 型安全性を持つSIMD命令を利用可能なDSL(ポスター・デモ) (abstract)
20:00
海里 宮前 (新潟大学, Japan)
等人 青戸 (新潟大学, Japan)
等式論理の余帰納的定理における圏論の応用(ポスター) (abstract)
20:00
祐一 小森田 (総合研究大学院大学・国立情報学研究所, Japan)
審也 勝股 (国立情報学研究所, Japan)
Nick Hu (Balliol College, Oxford, UK)
Bartek Klin (Warsaw University, Poland)
一郎 蓮尾 (国立情報学研究所, Japan)
Codensity Games for Bisimilarity (abstract)
20:00
Yosuke Fukuda (Kyoto University, Japan)
Toward a modalized linear-non-linear model (abstract)
20:00
曜 井上 (東京大学大学院 情報理工学系研究科, Japan)
滋 千葉 (東京大学大学院 情報理工学系研究科, Japan)
不揮発性メモリの性質に特化した書き込み回数を抑えるメモリ管理の提案(ポスター) (abstract)
20:00
Tomoharu Ugawa (Kochi University of Technology, Japan)
Richard E. Jones (University of Kent, UK)
Stefan Marr (University of Kent, UK)
Preforming Object Shapes for In-Object Field Allocation in eJS JavaScript VM (ポスター) (abstract)
20:00
結実 上田 (お茶の水女子大学, Japan)
健一 浅井 (お茶の水女子大学, Japan)
WebSocketを用いたUniverseフレームワークのブラウザ対応 (abstract)
20:00
知樹 加藤 (愛知県立大学 大学院 情報科学研究科, Japan)
弘崇 大久保 (愛知県立大学 情報科学部, Japan)
英人 粕谷 (愛知県立大学 情報科学部, Japan)
晋一郎 山本 (愛知県立大学 情報科学部, Japan)
Haskellを対象とした値コンストラクタへの関数注入によるトレース手法(ポスター・デモ) (abstract)
20:00
康佑 村田 (九州工業大学大学院情報工学府, Japan)
健斗 江本 (九州工業大学情報工学研究院, Japan)
Coq における Hylomorphism を用いたプログラム運算の検証に向けて(ポスター) (abstract)
20:00
充子 山本 (お茶の水女子大学, Japan)
健一 浅井 (お茶の水女子大学, Japan)
Agda による Equational Reasoning の証明の自動生成に向けて(ポスター) (abstract)
20:00
匠 大貫 (東京大学, Japan)
重幸 佐藤 (東京大学, Japan)
健次朗 田浦 (東京大学, Japan)
弱いメモリモデル上での並行Cライブラリのステートレスモデル検査 (abstract)
20:00
秀斗 上野 (東京大学, Japan)
John Toman (Certora, inc., United States)
直樹 小林 (東京大学, Japan)
武志 塚田 (東京大学, Japan)
篩型と所有権を用いたプログラム検証に対する反例生成 (ポスター‧デモ) (abstract)
20:00
宗平 門脇 (京都大学 総合人間学部, Japan)
貴司 櫻川 (京都大学大学院 人間・環境学研究科, Japan)
Julia言語の型推論ルーチンを利用した型プロファイラによる静的なバグ検出について(ポスター・デモ) (abstract)
20:00
Luthfan Anshar Lubis (東京工業大学, Japan)
裕大 田辺 (東京工業大学, Japan)
知幸 青谷 (東京工業大学, Japan)
英彦 増原 (東京工業大学, Japan)
Object-oriented Programming with Versions (abstract)
20:00
和義 矢杉 (京都大学, Japan)
淳 五十嵐 (京都大学, Japan)
スタック領域上での時間的メモリ安全性を保証する静的解析手法の実装(デモ) (abstract)
20:00
Haochen Xie (Peano System Inc., Japan)
Takashi Kuranaga (Peano System Inc., Japan)
2flow, a composable computation graph-based computation model (ポスター・デモ) (abstract)
20:00
Antoine Veenstra (National Institute of Advanced Industrial Science and Technology (AIST), Japan)
Takashi Kitamura (National Institute of Advanced Industrial Science and Technology (AIST), Japan)
Cyrille Valentin Artho (KTH Royal Institute of Technology, Sweden)
Marieke Huisman (University of Twente, Netherlands)
Toward combinatrial test generation using GPGPU (abstract)
20:00
駿平 横井 (早稲田大学, Japan)
直輝 山本 (早稲田大学, Japan)
和紀 上田 (早稲田大学, Japan)
階層グラフ書き換え言語LMNtalにおける継続の概念の提案と実装(ポスター) (abstract)
20:00
Kazuki Niimi (Tokyo Institute of Technology, Japan)
Hidehiko Masuhara (Tokyo Institute of Technology, Japan)
Lift中間言語における動的長配列の追加(ポスター・デモ) (abstract)
20:00
宏行 桂 (東京大学, Japan)
武志 塚田 (東京大学, Japan)
直樹 小林 (東京大学, Japan)
自動的なnu-HFLZ妥当性検査のための新しい篩型システム(ポスター・デモ) (abstract)
20:00
佑弥 白鳥 (東京工業大学, Japan)
草介 森口 (東京工業大学, Japan)
卓雄 渡部 (東京工業大学, Japan)
出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定(ポスター) (abstract)
20:00
左近 山口 (京都大学, Japan)
拓 平石 (京都大学, Japan)
浩 中島 (京都大学, Japan)
昌宏 八杉 (九州工業大学, Japan)
並列言語Tascellのタスク定義自動生成による記述性向上(ポスター) (abstract)
20:00
健太郎 角田 (首都大学東京, Japan)
入れ子対称λ計算の型規則 ―上式が3つあるカットを持つ古典論理の証明体系―(ポスター) (abstract)
20:00
Jizhe Chenxin (東京工業大学, China)
英彦 増原 (東京工業大学, Japan)
Matthias Springer (東京工業大学, Germany)
Sanajeh: a DSL for GPGPU programming with Python objects (abstract)
20:00
利哉 淺井 (東京大学理学部情報科学科, Japan)
友一 西脇 (東京大学大学院情報理工学系研究科コンピュータ科学専攻, Japan)
計算効果と同変関手の圏論的貼り合わせ (abstract)
20:00
篤至 白石 (早稲田大学, Japan)
雄太郎 恒川 (早稲田大学, Japan)
和紀 上田 (早稲田大学, Japan)
LMNtalにおける部分グラフのリサイクルを行うコンパイル時最適化(ポスター) (abstract)
20:00
Takayuki Miyazaki (Tokyo Institute of Technology, Japan)
Yasuhiko Minamide (Tokyo Institute of Technology, Japan)
先読み付き文脈自由文法とその微分 (abstract)
20:00
Senxi Li (University of Tokyo, Japan)
Shigeru Chiba (University of Tokyo, Japan)
Typing a Python Program by Unit Tests (abstract)
20:00
Tetsuro Yamazaki (The University of Tokyo, Japan)
Shigeru Chiba (The University of Tokyo, Japan)
Ruby から Javascript を呼び出す FFI における遠慮のかたまり問題について(ポスター・デモ) (abstract)
20:00
裕太 辻 (東京工業大学, Japan)
草介 森口 (東京工業大学, Japan)
卓雄 渡部 (東京工業大学, Japan)
内部 DSL としての関数リアクティブプログラミング言語の実装手法(ポスター) (abstract)
20:00
Xuyang Yao (The University of Tokyo, Japan)
Toward corss-language code-clone detection based on graph neural network (poster) (abstract)
20:00
献自 早乙女 (名古屋大学, Japan)
巧爾 中澤 (名古屋大学, Japan)
大輔 木村 (東邦大学, Japan)
分離論理における記号ヒープのための循環証明体系におけるカットの制限について(ポスター) (abstract)
20:00
里空 中根 (名古屋大学大学院 情報学研究科 情報システム学専攻 結縁・中澤研究室所属 M1, Japan)
祥治 結縁 (名古屋大学, Japan)
サンプリング時間実行におけるUppaalを用いたYampaプログラムの振舞い検証 (abstract)
20:00
典嗣 上條 (芝浦工業大学, Japan)
功 篠埜 (芝浦工業大学, Japan)
関数型言語を対象としたtype4のコードクローンの検出手法の提案および実装(ポスター) (abstract)
20:00
哲也 生田 (神戸大学大学院システム情報学研究科, Japan)
直之 田村 (神戸大学 情報基盤センター, Japan)
剛秀 宋 (神戸大学 情報基盤センター, Japan)
睦則 番原 (名古屋大学大学院 情報学研究科, Japan)
正規制約に対するSAT符号化手法の提案と評価(ポスター) (abstract)
20:00
Feng Dai (The University of Tokyo, Japan)
Shigeru Chiba (The University of Tokyo, Japan)
Towards Generating Commit Messages Automatically (ポスター) (abstract)
20:00
真人 木山 (熊本大学, Japan)
太樹 尼崎 (熊本大学, Japan)
全広 飯田 (熊本大学, Japan)
RustによるDNN Compilerの実装 (abstract)
20:00
智貴 中丸 (東京大学, Japan)
智將 松永 (東京大学, Japan)
徹郎 山崎 (東京大学, Japan)
空道 穐山 (東京大学, Japan)
滋 千葉 (東京大学, Japan)
メソッドチェイン形式の記述に関する調査(ポスター) (abstract)
20:00
靖 久野 (電気通信大学, Japan)
短冊型問題を用いたプログラミング学習用アドバイスツール(ポスター・デモ) (abstract)
20:00
Aochi Shu (Tokyo Institute of Technology, School of Computing, China)
Hidehiko Masuhara (Tokyo Institute of Technology, School of Computing, Japan)
ACKN: A context-aware keyword programming system (poster) (abstract)
Wednesday, March 4th

View this program: with abstractssession overviewtalk overview

09:00-10:10 Session 14: プログラム検証
Chair:
Sosuke Moriguchi (Tokyo Institute of Technology, Japan)
09:00
Hiromasa Saito (Kyoto University, Japan)
Yuki Nishida (Kyoto University, Japan)
Atsushi Igarashi (Kyoto University, Japan)
Kohei Suenaga (Kyoto University, Japan)
[C1] スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 (abstract)
09:25
聡太 佐藤 (京都大学, Japan)
淳 古瀬 (ダイラムダ株式会社, Japan)
幸平 末永 (京都大学, Japan)
淳 五十嵐 (京都大学, Japan)
[C1] F*を用いたMerkle Patricia Treeライブラリの形式検証 (abstract)
09:50
祐介 松下 (The University of Tokyo, Japan)
武志 塚田 (The University of Tokyo, Japan)
直樹 小林 (The University of Tokyo, Japan)
[C2] RustHorn: CHC-based Verification for Rust Programs (abstract)
10:25-11:05 Session 15: 構文解析
Chair:
Kota Mizushima (OPT, Inc, Japan)
10:25
Isao Sasano (Department of Computer Science and Engineering, Shibaura Institute of Technology, Japan)
[C2] An approach to generate text-based IDEs for syntax completion based on syntax specification (abstract)
10:45
Nariyoshi Chida (NTT, Japan)
Yuhei Kawakoya (NTT, Japan)
Dai Ikarashi (NTT, Japan)
Kenji Takahashi (NTT, United States)
Koushik Sen (University of California, Berkeley, United States)
[C2] Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, an Improved Grammar, and Its Parsing Algorithms -- (abstract)
11:20-12:30 Session 16: 言語設計
Chair:
Soichiro Hidaka (Hosei University, Japan)
11:20
陽彦 横山 (東京工業大学, Japan)
草介 森口 (東京工業大学, Japan)
卓雄 渡部 (東京工業大学, Japan)
[C1] 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入 (abstract)
11:45
君郎 倉光 (日本女子大学, Japan)
[C1] Puppy: 高校生向けの簡易 Python の設計と実装 (abstract)
12:10
Masahiro Yasugi (Kyushu Institute of Technology, Japan)
Daisuke Muraoka (Kyushu Institute of Technology (Presently with SmartNews, Inc.), Japan)
Tasuku Hiraishi (Kyoto University, Japan)
Seiji Umatani (Kanagawa University, Japan)
Kento Emoto (Kyushu Institute of Technology, Japan)
[C2] HOPE: A Parallel Execution Model Based on Hierarchical Omission (abstract)