Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq. - Izumi Asakura; Hidehiko Masuhara; Tomoyuki Aotani (J. Inf. Process., 2016)

Identification and Elimination of the Overhead of Accelerate with a Super-resolution Application. - Izumi Asakura; Hidehiko Masuhara; Takuya Matsumoto; Kiminori Matsuzaki (J. Inf. Process., 2018)