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 paper titled “Formal Verification of Data Parallel Code Templates for GPGPU”, authored by Asakura, Masuhara, Aotani is accepted at PPL 2016.
A paper titled “Declaring Constraints on Object-oriented Collections”, authored by Tim Felgentreff, Robert Hirschfeld, Maria Graber, Alan Borning and Hidehiko Masuhara, is presented at 108th IPSJ PRO Workshop.
The first meeting of SIGPX (Special Interest Group on Programming Experience) is planned as follows.
- date: Saturday February 27, 2016
- location: Tokyo Tech
More information is on the SIGPX page.
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)
Sorry, this entry is only available in 日本語.
Greetings of the Season from the PRG members!
Ruochen’s Chinese Specials
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.
Title: The Future of Software Engineering
Speaker: Grady Booch
Date/Time: Tuesday, November 24, 2015, 15:00-16:30
Location:
E1001 Meeting Room, 10F, West Building 8-E,
Ookayama Campus, Tokyo Institute of Technology
東京工業大学 大岡山キャンパス 西8号館 E棟 10階大会議室
(access and map) (more…)
A discussion on “20 Years of Ruby, The Future of Ruby”, with Yukihiro Matsumoto, Kazuhiko Kato, Shigeru Chiba, and Hidehiko Masuhara, is published in IPSJ Magazine.
