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.
A paper titled “Improving Sequential Performance of Erlang based on a Meta-tracing Just-In-Time Compiler”, authored by Huang, Masuhara and Aotani, is accepted by the Post-Proceeding of the 17th Symposium on Trends in Functional Programming (TFP’16), held in June.
Our paper entitled “Towards Automatic Decoration”, authored by Aotani and Kamina, has been accepted by and will be presented at NOOL 2016