A paper on concurrent separation logic for GPGPU is accepted by IPSJ Transaction on Programming.
A paper on “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” authored by Asakura, Masuhara, Aotani is accepted by IPSJ Transaction on Programming.