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 | [C1] 条件付き項書き換えシステムの階層合流性証明法 (abstract) |
15:10 | [C1] 項書き換えシステムにおける局所十分完全性の証明法 (abstract) |
15:35 | [C1] 古典論理に対する汎用的自然演繹の証明正規化 (abstract) |
16:15-17:15 Session 3: 新しいプログラミング
Chair:
Taro Sekiyama (National Institute of Informatics, Japan)
16:15 | [C4] Wyvern: A Language for Usable Design-Driven Assurance (abstract) |
16:55 | [C2] Functional Programming in Pattern-Match-Oriented Programming Style (abstract) |
17:35-18:40 Session 4: プログラム生成
Chair:
Tetsuo Kamina (Oita University, Japan)
17:35 | [C1] 出力例を制約に用いたボトムアップなSQLクエリの合成 (abstract) |
18:00 | [C2] Generating a Fluent API with Syntax Checking from an LR Grammar (abstract) |
18:20 | [C2] Generating a Generic Fluent API in Java (abstract) |
20:00-22:00 Session 5: ポスター・デモ
Chair:
Ryosuke Sato (Kyushu University, Japan)
20:00 | Quick and Reusable Code Generation for Idris (abstract) |
20:00 | OCaml Blocklyを使用した代数教材の作成(ポスター・デモ) (abstract) |
20:00 | Packrat ParserライブラリWoodrat用アルゴリズミックデバッガの実装 (abstract) |
20:00 | フラット項書き換えシステムの簡約に関する一意正規形性の決定不能性(ポスター) (abstract) |
20:00 | WSAN向けマクロプログラミング言語の提案(ポスター) (abstract) |
20:00 | OCaml Blockly のキー操作実装(ポスター) (abstract) |
20:00 | Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (abstract) |
20:00 | 依存型付き微分λ計算 (ポスター) (abstract) |
20:00 | 分離論理を用いた再帰プログラムのメモリ安全性検査 (abstract) |
20:00 | スタック機構を搭載する木変換器(ポスター) (abstract) |
20:00 | Formalized Egison − Egisonの型安全性のCoqによる証明に向けて(ポスター・デモ) (abstract) |
20:00 | 計算化学に向けたリファクタリング容易なドメイン特化言語のためのデザインの検討 (abstract) |
20:00 | モデルの層化によるロバストなプログラム合成(ポスター・デモ) (abstract) |
20:00 | コエフェクト多相性に基づいた版多相性の実現 (abstract) |
20:00 | デザインレシピに沿ったプログラミング環境の実装 (abstract) |
20:00 | 型ディスパッチコード最適化のためのJavaScript処理系記述用DSLの型推論(ポスター) (abstract) |
20:00 | Homoiconic Lisp (abstract) |
20:00 | unsafe Rustプログラムの半自動正当性検証 (abstract) |
20:00 | グラフ書き換え言語 LMNtal による時間オートマトンに基づくリアルタイムシステムの状態空間構築 (ポスター) (abstract) |
20:00 | Processingプログラムにおけるイベント処理のユニットテスト手法(ポスター) (abstract) |
20:00 | 関数型プログラムの到達可能性検証のためのプログラムスライシング(ポスター) (abstract) |
20:00 | 継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の実演(ポスター・デモ) (abstract) |
20:00 | 関係代数及び関係データベースのAgdaによる定式化 (abstract) |
20:00 | 不動点算術の循環証明体系 (ポスター) (abstract) |
20:00 | Agda による対位法の定式化 (abstract) |
20:00 | パターンマッチ指向証明記述言語: Egisonパターンマッチをもちいた証明記述 (abstract) |
20:00 | パッケージマネージャにおけるパッケージの依存関係の事前計算によるパッケージ取得時間の短縮(ポスター・デモ) (abstract) |
20:00 | より清浄なstream fusion(ポスター・デモ) (abstract) |
20:00 | Typestate 解析を応用した静的解析に よる 分散並行システムのバグの検出. (abstract) |
20:00 | 分離論理におけるエンテイルメント証明器の入力に対する制限の緩和(ポスター) (abstract) |
20:00 | 量子プログラムのための依存型を用いた coupling graph 解析(ポスター) (abstract) |
20:00 | FRPによるGPU上の計算の実現(ポスター) (abstract) |
20:00 | 状態遷移を表現する組込みシステム向けFRP言語の設計(ポスター) (abstract) |
20:00 | TypeScriptにおける型定義を切り替え可能な型検査補助ツールの実装(ポスター・デモ) (abstract) |
20:00 | Preorders, partial semigroups, and quantales (abstract) |
20:00 | 依存型を備えた多段階計算の同値型による拡張(ポスター) (abstract) |
20:00 | ReFX: 型に基づくスマートコントラクト自動検証器(ポスター・デモ) (abstract) |
20:00 | アサーションを取り入れた静的解析に基づくデバッグ支援ツール (abstract) |
20:00 | 遺伝的アルゴリズムを用いた最短経路探索における交叉手法開発(ポスター) (abstract) |
20:00 | 解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター) (abstract) |
20:00 | トークン列に対する曖昧検索技術の検討(ポスター) (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 | データ値を扱うオートマトンと文法 (abstract) |
10:15-11:05 Session 7: プログラム解析
Chair:
Tatsuya Abe (STAIR Lab, Chiba Institute of Technology, Japan)
10:15 | [C1] イベント駆動コードの差分解析を可能にするパス探査経験則 (abstract) |
10:40 | [C1] スタック領域上での時間的メモリ安全性を保証する静的解析手法 (abstract) |
11:20-12:10 Session 8: 正規表現とオートマトン
Chair:
Ryoma Sin'Ya (Akita University, Japan)
11:20 | [C1] 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用 (abstract) |
11:45 | [C1] 正規表現マッチングの計算量解析ツールの拡張と高速化 (abstract) |
13:30-14:30 Session 9: 招待講演
Chair:
Tasuku Hiraishi (Kyoto University, Japan)
13:30 | 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 | [C1] JITコンパイルにおけるコード配置効果の研究 (abstract) |
15:10 | [C1] アプリケーションと実行環境に適応したカスタマイズ可能なJavaScript処理系 (abstract) |
15:35 | [C1] 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式 (abstract) |
16:15-17:30 Session 11: 証明支援
Chair:
Kensuke Kojima (Kyoto University, Japan)
16:15 | [C1] Coq における Hylomorphism を用いたプログラム運算の検証に向けて (abstract) |
16:40 | [C1] Validating Mathematical Structures (abstract) |
17:05 | [C1] Agda の Reflection API を用いた自動証明に向けて (abstract) |
17:45-18:30 Session 12: 代数的効果
Chair:
Youyou Cong (Tokyo Institute of Technology, Japan)
17:45 | [C1] algebraic effects を含むプログラムのステップ実行 (abstract) |
18:10 | [C2] Handling Polymorphic Algebraic Effects (abstract) |
20:00-22:00 Session 13: ポスター・デモ
Chair:
Ryosuke Sato (Kyushu University, Japan)
20:00 | トレースに基づく双方向変換の多方向化に向けたco-targetial compositionのための漸進化(ポスター) (abstract) |
20:00 | Wagon: 型安全性を持つSIMD命令を利用可能なDSL(ポスター・デモ) (abstract) |
20:00 | 等式論理の余帰納的定理における圏論の応用(ポスター) (abstract) |
20:00 | Codensity Games for Bisimilarity (abstract) |
20:00 | Toward a modalized linear-non-linear model (abstract) |
20:00 | 不揮発性メモリの性質に特化した書き込み回数を抑えるメモリ管理の提案(ポスター) (abstract) |
20:00 | Preforming Object Shapes for In-Object Field Allocation in eJS JavaScript VM (ポスター) (abstract) |
20:00 | WebSocketを用いたUniverseフレームワークのブラウザ対応 (abstract) |
20:00 | Haskellを対象とした値コンストラクタへの関数注入によるトレース手法(ポスター・デモ) (abstract) |
20:00 | Coq における Hylomorphism を用いたプログラム運算の検証に向けて(ポスター) (abstract) |
20:00 | Agda による Equational Reasoning の証明の自動生成に向けて(ポスター) (abstract) |
20:00 | 弱いメモリモデル上での並行Cライブラリのステートレスモデル検査 (abstract) |
20:00 | 篩型と所有権を用いたプログラム検証に対する反例生成 (ポスター‧デモ) (abstract) |
20:00 | Julia言語の型推論ルーチンを利用した型プロファイラによる静的なバグ検出について(ポスター・デモ) (abstract) |
20:00 | Object-oriented Programming with Versions (abstract) |
20:00 | スタック領域上での時間的メモリ安全性を保証する静的解析手法の実装(デモ) (abstract) |
20:00 | 2flow, a composable computation graph-based computation model (ポスター・デモ) (abstract) |
20:00 | Toward combinatrial test generation using GPGPU (abstract) |
20:00 | 階層グラフ書き換え言語LMNtalにおける継続の概念の提案と実装(ポスター) (abstract) |
20:00 | Lift中間言語における動的長配列の追加(ポスター・デモ) (abstract) |
20:00 | 自動的なnu-HFLZ妥当性検査のための新しい篩型システム(ポスター・デモ) (abstract) |
20:00 | 出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定(ポスター) (abstract) |
20:00 | 並列言語Tascellのタスク定義自動生成による記述性向上(ポスター) (abstract) |
20:00 | 入れ子対称λ計算の型規則 ―上式が3つあるカットを持つ古典論理の証明体系―(ポスター) (abstract) |
20:00 | Sanajeh: a DSL for GPGPU programming with Python objects (abstract) |
20:00 | 計算効果と同変関手の圏論的貼り合わせ (abstract) |
20:00 | LMNtalにおける部分グラフのリサイクルを行うコンパイル時最適化(ポスター) (abstract) |
20:00 | 先読み付き文脈自由文法とその微分 (abstract) |
20:00 | Typing a Python Program by Unit Tests (abstract) |
20:00 | Ruby から Javascript を呼び出す FFI における遠慮のかたまり問題について(ポスター・デモ) (abstract) |
20:00 | 内部 DSL としての関数リアクティブプログラミング言語の実装手法(ポスター) (abstract) |
20:00 | Toward corss-language code-clone detection based on graph neural network (poster) (abstract) |
20:00 | 分離論理における記号ヒープのための循環証明体系におけるカットの制限について(ポスター) (abstract) |
20:00 | サンプリング時間実行におけるUppaalを用いたYampaプログラムの振舞い検証 (abstract) |
20:00 | 関数型言語を対象としたtype4のコードクローンの検出手法の提案および実装(ポスター) (abstract) |
20:00 | 正規制約に対するSAT符号化手法の提案と評価(ポスター) (abstract) |
20:00 | Towards Generating Commit Messages Automatically (ポスター) (abstract) |
20:00 | RustによるDNN Compilerの実装 (abstract) |
20:00 | メソッドチェイン形式の記述に関する調査(ポスター) (abstract) |
20:00 | 短冊型問題を用いたプログラミング学習用アドバイスツール(ポスター・デモ) (abstract) |
20:00 | 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 | [C1] スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 (abstract) |
09:25 | [C1] F*を用いたMerkle Patricia Treeライブラリの形式検証 (abstract) |
09:50 | [C2] RustHorn: CHC-based Verification for Rust Programs (abstract) |
10:25-11:05 Session 15: 構文解析
Chair:
Kota Mizushima (OPT, Inc, Japan)
10:25 | [C2] An approach to generate text-based IDEs for syntax completion based on syntax specification (abstract) |
10:45 | [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 | [C1] 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入 (abstract) |
11:45 | [C1] Puppy: 高校生向けの簡易 Python の設計と実装 (abstract) |
12:10 | [C2] HOPE: A Parallel Execution Model Based on Hierarchical Omission (abstract) |