About PRG Member



View all posts by PRG Member

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.

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

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.
1-20160614_115422

Oka, Kani and Natsume have joined our lab!

Oka Akiou, Kani Akira and Natsume Atsuyuki have joined our laboratory!!!

Oka : I would like to write a lot of programs.

Members as of April 2016

Members as of April 2016

Paper presentations at MODULARITY 2016 and co-located workshops

There are following paper presentations at the international conference on MODULARITY 2016 and its co-located workshops.

  • “Matriona: Class Nesting with Parameterization in Squeak/Smalltalk”, the Modularity Visions Track (authored by Springer, Niephaus, Hirschfeld, Masuhara)
  • “An Advice Mechanism for Non-local Flow Control”, Workshop on Foundations of Aspect-Oriented Languages (FOAL’16), (authored by Masuhara, Fujita, Aotani)
  • “Hierarchical Layer-Based Class Extensions in Squeak/Smalltalk”, Workshop on Live Adaptation of Software SYstems (LASSY), (authored by Springer, Masuhara, Hirschfeld)
  • “Towards Improving Interface Modularity in Legacy Java Software through Automated Refactoring”, Workshop on Language Modularity À La Mode (LaMOD’16), (authored by Khatchadourian, Moore, Masuhara)
  • “Toward Fluent Module Interactions”, MASS 2016 – Workshop on Modularity Across the System Stack, (authored by  Kamina, Aotani, Masuhara)
  • “Lightweight Optimization Technique for Data Types à la Carte”, the Language Modularity à La Mode (LaMOD’16), (authored by Kiriyama, Aotani, Masuhara)
“Matriona: Class Nesting with Parameterization in Squeak/Smalltalk”, the Modularity Visions Track (authored by Springer, Niephaus, Hirschfeld, Masuhara)

“Matriona: Class Nesting with Parameterization in Squeak/Smalltalk”, the Modularity Visions Track (authored by Springer, Niephaus, Hirschfeld, Masuhara)

“Lightweight Optimization Technique for Data Types à la Carte”, the Language Modularity à La Mode (LaMOD’16), (authored by Kiriyama, Aotani, Masuhara)

“Lightweight Optimization Technique for Data Types à la Carte”, the Language Modularity à La Mode (LaMOD’16), (authored by Kiriyama, Aotani, Masuhara)

"Towards Improving Interface Modularity in Legacy Java Software through Automated Refactoring", Workshop on Language Modularity À La Mode (LaMOD'16), (authored by Khatchadourian, Moore, Masuhara)

“Towards Improving Interface Modularity in Legacy Java Software through Automated Refactoring”, Workshop on Language Modularity À La Mode (LaMOD’16), (authored by Khatchadourian, Moore, Masuhara)

Next page →