Springer, Wauligmann, Masuharaによる論文“Modular Array-based GPU Computing in a Dynamically-typed Language”がPLDI 2017併設のACM SIGPLAN 4th International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2017)にて発表されます。
第114回情報処理学会プログラミング研究会において朝倉、増原、松本、松崎による「超解像処理におけるAccelerateプログラムのオーバーヘッドとその解消」の発表があります。
KhatchadourianとMasuharaによる論文 “Automated refactoring of legacy Java software to default methods” がInternational Conference on Software Engineering (ICSE’17)に採録されました。
以下の日程で大学院進学相談会/大学院入試説明会が行われます。当研究室への進学を考えている場合は参加をご検討下さい。
岡、増原、今井、青谷による論文 “Live Data Structure Programming” が The 2nd Edition of the Programming Experience Workshop (<Programming> 2017 と共同開催) で発表されます。
第19回プログラミングおよびプログラミング言語ワークショップでポスター発表を行います。
以下の論文が第113回情報処理学会プログラミング研究発表会で発表されます。
研究室メンバーが修士論文発表を行いました。
朝倉，増原，青谷による論文 “CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL” が CoqPL 2017 (POPL 2017と共同開催) で発表されます．論文はこちらからダウンロードできます．
朝倉，増原，青谷によるポスター “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” が APLAS 2016 で発表されます．