|
Publication List - Izumi Asakura (13 entries)
- 2023
- 2022
- 2021
- 2020
- 2019
- All
Journal Paper
-
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.
-
Izumi Asakura,
Hidehiko Masuhara,
松本拓也,
松崎公紀.
超解像処理における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.
International Conference (Reviewed)
Domestic Conference (Reviewed)
-
蟹暁,
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
GPGPUプログラム最適化のためのプログラム合成器とその適用手法,
The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018),
May 2018.
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
GPGPU向けデータ並列コードテンプレートの形式検証,
第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016),
日本ソフトウェア科学会プログラミング論研究会.
Domestic Conference (Not reviewed / Unknown)
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ,
日本ソフトウェア科学会第34回大会,
Sept. 2017.
-
蟹暁,
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA,
情報処理学会第113回プログラミング研究会発表:,
pp. 2016-5-(6),
Mar. 2017.
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
検証済みコンパイラCertSkelによるGPGPUプログラム開発,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
Official location
-
蟹暁,
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
Kani-CUDAによるGPGPUプログラムの合成,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
Official location
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
GPGPUのための並行分離論理のCoqによる健全性証明,
情報処理学会第104回プログラミング研究会,
情報処理学会,
pp. 2015-1-(4),
June 2015.
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
Ocommand:Ocaml上の型安全なシェルプログラミングのための領域特化言語の提案,
情報処理学会第99回プログラミング研究会発表,
pp. 2014-1-(3),
June 2014.
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
GPGPUカーネル検証のための分離論理のCoqによる形式化,
第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014),
Mar. 2014.
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|