1 小規模組込みシステム向けFRP言語における更新間隔の切り替え機構 C3 学生発表 ポスター横山 陽彦1, 森口 草介1, 渡部 卓雄11東京工業大学
2 Automatically fixing data races in CUDA programs by building memory copies C3 学生発表 ポスターJunyu Lin1, Akimasa Morihata11The University of Tokyo
3 自己書き換え的な InfiniBand Verbs コードを生成する EDSL C3 学生発表 ポスター利根 悠司1, 佐藤 重幸1, 田浦 健次朗11東京大学
4 Σ半環上の加群の係数制限と係数拡大による新たな線形論理モデルの構成 C3 学生発表 ポスター伊藤 耀1, 中野 圭介2, 浅田 和之2, 菊池 健太郎21東北大学工学部電気情報物理工学科 2東北大学電気通信研究所
5 構造体をより柔軟に扱うための新たなプログラミング言語 Qsitory の開発 C3 学生発表 ポスター・デモ横山 航基1, 木村 大輔11東邦大学
6 LLTZ: LLVM IR からスマートコントラクト記述言語 Michelson へのコンパイラ C3 学生発表 ポスターYoshi Usuzawa1, Kohei Suenaga1, Jun Furuse2, Atsushi Igarashi11Kyoto University 2ダイラムダ株式会社
7 代数的エフェクトハンドラのための篩型システム C3 学生発表 ポスター川俣 楓河1, 海野 広志2, 関山 太朗3, 寺内 多智弘11早稲田大学 2筑波大学 3国立情報学研究所
8 論理制約付き項書き換えシステムに対する重み付き経路順序の提案 C3 学生発表 ポスター中村 翔平1, 青戸 等人11新潟大学
9 プログラム等価性判定のための、前順序つき模倣関係 C3 ポスター室屋 晃子1, 眞田 嵩大2, 卜部 夏木31RIMS, Kyoto University 2Kyoto University 3National Institute of Informatics
10 C++におけるfar-memoryデータ構造のためのアロケータ抽象化 C3 学生発表 ポスター・デモ秀島 宇音1, 佐藤 重幸1, 田浦 健次朗11東京大学
11 Lenses for Web Applications C3 学生発表 ポスター・デモZihang Ye1, Kazutaka Matsuda11Graduate School of Information Sciences, Tohoku University
12 Coq による縮小写像の不動点定理の形式化 C3 学生発表 ポスター橋本 翔太1, 木村 大輔11東邦大学大学院理学研究科
13 プラレールによるプログラミングの可能性 C3 学生発表 ポスター上野 雄大1, 石垣 凌11新潟大学工学部
14 An Agda Formalization of Friedman’s “Extended Kruskal Theorem” C3 ポスターMakoto Kanazawa11Hosei University
15 On Lookaheads in Regular Expressions with Backreferences C3 学生発表 ポスターNariyoshi Chida1, Tachio Terauchi21NTT Security Japan / Waseda University 2Waseda University
16 べき集合クオンテールの別表現の発見 C3 学生発表 ポスターToshiki Takabayashi1, Koki Nishizawa11Kanagawa University
17 宣言的 Spacer C3 ポスター塚田 武志1, 海野 広志21千葉大学 2筑波大学
18 高速かつ高精度で compositional な関数ポインタ解析 C3 学生発表 ポスター渡辺 拓海1, 権藤 克彦1, 荒堀 喜貴11東京工業大学
19 時間およびデータについてパラメトリックな形式仕様によるMQTT通信プロトコルの監視 C3 学生発表 ポスター藤浪 大弥1, 和賀 正樹2, 蓮尾 一郎1, 石川 裕11国立情報学研究所，総合研究大学院大学 2京都大学，国立情報学研究所
20 SCameleer: スマートコントラクト記述言語SCamlのための自動検証器 C3 学生発表 ポスター・デモ服部 佑哉1, 西田 雄気1, 古瀬 淳2, 末永 幸平1, 五十嵐 淳11京都大学 2ダイラムダ株式会社
21 ノートブックプログラミングにおける手戻りの調査と分析 C3 ポスター・デモ中丸 智貴1, 佐藤 重幸21東京大学大学院 総合文化研究科 2東京大学大学院 情報理工学系研究科
22 対話性と高性能を両立させたマイクロコントローラー向けの実行環境を目指して C3 学生発表 ポスターFumika Maejima1, Shigeru Chiba11The University of Tokyo
23 生成的プログラミングライブラリー Bindoj C3 ポスター・デモHaochen Kotoi-Xie1, 本郷 裕哲1, 佐藤 雄太11Kotoi-Xie Consultancy, Inc.
24 組込みシステム向けFRP言語における離散イベント機構の実装とその評価 C3 学生発表 ポスター・デモ十河 健人1, 森口 草介1, 渡部 卓雄11東京工業大学
25 On-the-fly Simultaneous Finite Automatonによる並列正規表現マッチング C3 学生発表 ポスター高品 剛大1, 佐藤 重幸1, 田浦 健次朗11東京大学
26 Happens-Before関係を考慮したDFIによる正確なデータレースの動的検知 C3 学生発表 ポスター雫石 想1, 荒堀 喜貴1, 権藤 克彦11東京工業大学
27 帰納的定理に対する無限の導出木を持つ証明体系の提案と健全性の証明 C3 学生発表 ポスター嶋貫 凌1, 青戸 等人11新潟大学
28 代数的エフェクトとハンドラのためのエフェクトシステムの抽象化 C3 学生発表 ポスター吉岡 拓真1, 関山 太朗2, 五十嵐 淳11京都大学 2国立情報学研究所
29 高階モデル検査による余再帰型つきプログラムの検証 C3 学生発表 ポスター深石 廉1, 小林 直樹1, 佐藤 亮介11東京大学
30 LEGO Education SPIKE PrimeのMicroPython環境における関数型リアクティブプログラミング C3 学生発表 ポスター・デモ中里 匡亮1, 住井 英二郎21東北大学工学部電気情報物理工学科 2東北大学大学院情報科学研究科
31 仕様記述を可能にした継続モナドにおける関数の内部証明 C3 学生発表 ポスター窪田 唯花1, 浅井 健一11お茶の水女子大学
32 Spectre-V1の正確な動的検知を可能にするキャッシュを考慮した汚染解析 C3 学生発表 ポスター内田 悠介1, 荒堀 喜貴1, 権藤 克彦11Tokyo Institute of Technology
33 ソフトウェア無線のFMラジオ信号処理 C3 学生発表 ポスター・デモ小林 友明1, Oleg Kiselyov11Tohoku University
34 Nested Data Type における多相再帰の型推論手法 C3 学生発表 ポスター川原 知真1, 寺内 多智弘11早稲田大学
35 JavaScriptプログラムのawait忘れバグに対処するソースコード変換を目指して C3 学生発表 ポスターSatoshi Kawamukai1, Tetsuro Yamazaki1, Shigeru Chiba11The University of Tokyo
36 ハイブリッド型理論によるRefined Environment Classfiersの再構築 C3 学生発表 ポスター村瀬 唯斗1, 五十嵐 淳11京都大学
37 暗号計算のための多項式乗算プログラムの生成と正しさの保証 C3 学生発表 ポスター徳田 凌1, 亀山 幸義11筑波大学
38 不揮発性メモリを活用したjemallocのチェックポインティングと復元 C3 学生発表 ポスター中田 昌輝1, 佐藤 重幸1, 鵜川 始陽11東京大学
39 勾配情報を用いた到達可能性解析手法の実現に向けて C3 ポスター・デモ青島 達大11NTTセキュリティ・ジャパン株式会社
40 Java 検証器 Regnant の帰還 C3 学生発表 ポスター・デモRyota Kobayashi1, Atsushi Igarashi1, Kohei Suenaga11Kyoto University
41 メモリ解放の適切な配置を可能にする Path-Sensitive CFG C3 学生発表 ポスターKohei Yamamoto1, Yoshitaka Arahori1, Katsuhiko Gondow11Tokyo Institute of Technology
42 Webassemblyを対象とした参照局所性 に基づく静的キャッシュ解析 C3 学生発表 ポスターYuzuki Sakashita1, Yoshitaka Arahori1, Katsuhiko Gondow11Tokyo Institute of Technology
43 複数参加者非同期セッション型の一般プロセス型への変換 C3 学生発表 ポスター細川 万里奈1, 住井 英二郎11東北大学
44 定理証明支援系間の証明の相互変換 C3 学生発表 ポスター菅野 直孝1, 中野 圭介2, 浅田 和之2, 菊池 健太郎21東北大学大学院情報科学研究科 2東北大学電気通信研究所
45 プログラムの意味解析技術の音楽の意味解析への応用に向けて C3 学生発表 ポスター藤野 遼河1, 上野 雄大11新潟大学工学部
46 MikiβにおけるWeb上での データ入力実装に向けて C3 学生発表 ポスター・デモ大石 美緒1, 浅井 健一11お茶の水女子大学
47 ゼロ知識証明を用いて真正性を保証する通信プロトコルのための篩型システム C3 学生発表 ポスターZijian Zhao1, Kohei Suenaga1, Atsushi Igarashi11Kyoto University
48 定理証明支援系Coqによる言語の非正規性の証明 C3 学生発表 ポスター野木 知優1, 中野 圭介2, 浅田 和之2, 菊池 健太郎21東北大学工学部電気情報物理工学科 2東北大学電気通信研究所
49 構造化グラフの正規化の証明 C3 学生発表 ポスター柳沢 大貴1, 住井 英二郎11Tohoku University
50 混合整数線形計画問題を利用したParikhオートマトンの高速な空性判定とPCPへの応用 C3 学生発表 ポスター大森 章裕1, 南出 靖彦11東京大学情報理工学院
51 プログラムの断片から書かれた言語を推定するモデルの実装 C3 学生発表 ポスターKazuya Miyahara1, Shigeru Chiba11The University of Tokyo
52 確率的プログラミング言語の形式基盤を構文で拡張する試み C3 学生発表 ポスターAyumu Saito1, Reynald Affeldt21Tokyo Institute of Technology 2National Institute of Advanced Industrial Science and Technology (AIST)
53 左線形論理制約付き項書き換えシステムの合流性条件 C3 学生発表 ポスター高畑 幹汰1, 青戸 等人11新潟大学
54 Reduce the search space of Brute-Force parsing noisy code by first predicting statement type C3 学生発表 ポスターWennong Cai1, Shigeru Chiba11The University of Tokyo
55 命令型プログラムの検証のためのライフタイム付き分数所有権型システム C3 学生発表 ポスター中山 崇1, 小林 直樹2, 佐藤 亮介2, 松下 祐介21東京大学 理学部情報科学科 小林研究室 2東京大学大学院 情報理工学系研究科 コンピューター科学専攻 小林研究室
56 s-有限測度モナドを用いた確率的プログラミング言語のIsabelle/HOLによる形式化 C3 学生発表 ポスター平田 路和1, 南出 靖彦1, 佐藤 哲也11東京工業大学
57 確率的プログラムと非決定的プログラムの間のダイバージェンスを測る関係ホーア論理 C3 学生発表 ポスターKazuki Matsuoka1, Tetsuya Sato11Tokyo Institute of Technology
58 高汎用データ構造書換え言語MSNLの設計 C3 学生発表 ポスター・デモ三品 晴人1, 上田 和紀11早稲田大学
59 OCaml プログラムの Coq への変換とプログラムの正しさの証明 C3 学生発表 ポスター・デモ毎田 詠人1, 中村 薫1, 才川 隆文1, Jacques Garrigue11Nagoya University
60 定理証明支援系 Coq の証明から抽出されたプログラムに対する型主導の最適化 C3 学生発表 ポスター礒田 華成1, 亀山 幸義11筑波大学
61 様々な組合せ子のω-強頭部正規化可能性の反証 C3 ポスター岩見 宗弘11島根大学
62 並行命令型プログラミング言語のための所有権篩型システム C3 学生発表 ポスターJunya Hirashima1, Atsushi Igarashi1, Kohei Suenaga11Kyoto University
63 ループのための様相演算子 C3 学生発表 ポスター間庭 彬仁11東京工業大学
64 文脈自由文法における wildcard と PEG における lake symbol の比較について C3 ポスター山崎 徹郎1, 千葉 滋11東京大学
65 正確なポインタ解析を採用したより高速なbackward解析によるpath-sensitive解析手法 C3 学生発表 ポスター児玉 龍太郎1, 荒堀 喜貴2, 権藤 克彦21東京工業大学大学院 2東京工業大学
66 CSLMNtalの効率的中間命令列を生成するアルゴリズム C3 学生発表 ポスター白井 涼也1, 上田 和紀11早稲田大学
67 整数パラメータ付き文字列制約のトランスデューサに基づく解法とその応用例 C3 学生発表 ポスター釜野 雅基1, 宮地 風汰1, 南出 靖彦11東京工業大学情報理工学院
68 SATySFi におけるドメイン固有型エラー診断 C3 学生発表 ポスター小林 亮太1, 佐藤 重幸1, 田浦 健次朗11東京大学
69 Mixed-Size Accessesを含む並行Cプログラムの効率的なステートレスモデル検査 C3 学生発表 ポスター・デモ水橋 大瑶1, 佐藤 重幸1, 田浦 健次朗11東京大学
70 Pyrightから得られる型情報を利用して効率の良いコードを生成するPythonコンパイラのLLVMを用いた実装 C3 学生発表 ポスター岡本 祐希1, 篠埜 功11芝浦工業大学
71 Kalpis: An Arrow Metalanguage for Partially Invertible Computation C3 学生発表 ポスター・デモAnders Ågren Thuné1, Kazutaka Matsuda1, Meng Wang21Graduate School of Information Sciences, Tohoku University 2University of Bristol
72 読解性のある部分難読化 C3 学生発表 ポスターMasaki Kameyama1, Katsuhiko Gondow1, Yoshitaka Arahori11Tokyo Institute of Technology
73 CPS変換による計算効果のある高階関数型言語に対する最弱事前条件の計算 C3 ポスター内藏 理史11National Institute of Informatics
74 Visual Debugger with a Programmatically Customizable View C3 学生発表 ポスター・デモRifqi Adlan Apriyadi1, Hidehiko Masuhara1, Youyou Cong11Tokyo Institute of Technology
75 ポインタ演算を含むプログラムのための所有権型 C3 学生発表 ポスター・デモ田中 泉生1, 小林 直樹2, 佐藤 亮介21東京大学理学部情報科学科 2東京大学大学院情報理工学系研究科
76 HTML5 字句解析仕様に対する自動的な形式表現への変換 C3 学生発表 ポスター五十嵐 彩夏1, 南出 靖彦11東京工業大学情報理工学院
77 String Analysisを用いたDOM型Cross-Site Scriptingの検出アルゴリズムの実装および評価 C3 ポスター山口 大輔1, 千田 忠賢21NTT 2NTTセキュリティ・ジャパン/ NTT
78 q-類似のCoqによる形式化 C3 学生発表 ポスター・デモ中村 薫11名古屋大学
79 次世代コンピュータ会計システムの基盤に向けて C3 ポスターHaochen Kotoi-Xie1, 森山 巧1, 宇田 拓馬11Kotoi-Xie Consultancy, Inc.
80 Towards Static Analysis for Object Persistence in Non-volatile Memory C3 学生発表 ポスターYilin Zhang1, Kotaro Matsumoto2, Tomoharu Ugawa1, Shigeru Chiba11University of Tokyo 2Kochi University of Technology
81 限定継続のための高階プログラム論理 C3 学生発表 ポスター佐藤 惇1, 関山 太朗2, 五十嵐 淳11京都大学 2国立情報学研究所
82 REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価 C3 学生発表 ポスター・デモ鈴木 豪1, 渡部 卓雄1, 森口 草介11東京工業大学
83 Processing-in-MemoryアーキテクチャUPMEMに適した探索木に向けての予備調査 C3 学生発表 ポスター奥田 光1, 鵜川 始陽11The University of Tokyo
84 Toward Parameterized Versions in Object-oriented Version Programming C3 学生発表 ポスターLuthfan Lubis1, Yudai Tanabe1, Tomoyuki Aotani2, Hidehiko Masuhara11Tokyo Institute of Technology 2Mamezou Co., Ltd.
