About member
View all posts by member
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
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)
“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)
Paper/Poster Presentations at PPL 2016
Our group will present the following paper and posters at the 18th Workshop of Programming and Programming Languages (第18回プログラミングおよびプログラミング言語ワークショップ).
- GPGPU向けデータ並列コードテンプレートの形式検証 (authored by Asakura, Masuhara, Aotani)
- Featherweight JavaのMeta-Theory a la Carteを利用した拡張可能な形式化フレームワーク (Poster, authored by Okugawa, Masuhara, Aotani)
- Ikra: Leveraging Object-oriented Abstractions in a Ruby-to-CUDA JIT Translator (Poster, authored by Springer, Masuhara)
- RPythonを用いたErlang仮想機械PyrlangにおけるJITコンパイル方針の改良 (Poster, authored by Huang, Masuhara, Aotani)
- 多次元的文脈指向言語Korzのメソッドディスパッチの改善 (Poster, authored by Watanabe, Masuhara, Aotani)
A talk on formal verification of DSLs generating GPGPU programs at PPL 2016
A paper titled “Formal Verification of Data Parallel Code Templates for GPGPU”, authored by Asakura, Masuhara, Aotani is accepted at PPL 2016.
Asakura presented master’s thesis, and Okugawa, Taya, and Watanabe presented bachelor’s theses
Asakura presented his master’s thesis at the Tokyo Institute of Technology.
The title:
- Formal Verification of Data Parallel DSLs for GPGPU based on Concurrent Separation Logic (PDF)
Okugawa, Taya and Watanabe presented their bachelor’s theses at the Tokyo Institute of Technology.
Theses titles:
- An Extension of Meta-Theory a la Carte for Object Oriented Programming Languages (Ryo Okugawa)
- A Method of Data Representation and Parallelization for Multiple GPUs on Array Oriented DSL (Atsushi Taya)
- Improvement of Power of Expression of a Multi-dimensional Context Oriented Programming Language Korz (Keita Watanabe)
A group including Kiriyama won the IDW ’15 Challenging-spirit Demonstration Award
A paper “Development of Poor Man’s 3D-AR Platform for Amateur Game Creators” authored by a group including Kiriyama has won the IDW ’15 Challenging-spirit Demonstration Award.
Poster & demo presentations at SPLASH ’15
We present the following posters and demos at at Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 15).
- [demo] Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing (Imai, Masuhara and Aotani)
- [demo] Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software (Khatchadourian, Rashid, Masuhara, and Watanabe)
- [poster] Pyrlang: A High Performance Erlang Virtual Machine Based on RPython (Huang, Masuhara and Aotani)
- [poster] Shiranui: A Live Programming with Support for Unit Testing (Imai, Masuhara and Aotani)
Two papers on context-oriented programming are presented at COP’15
The following papers are presented at 7th International Workshop on Context-Oriented Programming co-located with ECOOP’15
- “Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation” by Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara
- “Method Safety Mechanism for Asynchronous Layer Deactivation” by Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara and Atsushi Igarashi
A paper on concurrent separation logic for GPGPU is accepted by IPSJ Transaction on Programming.
A paper on “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” authored by Asakura, Masuhara, Aotani is accepted by IPSJ Transaction on Programming.
A talk on soundness of concurrent separation logic by using coq is given at IPSJ PRO workshop
A talk on “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” is given by Izumi Asakura, Hidehiko Masuhara, and Tomoyuki Aotani at the 104th IPSJ PRO workshop.
