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

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

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

2019-05-27.

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

← Second Place of ACM Student Research Competition, Yusuke Izawa, 2019, BacCaml: The Meta-Hybrid Just-in-time Compiler