The following papers were presented at PPL 2019.
On Defining Recursive Functions in Live Data Structure Programming (authored by Oka, Masuhara, Aotani)
A Profile-based GPGPU Program Synthesizer for Shared Memory Optimization(authored by Kani, Masuhara, Aotani)
The following poster was presented at PPL 2019.
Mr. Fabio Niephaus from Hasso-Plattner Institute and Prof. ernando Castor from UFPE gave talks at our seminar.
Mr. Niephaus’s talk was a demonstration of a virtual machine that can run multiple programming languages (“Polyglot Programming”) and has a JIT compiler.
Prof. Castor’s talk was about GreenHub, a platform that collects energy consumption by mobile applications.
Bridging the design and implementation of distributed systems with
program analysis
Speaker: Ivan Beschastnikh (University of British Columbia)
Date: Thursday February 21, 2019, from 3 p.m.
Location: Room W1008, West #8 Building, Tokyo Tech Ookayama Campus (東京工業大学 大岡山 西8号館 W棟 1008) (map)
(more…)
Three members present their Bachelor’s theses.
(official announcement)

Yige Wen, an exchange student from University Melbourne, gave the final presentation on his working during the Tokyo Tech Winter Program. He worked on “Designing a Domain Specific Language and its Transformer for Back-end Development of Information Management Systems” in our group.
[Poster]
Three members presented their Master’s theses.
- Akira Kani, 共有メモリ最適化のためのGPGPUプログラム合成器 (PDF)
- Atsuyuki Natsume, 文脈指向プログラムの検証法の研究 (PDF)
- Akio Oka, Supporting Recursive Function(s) in Live Data Structure Programming (PDF)
(official announcement)
Our paper “A Shell-like Model for General Purpose Programming” (authored by Jeanine Adkisson, Johannes Westlund, and Hidehiko Masuhara) was presented at the 122nd IPSJ PRO workshop in Fukuyama, Japan.
Yige Wen, a Tokyo Tech Winter Program student from University of Melbourne, joined our group. Yige will work with us for the next couple of months.
A paper entitled “Stochastic Energy Optimization for Mobile GPS Applications”, authored by Anthony Canino, David Liu and Hidehiko Masuhara, is accepted by ESEC/FSE 2018.
The poster “SoaAlloc: Accelerating Single-Method Multiple-Objects Applications on GPUs”, authored by Matthias Springer, was accepted at the ACM Student Research Competition (SRC) of the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2018.
Matthias Springer received the first place in the Graduate category of the SRC. (testimonials at ACM)