The paper entitled “Unravel Programming Sessions with THRESHER: Identifying Coherent and Complete Sets of Fine-granular Source Code Changes” by Taeumel, Platz, Steinert, Hirschfeld, and Masuhara, received the 23rd JSSST Best Research Paper Award.
(more…)
Yusuke Izawa and Jeanine Adkisson placed 2nd and 3rd in the Student Research Competition at <Programming> 2019. Yusuke Izawa presented his research, “BacCaml: The Meta-Hybrid Just-in-time Compiler”. Jeanine Adkisson presented her research, “Magritte: A modern Shell Language”.
There are the following presentations at <Programming> 2019 (The International Conference on the Art, Science, and Engineering of Programming), Genova, Italy, April 1-4, 2019.
- (Paper) “Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation” (by Izawa, Masuhara, Aotani) at MoreVMs’19 Workshop on Modern Language Runtimes, Ecosystems, and VMs
- (Paper) “A Shell-like Model for General Purpose Programming” (by Adkisson, Westlund, and Masuhara) at MoreVMs’19 Workshop on Modern Language Runtimes, Ecosystems, and VMs
- (Poster) “BacCaml: The Meta-Hybrid Just-In-Time Compiler” (by Izawa) at the ACM Student Research Competition (SRC)
- (Poster) “Magritte: A modern shell language” (by Adkisson) at the ACM Student Research Competition (SRC)
- (Demo) “Programming Experiences with a Live Programming Environment for Data Structures” (by Masuhara, Oka, Ogushi)
We welcome three new members:
(all members)
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)