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

A
Anshar Lubis, Luthfan	Object-oriented Programming with Versions コエフェクト多相性に基づいた版多相性の実現
Artho, Cyrille Valentin	Toward combinatrial test generation using GPGPU
C
Chen, Ran	ReFX: 型に基づくスマートコントラクト自動検証器（ポスター・デモ）
Chenxin, Jizhe	Sanajeh: a DSL for GPGPU programming with Python objects
Chiba, Shigeru	[C2] Generating a Fluent API with Syntax Checking from an LR Grammar [C2] Generating a Generic Fluent API in Java 不揮発性メモリの性質に特化した書き込み回数を抑えるメモリ管理の提案(ポスター) 計算化学に向けたリファクタリング容易なドメイン特化言語のためのデザインの検討 Typing a Python Program by Unit Tests Ruby から Javascript を呼び出す FFI における遠慮のかたまり問題について（ポスター・デモ） Towards Generating Commit Messages Automatically (ポスター) メソッドチェイン形式の記述に関する調査（ポスター）
Chida, Nariyoshi	[C2] Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, an Improved Grammar, and Its Parsing Algorithms --
D
Dai, Feng	Towards Generating Commit Messages Automatically (ポスター)
E
E. Jones, Richard	Preforming Object Shapes for In-Object Field Allocation in eJS JavaScript VM (ポスター)
Emoto, Kento	[C2] HOPE: A Parallel Execution Model Based on Hierarchical Omission [C1] Coq における Hylomorphism を用いたプログラム運算の検証に向けて Coq における Hylomorphism を用いたプログラム運算の検証に向けて（ポスター）
F
Fukuda, Yosuke	Toward a modalized linear-non-linear model Homoiconic Lisp
G
Gondow, Katsuhiko	Typestate 解析を応用した静的解析に よる 分散並行システムのバグの検出.
H
Hashimoto, Ayami	グラフ書き換え言語 LMNtal による時間オートマトンに基づくリアルタイムシステムの状態空間構築 (ポスター)
Hidaka, Soichiro	トレースに基づく双方向変換の多方向化に向けたco-targetial compositionのための漸進化（ポスター）
Hiraishi, Tasuku	[C2] HOPE: A Parallel Execution Model Based on Hierarchical Omission 並列言語Tascellのタスク定義自動生成による記述性向上（ポスター）
Hu, Nick	Codensity Games for Bisimilarity
Huisman, Marieke	Toward combinatrial test generation using GPGPU
I
Ichikawa, Kazuhiro	[C2] Generating a Fluent API with Syntax Checking from an LR Grammar
Igarashi, Atsushi	[C1] スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 [C1] F*を用いたMerkle Patricia Treeライブラリの形式検証 [C1] スタック領域上での時間的メモリ安全性を保証する静的解析手法 [C2] Handling Polymorphic Algebraic Effects スタック領域上での時間的メモリ安全性を保証する静的解析手法の実装（デモ） 量子プログラムのための依存型を用いた coupling graph 解析（ポスター） 依存型を備えた多段階計算の同値型による拡張(ポスター) ReFX: 型に基づくスマートコントラクト自動検証器（ポスター・デモ）
Ikarashi, Dai	[C2] Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, an Improved Grammar, and Its Parsing Algorithms --
K
Kameyama, Yukiyoshi	Quick and Reusable Code Generation for Idris Wagon: 型安全性を持つSIMD命令を利用可能なDSL(ポスター・デモ)
Kasuga, Ryotaro	Typestate 解析を応用した静的解析に よる 分散並行システムのバグの検出.
Katsuda, Shuntaro	依存型を備えた多段階計算の同値型による拡張(ポスター)
Kawakoya, Yuhei	[C2] Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, an Improved Grammar, and Its Parsing Algorithms --
Kawata, Akira	ReFX: 型に基づくスマートコントラクト自動検証器（ポスター・デモ）
Kiselyov, Oleg	より清浄なstream fusion（ポスター・デモ）
Kitamura, Takashi	Toward combinatrial test generation using GPGPU
Klin, Bartek	Codensity Games for Bisimilarity
Kuranaga, Takashi	2flow, a composable computation graph-based computation model (ポスター・デモ)
L
Li, Senxi	Typing a Python Program by Unit Tests
M
Marr, Stefan	Preforming Object Shapes for In-Object Field Allocation in eJS JavaScript VM (ポスター)
Miyazaki, Takayuki	先読み付き文脈自由文法とその微分
Muraoka, Daisuke	[C2] HOPE: A Parallel Execution Model Based on Hierarchical Omission
N
Nakamaru, Tomoki	[C2] Generating a Fluent API with Syntax Checking from an LR Grammar [C2] Generating a Generic Fluent API in Java トークン列に対する曖昧検索技術の検討（ポスター） メソッドチェイン形式の記述に関する調査（ポスター）
Niimi, Kazuki	Lift中間言語における動的長配列の追加(ポスター・デモ)
Nishida, Hideyuki	計算化学に向けたリファクタリング容易なドメイン特化言語のためのデザインの検討
Nishida, Yuki	[C1] スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 ReFX: 型に基づくスマートコントラクト自動検証器（ポスター・デモ）
P
Potanin, Alex	[C4] Wyvern: A Language for Usable Design-Driven Assurance
Q
Qi, Quanyu	Wagon: 型安全性を持つSIMD命令を利用可能なDSL(ポスター・デモ)
S
Saito, Hiromasa	[C1] スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 ReFX: 型に基づくスマートコントラクト自動検証器（ポスター・デモ）
Sakaguchi, Kazuhiko	[C1] Validating Mathematical Structures
Sasano, Isao	[C2] An approach to generate text-based IDEs for syntax completion based on syntax specification パッケージマネージャにおけるパッケージの依存関係の事前計算によるパッケージ取得時間の短縮（ポスター・デモ） 関数型言語を対象としたtype4のコードクローンの検出手法の提案および実装（ポスター） 遺伝的アルゴリズムを用いた最短経路探索における交叉手法開発（ポスター）
Sekiyama, Taro	[C2] Handling Polymorphic Algebraic Effects
Sen, Koushik	[C2] Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, an Improved Grammar, and Its Parsing Algorithms --
Shu, Aochi	ACKN: A context-aware keyword programming system (poster)
Springer, Matthias	Sanajeh: a DSL for GPGPU programming with Python objects
Suenaga, Kohei	[C1] スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 [C1] F*を用いたMerkle Patricia Treeライブラリの形式検証 ReFX: 型に基づくスマートコントラクト自動検証器（ポスター・デモ）
T
Takahashi, Kenji	[C2] Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, an Improved Grammar, and Its Parsing Algorithms --
Toman, John	篩型と所有権を用いたプログラム検証に対する反例生成 (ポスター‧デモ)
Tsunekawa, Yutaro	グラフ書き換え言語 LMNtal による時間オートマトンに基づくリアルタイムシステムの状態空間構築 (ポスター) LMNtalにおける部分グラフのリサイクルを行うコンパイル時最適化（ポスター）
U
Umatani, Seiji	[C2] HOPE: A Parallel Execution Model Based on Hierarchical Omission
V
Veenstra, Antoine	Toward combinatrial test generation using GPGPU
X
Xie, Haochen	2flow, a composable computation graph-based computation model (ポスター・デモ)
Y
Yamazaki, Tetsuro	[C2] Generating a Fluent API with Syntax Checking from an LR Grammar Ruby から Javascript を呼び出す FFI における遠慮のかたまり問題について（ポスター・デモ） メソッドチェイン形式の記述に関する調査（ポスター）
Yao, Xuyang	Toward corss-language code-clone detection based on graph neural network (poster)
Yasugi, Masahiro	[C2] HOPE: A Parallel Execution Model Based on Hierarchical Omission [C1] JITコンパイルにおけるコード配置効果の研究 並列言語Tascellのタスク定義自動生成による記述性向上（ポスター）
Z
Zhao, Taine	Quick and Reusable Code Generation for Idris
上
上條, 典嗣	関数型言語を対象としたtype4のコードクローンの検出手法の提案および実装（ポスター）
上田, 和紀	階層グラフ書き換え言語LMNtalにおける継続の概念の提案と実装(ポスター) グラフ書き換え言語 LMNtal による時間オートマトンに基づくリアルタイムシステムの状態空間構築 (ポスター) LMNtalにおける部分グラフのリサイクルを行うコンパイル時最適化（ポスター）
上田, 結実	WebSocketを用いたUniverseフレームワークのブラウザ対応
上野, 秀斗	篩型と所有権を用いたプログラム検証に対する反例生成 (ポスター‧デモ)
上野, 雄大	[C1] 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
中
中島, 浩	並列言語Tascellのタスク定義自動生成による記述性向上（ポスター）
中根, 里空	サンプリング時間実行におけるUppaalを用いたYampaプログラムの振舞い検証
中澤, 巧爾	[C1] 古典論理に対する汎用的自然演繹の証明正規化 分離論理における記号ヒープのための循環証明体系におけるカットの制限について（ポスター） 分離論理におけるエンテイルメント証明器の入力に対する制限の緩和(ポスター)
久
久野, 靖	短冊型問題を用いたプログラミング学習用アドバイスツール(ポスター・デモ)
井
井上, 克巳	解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター)
井上, 曜	不揮発性メモリの性質に特化した書き込み回数を抑えるメモリ管理の提案(ポスター)
伊
伊澤, 侑祐	Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level
佐
佐藤, 亮介	関数型プログラムの到達可能性検証のためのプログラムスライシング（ポスター）
佐藤, 悠稀	フラット項書き換えシステムの簡約に関する一意正規形性の決定不能性(ポスター)
佐藤, 聡太	[C1] F*を用いたMerkle Patricia Treeライブラリの形式検証
佐藤, 重幸	弱いメモリモデル上での並行Cライブラリのステートレスモデル検査
倉
倉光, 君郎	[C1] Puppy: 高校生向けの簡易 Python の設計と実装
冨
冨永, 江奈	[C1] イベント駆動コードの差分解析を可能にするパス探査経験則
冬
冬樹, 石川	AI・自動運転時代のプログラミング技術への期待
前
前田, 敦司	Packrat ParserライブラリWoodrat用アルゴリズミックデバッガの実装
加
加藤, 知樹	Haskellを対象とした値コンストラクタへの関数注入によるトレース手法（ポスター・デモ）
加賀谷, 有輝	[C1] 条件付き項書き換えシステムの階層合流性証明法
勝
勝股, 審也	Codensity Games for Bisimilarity
南
南出, 靖彦	[C1] 正規表現マッチングの計算量解析ツールの拡張と高速化 先読み付き文脈自由文法とその微分
叢
叢, 悠悠	デザインレシピに沿ったプログラミング環境の実装 Agda による対位法の定式化
古
古川, つきの	[C1] algebraic effects を含むプログラムのステップ実行
古澤, 仁	Preorders, partial semigroups, and quantales
古瀬, 淳	[C1] F*を用いたMerkle Patricia Treeライブラリの形式検証 ReFX: 型に基づくスマートコントラクト自動検証器（ポスター・デモ）
圭
圭介, 中野	スタック機構を搭載する木変換器（ポスター）
坂
坂上, 知紀	Packrat ParserライブラリWoodrat用アルゴリズミックデバッガの実装
坂田, 祐司	[C1] 出力例を制約に用いたボトムアップなSQLクエリの合成
塚
塚田, 武志	[C2] RustHorn: CHC-based Verification for Rust Programs 篩型と所有権を用いたプログラム検証に対する反例生成 (ポスター‧デモ) 自動的なnu-HFLZ妥当性検査のための新しい篩型システム（ポスター・デモ） 関数型プログラムの到達可能性検証のためのプログラムスライシング（ポスター） 不動点算術の循環証明体系 (ポスター)
増
増原, 英彦	Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level Object-oriented Programming with Versions Lift中間言語における動的長配列の追加(ポスター・デモ) コエフェクト多相性に基づいた版多相性の実現 デザインレシピに沿ったプログラミング環境の実装 Sanajeh: a DSL for GPGPU programming with Python objects ACKN: A context-aware keyword programming system (poster)
大
大久保, 弘崇	Haskellを対象とした値コンストラクタへの関数注入によるトレース手法（ポスター・デモ）
大貫, 匠	弱いメモリモデル上での並行Cライブラリのステートレスモデル検査
守
守本, 梨紗	OCaml Blocklyを使用した代数教材の作成（ポスター・デモ）
安
安田, 康史	Preorders, partial semigroups, and quantales
宋
宋, 剛秀	正規制約に対するSAT符号化手法の提案と評価（ポスター） 解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター)
宮
宮前, 海里	等式論理の余帰納的定理における圏論の応用(ポスター)
小
小宮, 常康	TypeScriptにおける型定義を切り替え可能な型検査補助ツールの実装（ポスター・デモ） アサーションを取り入れた静的解析に基づくデバッグ支援ツール
小島, 渚	継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の実演（ポスター・デモ）
小林, 友明	より清浄なstream fusion（ポスター・デモ）
小林, 直樹	[C2] RustHorn: CHC-based Verification for Rust Programs 篩型と所有権を用いたプログラム検証に対する反例生成 (ポスター‧デモ) 自動的なnu-HFLZ妥当性検査のための新しい篩型システム（ポスター・デモ） 関数型プログラムの到達可能性検証のためのプログラムスライシング（ポスター） 不動点算術の循環証明体系 (ポスター)
小森田, 祐一	Codensity Games for Bisimilarity
小野澤, 拓	[C1] アプリケーションと実行環境に適応したカスタマイズ可能なJavaScript処理系
尼
尼崎, 太樹	RustによるDNN Compilerの実装
山
山口, 左近	並列言語Tascellのタスク定義自動生成による記述性向上（ポスター）
山本, 充子	[C1] Agda の Reflection API を用いた自動証明に向けて
山本, 充子	Agda による Equational Reasoning の証明の自動生成に向けて（ポスター）
山本, 晋一郎	Haskellを対象とした値コンストラクタへの関数注入によるトレース手法（ポスター・デモ）
山本, 直輝	階層グラフ書き換え言語LMNtalにおける継続の概念の提案と実装(ポスター)
山本, 雄太	依存型付き微分λ計算 (ポスター)
岡
岡田, 譲二	[C1] 出力例を制約に用いたボトムアップなSQLクエリの合成
岩
岩崎, 英哉	[C1] アプリケーションと実行環境に適応したカスタマイズ可能なJavaScript処理系 型ディスパッチコード最適化のためのJavaScript処理系記述用DSLの型推論（ポスター）
岩見, 宗弘	[C1] 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用
島
島, 和之	継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の実演（ポスター・デモ）
平
平澤, 祐太	型ディスパッチコード最適化のためのJavaScript処理系記述用DSLの型推論（ポスター）
後
後藤, 司	WSAN向けマクロプログラミング言語の提案（ポスター）
早
早乙女, 献自	分離論理における記号ヒープのための循環証明体系におけるカットの制限について（ポスター）
旺
旺, 河田	Formalized Egison − Egisonの型安全性のCoqによる証明に向けて(ポスター・デモ)
服
服部, 桃子	関数型プログラムの到達可能性検証のためのプログラムスライシング（ポスター）
木
木下, 修司	関係代数及び関係データベースのAgdaによる定式化
木山, 真人	RustによるDNN Compilerの実装
木戸, 章紀	TypeScriptにおける型定義を切り替え可能な型検査補助ツールの実装（ポスター・デモ）
木村, 大輔	分離論理における記号ヒープのための循環証明体系におけるカットの制限について（ポスター） 分離論理におけるエンテイルメント証明器の入力に対する制限の緩和(ポスター)
村
村田, 康佑	[C1] Coq における Hylomorphism を用いたプログラム運算の検証に向けて Coq における Hylomorphism を用いたプログラム運算の検証に向けて（ポスター）
松
松下, 祐介	[C2] RustHorn: CHC-based Verification for Rust Programs
松村, 有倫	状態遷移を表現する組込みシステム向けFRP言語の設計（ポスター）
松永, 智將	メソッドチェイン形式の記述に関する調査（ポスター）
桂
桂, 宏行	自動的なnu-HFLZ妥当性検査のための新しい篩型システム（ポスター・デモ）
森
森, 祥平	[C1] JITコンパイルにおけるコード配置効果の研究
森口, 草介	[C1] 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入 WSAN向けマクロプログラミング言語の提案（ポスター） 出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定(ポスター) 内部 DSL としての関数リアクティブプログラミング言語の実装手法（ポスター） FRPによるGPU上の計算の実現（ポスター）
権
権藤, 克彦	[C1] イベント駆動コードの差分解析を可能にするパス探査経験則
横
横井, 駿平	階層グラフ書き換え言語LMNtalにおける継続の概念の提案と実装(ポスター)
横山, 陽彦	[C1] 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入
樫
樫福, 智哉	モデルの層化によるロバストなプログラム合成（ポスター・デモ）
橋
橋本, 知江美	継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の実演（ポスター・デモ）
櫻
櫻井, 義孝	FRPによるGPU上の計算の実現（ポスター）
櫻川, 貴司	Julia言語の型推論ルーチンを利用した型プロファイラによる静的なバグ検出について（ポスター・デモ）
江
江木, 聡志	[C2] Functional Programming in Pattern-Match-Oriented Programming Style Formalized Egison − Egisonの型安全性のCoqによる証明に向けて(ポスター・デモ) パターンマッチ指向証明記述言語： Egisonパターンマッチをもちいた証明記述
浅
浅井, 健一	[C1] Agda の Reflection API を用いた自動証明に向けて [C1] algebraic effects を含むプログラムのステップ実行 OCaml Blocklyを使用した代数教材の作成（ポスター・デモ） WebSocketを用いたUniverseフレームワークのブラウザ対応 OCaml Blockly のキー操作実装（ポスター） Agda による Equational Reasoning の証明の自動生成に向けて（ポスター）
浜
浜中, 健太	分離論理を用いた再帰プログラムのメモリ安全性検査
浩
浩之, 関	データ値を扱うオートマトンと文法
海
海野, 広志	モデルの層化によるロバストなプログラム合成（ポスター・デモ）
淺
淺井, 利哉	計算効果と同変関手の圏論的貼り合わせ
渡
渡部, 卓雄	[C1] 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入 WSAN向けマクロプログラミング言語の提案（ポスター） 出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定(ポスター) 内部 DSL としての関数リアクティブプログラミング言語の実装手法（ポスター） FRPによるGPU上の計算の実現（ポスター） 状態遷移を表現する組込みシステム向けFRP言語の設計（ポスター）
潘
潘, 宇路	unsafe Rustプログラムの半自動正当性検証
生
生田, 哲也	正規制約に対するSAT符号化手法の提案と評価（ポスター）
田
田村, 直之	正規制約に対するSAT符号化手法の提案と評価（ポスター） 解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター)
田浦, 健次朗	弱いメモリモデル上での並行Cライブラリのステートレスモデル検査
田辺, 裕大	Object-oriented Programming with Versions コエフェクト多相性に基づいた版多相性の実現
番
番原, 睦則	正規制約に対するSAT符号化手法の提案と評価（ポスター） 解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター)
白
白石, 智輝	[C1] 項書き換えシステムにおける局所十分完全性の証明法
白石, 篤至	LMNtalにおける部分グラフのリサイクルを行うコンパイル時最適化（ポスター）
白鳥, 佑弥	出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定(ポスター)
矢
矢杉, 和義	[C1] スタック領域上での時間的メモリ安全性を保証する静的解析手法 スタック領域上での時間的メモリ安全性を保証する静的解析手法の実装（デモ）
石
石井, 沙織	[C1] 古典論理に対する汎用的自然演繹の証明正規化
石塚, 守	[C1] 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用
石尾, 千晶	[C1] Agda の Reflection API を用いた自動証明に向けて
石尾, 隆	[C1] 出力例を制約に用いたボトムアップなSQLクエリの合成
祁
祁, 意渓	遺伝的アルゴリズムを用いた最短経路探索における交叉手法開発（ポスター）
福
福井, 康介	[C1] 古典論理に対する汎用的自然演繹の証明正規化
穐
穐山, 空道	メソッドチェイン形式の記述に関する調査（ポスター）
竹
竹之内, 啓太	[C1] 出力例を制約に用いたボトムアップなSQLクエリの合成
笠
笠井, 信宏	パッケージマネージャにおけるパッケージの依存関係の事前計算によるパッケージ取得時間の短縮（ポスター・デモ）
粕
粕谷, 英人	Haskellを対象とした値コンストラクタへの関数注入によるトレース手法（ポスター・デモ）
細
細部, 博史	Processingプログラムにおけるイベント処理のユニットテスト手法（ポスター）
結
結縁, 祥治	[C1] 古典論理に対する汎用的自然演繹の証明正規化 サンプリング時間実行におけるUppaalを用いたYampaプログラムの振舞い検証
能
能勢, 純弥	デザインレシピに沿ったプログラミング環境の実装
脇
脇坂, 遼	量子プログラムのための依存型を用いた coupling graph 解析（ポスター）
舜
舜, 西山	スタック機構を搭載する木変換器（ポスター）
荒
荒堀, 喜貴	[C1] イベント駆動コードの差分解析を可能にするパス探査経験則 Typestate 解析を応用した静的解析に よる 分散並行システムのバグの検出.
菊
菊池, 健太郎	[C1] 項書き換えシステムにおける局所十分完全性の証明法
蓮
蓮尾, 一郎	Codensity Games for Bisimilarity
西
西澤, 弘毅	Preorders, partial semigroups, and quantales
西脇, 友一	[C2] Functional Programming in Pattern-Match-Oriented Programming Style unsafe Rustプログラムの半自動正当性検証 計算効果と同変関手の圏論的貼り合わせ
角
角田, 健太郎	入れ子対称λ計算の型規則　―上式が3つあるカットを持つ古典論理の証明体系―(ポスター)
辻
辻, 裕太	内部 DSL としての関数リアクティブプログラミング言語の実装手法（ポスター）
郡
郡, 茉友子	不動点算術の循環証明体系 (ポスター)
門
門脇, 宗平	Julia言語の型推論ルーチンを利用した型プロファイラによる静的なバグ検出について（ポスター・デモ）
関
関口, 雄太	アサーションを取り入れた静的解析に基づくデバッグ支援ツール
青
青戸, 等人	[C1] 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用 [C1] 条件付き項書き換えシステムの階層合流性証明法 [C1] 項書き換えシステムにおける局所十分完全性の証明法 フラット項書き換えシステムの簡約に関する一意正規形性の決定不能性(ポスター) 等式論理の余帰納的定理における圏論の応用(ポスター)
青木, 洸佑	分離論理におけるエンテイルメント証明器の入力に対する制限の緩和(ポスター)
青谷, 知幸	Object-oriented Programming with Versions コエフェクト多相性に基づいた版多相性の実現
飯
飯田, 全広	RustによるDNN Compilerの実装
飯野, 有軌	解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター)
高
高橋, 和也	[C1] 正規表現マッチングの計算量解析ツールの拡張と高速化
高越, 莉菜	OCaml Blockly のキー操作実装（ポスター）
高野, 保真	型ディスパッチコード最適化のためのJavaScript処理系記述用DSLの型推論（ポスター）
鵜
鵜川, 始陽	[C1] JITコンパイルにおけるコード配置効果の研究 Preforming Object Shapes for In-Object Field Allocation in eJS JavaScript VM (ポスター) 型ディスパッチコード最適化のためのJavaScript処理系記述用DSLの型推論（ポスター）
龍
龍田, 真	分離論理を用いた再帰プログラムのメモリ安全性検査

Disclaimer | Powered by EasyChair Smart Program