About member
View all posts by member
Okugawa’s Master Thesis and Tanabe&Izawa’s Bachelor Theses
Ryo Okugawa presented his Master’s thesis.
- 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (PDF)
Yudai Tanabe and Yusuke Izawa presented their Bachelor’s theses.
Akio Oka receives IPSJ Computer Science Research Award for Young Scientists
Akio Oka is awarded IPSJ Computer Science Research Award for Young Scientists for his paper presentation on “Visualization and Interactive Features for Supporting Data Structures in Live Programming.”
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.
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 113th IPSJ-PRO
The following papers are presented at the 113th IPSJ Workshop on Programming.
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.
Poster Presentation on a Certified DSL for GPGPU at APLAS’16
Our poster “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” (authored by Asakura, Masuhara, and Aotani), is presented at APLAS 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).
Paper Presentation at COP 2016
Our paper “Classes as Layers: Refactoring Design Patterns with COP” (authored by Springer, Masuhara and Hirschfeld) was accepted for publication at the International Workshop on Context-oriented Programming (COP 2016), co-located with ECOOP 2016.
Paper Presentation at ARRAY 2016
Our paper “Object Support in an Array-based GPGPU Extension for Ruby” (authored by Springer and Masuhara) was accepted for publication at the ARRAY ACM SIGPLAN 3rd International Workshop on Libraries, Languages and Compilers for Programming (ARRAY 2016), co-located with PLDI 2016.
