Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU (bibtex)

by Izumi Asakura, Hidehiko Masuhara and Tomoyuki Aotani

Reference:

Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU (Izumi Asakura, Hidehiko Masuhara and Tomoyuki Aotani), 14th Asian Symposium on Programming Languages and Systems (APLAS 2016), poster presentation, 2016.

Bibtex Entry:

@misc{asakura2016aplas-poster,
  pdf = {aplas2016.pdf},
  author = {Izumi Asakura and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {Towards a Formally Verified Skeleton-based Data Parallel {DSL} for {GPGPU}},
  url = {http://www.fos.kuis.kyoto-u.ac.jp/aplas2016/accepted-posters/},
  location = {Hanoi, Vietnam},
  howpublished = {14th Asian Symposium on Programming Languages and Systems (APLAS 2016), poster presentation},
  month = nov,
  year = 2016,
  date = {2016-11-21},
  keywords = {Coq, CertSkel}
}