Asakura et al. received the IPSJ Outstanding Paper Award
The paper entitled “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” by Asakura, Masuhara and Aotani, received the 2018 IPSJ Outstanding Paper Award.
Programming Research Group
Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo Institute of Technology)