Conference Prsentations (Oral, Poster) -
-
VSML/VSS: テキストベース動画編集のための動画構造/装飾記述言語
志岐 颯駿, 江本 健斗
火の国情報シンポジウム2024 2024.03
-
指定した形の中間証明状態へ至る形式証明の自動生成を目指して～Transformerを用い た深層学習的アプローチ～
鵜狩 慧久, 江本 健斗
火の国情報シンポジウム2024 2024.03
-
高性能・高信頼な高水準言語の実装向け持続型例外処理機構の設計
八杉 昌宏, 江本 健斗, 平石 拓
情報処理学会 第146回プログラミング研究発表会 2023.10
-
大域的グラフ計算記述言語の最適化および辺集合に関する拡張
福島 央章, 江本 健斗
火の国情報シンポジウム2023 2023.03
-
並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ
田中 匠海, 江本 健斗
火の国情報シンポジウム2022 2022.03
-
定理証明支援系Coqによる持続型例外処理機構の形式化
森 公哉, 江本 健斗
火の国情報シンポジウム2022 2022.03
-
Switching execution between vertex-centric computation and block-centric computation for distributed large-graph processing
Ryuichi Takakura, Kento Emoto.
9th International Symposium on Applied Engineering and Sciences (SAES2021) 2021.12
-
レベル付き持続型例外処理機構の設計
八杉 昌宏, 江本 健斗, 平石 拓
日本ソフトウェア科学会第38回大会
-
HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル
八杉 昌宏, 村岡 大輔, 平石 拓, 馬谷 誠二, 江本 健斗
日本ソフトウェア科学会第37回大会
-
Coq における Hylomorphism を用いたプログラム運算の検証に向けて
村田 康佑, 江本 健斗
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
-
高度な運算定理の Coq による証明とその自動化
村田 康佑, 江本健斗
日本ソフトウェア科学会第36回大会
-
Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成
神野 薫, 江本健斗
日本ソフトウェア科学会第36回大会
-
Coqを用いた高度なプログラム運算定理の検証に向けて
村田 康佑, 江本 健斗
第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
-
FregelからGraphXへのコンパイルにおけるSMTソルバを用いた不要な通信の削減
小西 篤志, 江本 健斗
第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
-
Coqにおける検証されたプログラム運算の拡張
村田 康佑, 江本健斗
日本ソフトウェア科学会第35回大会
-
Coqを用いた高度なプログラム運算定理の検証に向けて
村田 康佑, 江本 健斗
第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
-
グラフ上の生成検査集約プログラミングの実現に向けて
中島 拓, 江本 健斗
第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)
-
Coqにおける可読性の高い形式的証明に向けて
村田 康佑, 江本 健斗
第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)
-
並列プログラム計算量の系統的機械証明手法の開発
白水 駿, 江本 健斗
日本ソフトウェア科学会第34回大会
-
頂点主体並列グラフ処理の制約解消器による効率化
森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉
日本ソフトウェア科学会第34回大会
-
頂点部分集合変数を備えた大規模グラフ計算用領域特化言語
定平 典久, 江本 健斗
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
-
Spark GraphXへのFregelコンパイラ
中島 拓, 江本 健斗
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
-
大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価
江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
日本ソフトウェア科学会第33回大会
-
大規模グラフ並列処理のための関数型領域特化言語
江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
-
A Functional DSL for Large Scale Graph Processing
Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)
-
Accumulative Computation on MapReduce
劉 雨, 江本 健斗, 松崎 公紀, 胡 振江
情報処理学会 第95回プログラミング研究発表会
-
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
Kento Emoto, Kiminori Matsuzaki
International Symposium on High-level Parallel Programming and Applications (HLPP2013)
-
An Accumulative Computation Framework on MapReduce
劉 雨, 江本 健斗, 松崎 公紀, 胡 振江
第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013)
-
boost::proto を用いた融合変換機能付きライブラリの作成
松崎 公紀, 江本 健斗
情報処理学会 第93回プログラミング研究発表会
-
A Practical Generate-Test-and-Aggregate Framework on Hadoop
劉 雨,江本 健斗, 胡 振江
第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012)
-
Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012)
-
Implementing Generate-Test-and-Aggregate Algorithms on Hadoop
劉 雨, Sebastian Fischer, 江本 健斗, 胡 振江
日本ソフトウェア科学会第28回大会
-
正規表現マッチングの並列化とそのHadoopでの評価
松崎 公紀, 江本 健斗
情報処理学会 第83回プログラミング研究発表会
-
An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
Kento Emoto
第13回プログラミングおよびプログラミング言語ワークショップ (PPL 2011)
-
Semirings for Free! ---An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
Kento Emoto
The fourth DIKU-IST Workshop
-
GoG Style Parallel Programming for Non-numeric Computation
Kento Emoto
The 2nd Parallelism-Oblivious Programming (POP) Workshop
-
Active Libraries for Parallel Programming in Fortress
Kento Emoto
The 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
-
最適値の並列探索のための Improving Value の Fortress 実装
江本 健斗, 寺田 洋介, 松崎 公紀, 胡 振江, 武市 正人
第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010)
-
Implementing fusion-equipped parallel skeletons by expression templates
Kiminori Matsuzaki, Kento Emoto
the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009)
-
式テンプレートによる最適化機能付き並列スケルトン
松崎 公紀, 江本 健斗
日本ソフトウェア科学会第26回大会
-
プログラム運算に基づく最適化機能つきFortressライブラリ
江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人
第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009)
-
A Generative Matrix Library in Fortress Relieves Programmers' Headache!
江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人
日本ソフトウェア科学会第25回大会
-
Domain-Specific Optimization Strategy for Skeleton Programs
Kento Emoto
Workshop on Parallelism Oblivious Programming
-
近傍要素を必要とするスケルトンプログラムの最適化
江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
第9回プログラミングおよびプログラミング言語ワークショップ (PPL 2007)
-
Parallel Dynamic Programming using Data-Parallel Skeletons
-
助っ人：構成的な並列スケルトンによる並列プログラミングライブラリ
松崎 公紀, 明石 良樹, 江本 健斗, 岩崎 英哉, 胡 振江
日本ソフトウェア科学会第22回大会
-
木スケルトンによるXPathクエリの並列化とその評価
野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
日本ソフトウェア科学会第22回大会
-
Bidirectionalizing Tree Transformations
Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi
Workshop on New Approaches to Software Construction (WNASC 2004)