朝倉、増原、青谷による論文 “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq”が2018年度の情報処理学会論文賞を受賞しました。
