Category Archives: news


Presentation of an automated refactoring paper at ICSE’17

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).

, May 20, 2017. Category: news.

Paper Presentation about live programming for data structures at PX 2017 Workshop

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.

Orientations for Prospective Graduate Students

The orientations for prospective graduate students are held on these days (details):

  • Saturday January 28, 2017 from 14:00
  • Saturady February 18, 2017 from 14:00
  • Saturday March 18, 2017 from 14:00
    (add to your calendar)

Please contact Hidehiko Masuhara if you are interested in.

Poster Presentations at PPL 2017

Our group will present the following posters at the 19th Workshop of Programming and Programming Languages (第19回プログラミングおよびプログラミング言語ワークショップ).

  • GPGPU Programming with the CertSkel Formally Verified Compiler (authored by Asakura, Masuhara, Aotani)
  • ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究 (authored by Imai, Masuhara, Aotani)
  • Kanonライブプログラミング環境を用いたデータ構造のプログラミング (authored by Oka, Masuhara, Imai, Aotani)
  • Kani-CUDAによるGPGPUプログラムの合成 (authored by Kani, Asakura, Masuhara, Aotani)
  • Iterative Stencil Computations in Ruby on GPUs (authored by Springer, Wauligmann, Masuhara)

 

Paper presentations at 113rd IPSJ-PRO

The following papers are presented at 113rd IPSJ Workshop on Programming.

  • Kani-CUDA: a GPGPU program synthesizer with barrier synchronization and a shared memory (authored by Kani, Asakura, Masuhara, Aotani)
  • Visualization and Interactive Features for Supporting Data Structures in Live Programming (authored by Oka, Masuhara, Aotani)

Paper Presentation on a Certified GPGPU DSL at CoqPL 2017

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.

Asakura's presentation at CoqPL'17

Poster Presentation on a Certified DSL for GPGPU at APLAS’16

1-20161122_152834
Our poster “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” (authored by Asakura, Masuhara, and Aotani), is presented at APLAS 2016.

Paper on Pyrlang is Accepted by the Post-Proceedings of TFP’16

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.

Paper presentation at NOOL

Our paper entitled “Towards Automatic Decoration”, authored by Aotani and Kamina,  has been accepted by and will be presented at NOOL 2016

Presentation about unit testing features for live programming environments at IPSJ-PRO 2016-3

Imai, Masuhara, Aotani will have a presentation at IPSJ PRO 2016-3.

The title is “Design and Implementation of Unit Testing Features for Live Programming Environments.”

You can download the paper from here (in Japanese).

Next page →