APLAS 2016で GPGPU 用 DSL の形式検証に関するポスター発表

1-20161122_152834
朝倉，増原，青谷によるポスター “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” が APLAS 2016 で発表されます．

2016-11-22.
→
←