Our paper “Modular Array-based GPU Computing in a Dynamically-typed Language” (authored by Springer, Wauligmann and Masuhara) was accepted for publication at the ARRAY ACM SIGPLAN 4th International Workshop on Libraries, Languages and Compilers for Programming (ARRAY 2017), co-located with PLDI 2017.
A paper on Identification and Elimination of the Overhead of Accelerate with a Super-Resolution Application, authored by Asakura, Masuhara, Matsumoto and Matsuzaki, is presented at 114th IPSJ PRO Workshop.
A paper entitled “Automated refactoring of legacy Java software to default methods”, authored by Khatchadourian and Masuhara, is accepted by International Conference on Software Engineering (ICSE’17).
The orientations for prospective graduate students are held on these days (details):
Please contact Hidehiko Masuhara if you are interested in.
Our paper “Live Data Structure Programming” (authored by Oka, Masuhara, Imai, Aotani) is presented at The 2nd Edition of the Programming Experience Workshop co-located with <Programming> 2017.
Our group will present the following posters at the 19th Workshop of Programming and Programming Languages (第19回プログラミングおよびプログラミング言語ワークショップ).
The following papers are presented at the 113th IPSJ Workshop on Programming.
Our members defended their Master’s theses.
Our paper “CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL” (authored by Asakura, Masuhara, and Aotani), is presented at CoqPL 2017, co-located with POPL 2017. The paper is available here.
Our poster “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” (authored by Asakura, Masuhara, and Aotani), is presented at APLAS 2016.