@article{CTT100783244,
  author = {Izumi Asakura and Hidehiko Masuhara and Takuya Matsumoto and Kiminori Matsuzaki},
  title = {Identification and Elimination of the Overhead of Accelerate with a Super-Resolution Application},
  journal = {Journal of Information Processing},
  year = 2018,
}

@article{CTT100783253,
  author = {朝倉泉 and 増原英彦 and 松本拓也 and 松崎公紀},
  title = {超解像処理におけるAccelerateプログラムのオーバーヘッドとその解消},
  journal = {情報処理学会第114回プログラミング研究会発表:},
  year = 2017,
}

@article{CTT100719101,
  author = {Izumi Asakura and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq},
  journal = {Journal of Information Processing},
  year = 2016,
}

@inproceedings{CTT100783262,
  author = {蟹暁 and 朝倉泉 and 増原英彦 and 青谷知幸},
  title = {GPGPUプログラム最適化のためのプログラム合成器とその適用手法},
  booktitle = {The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018)},
  year = 2018,
}

@inproceedings{CTT100783254,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ},
  booktitle = {日本ソフトウェア科学会第34回大会},
  year = 2017,
}

@inproceedings{CTT100752870,
  author = {蟹暁 and 朝倉泉 and 増原英彦 and 青谷知幸},
  title = {バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA},
  booktitle = {情報処理学会第113回プログラミング研究会発表:},
  year = 2017,
}

@inproceedings{CTT100752871,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {検証済みコンパイラCertSkelによるGPGPUプログラム開発},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100752874,
  author = {蟹暁 and 朝倉泉 and 増原英彦 and 青谷知幸},
  title = {Kani-CUDAによるGPGPUプログラムの合成},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100752864,
  author = {Izumi Asakura and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL},
  booktitle = {Proceedings of The Third International Workshop on Coq for Programming Languages (CoqPL 2017), colocated with PoPL'17},
  year = 2017,
}

@inproceedings{CTT100719040,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {GPGPUのための並行分離論理のCoqによる健全性証明},
  booktitle = {情報処理学会},
  year = 2015,
}

@inproceedings{CTT100688149,
  author = {朝倉 泉 and 増原 英彦 and 青谷 知幸},
  title = {Ocommand：Ocaml上の型安全なシェルプログラミングのための領域特化言語の提案},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100688154,
  author = {朝倉 泉 and 増原 英彦 and 青谷 知幸},
  title = {GPGPUカーネル検証のための分離論理のCoｑによる形式化},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100719013,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {GPGPU向けデータ並列コードテンプレートの形式検証},
  booktitle = {日本ソフトウェア科学会プログラミング論研究会},
  year = ,
}