GPGPUプログラミングのためのRuby言語処理系Ikra GPGPUはその性能が注目される一方で、プログラミングの手間が問題となっています。そこで、Rubyからの言語変換により簡単にGPGPUプログラムを作成することのできる言語処理系Ikraを提案します。言語変換という手法を用いることにより、カーネル(GPU実行部)内もRubyで記述することが可能となります。 ソースコード https://prg-titech.github.io/ikra-ruby/ 関連プロジェクト Ikraプロジェクトから派生して低レベル言語や他言語での研究、また仕様検証などにも取り組んでいます。 DynaSOAr: Efficient Parallel Object Allocator for GPGPU Proof of Soundness of Concurrent Separation Logic for