IPSJ Outstanding Paper Award, Izumi Asakura, et al., 2018, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq – Programming Research Group

IPSJ Outstanding Paper Award, Izumi Asakura, et al., 2018, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq

Please wait while you are redirected...or Click Here if you do not want to wait.

2019-06-05.

Best Student Presentation Award at ISMM, Matthias Springer, 2019, Massively Parallel GPU Memory Compaction →

← JSSST Best Research Paper Award, Hidehiko Masuhara et al., 2019, Unravel Programming Sessions with THRESHER