論文

• Izumi Asakura, Hidehiko Masuhara, Takuya Matsumoto, Kiminori Matsuzaki. Identification and Elimination of the Overhead of Accelerate with a Super-Resolution Application, Journal of Information Processing, Vol. 26, pp. 48--53, Jan. 2018.
• 朝倉泉, 増原英彦, 松本拓也, 松崎公紀. 超解像処理におけるAccelerateプログラムのオーバーヘッドとその解消, 情報処理学会第114回プログラミング研究会発表:, June 2017.
• Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani. Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq, Journal of Information Processing, Information Processing Society of Japan, Vol. 24, No. 1, pp. 132-140, Jan. 2016.

国際会議発表 (査読有り)

• Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani. CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL, Proceedings of The Third International Workshop on Coq for Programming Languages (CoqPL 2017), colocated with PoPL'17, Jan. 2017.

国内会議発表 (査読有り)

• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. GPGPUプログラム最適化のためのプログラム合成器とその適用手法, The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018), May 2018.
• 朝倉泉, 増原英彦, 青谷知幸. GPGPU向けデータ並列コードテンプレートの形式検証, 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 日本ソフトウェア科学会プログラミング論研究会.

国内会議発表 (査読なし・不明)

• 朝倉泉, 増原英彦, 青谷知幸. CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ, 日本ソフトウェア科学会第34回大会, Sept. 2017.
• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA, 情報処理学会第113回プログラミング研究会発表:, pp. 2016-5-(6), Mar. 2017.
• 朝倉泉, 増原英彦, 青谷知幸. 検証済みコンパイラCertSkelによるGPGPUプログラム開発, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. Kani-CUDAによるGPGPUプログラムの合成, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 朝倉泉, 増原英彦, 青谷知幸. GPGPUのための並行分離論理のCoqによる健全性証明, 情報処理学会第104回プログラミング研究会, 情報処理学会, pp. 2015-1-（4）, June 2015.
• 朝倉 泉, 増原 英彦, 青谷 知幸. Ocommand：Ocaml上の型安全なシェルプログラミングのための領域特化言語の提案, 情報処理学会第99回プログラミング研究会発表, pp. 2014-1-（3）, June 2014.
• 朝倉 泉, 増原 英彦, 青谷 知幸. GPGPUカーネル検証のための分離論理のCoｑによる形式化, 第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014), Mar. 2014.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]