Category: news


Yusuke Izawa and Jeanine Adkisson Receive Student Research Competition Awards at <Programming> 2019


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

Paper/Poster/Demo Presentations at <Programming> 2019

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.

New Members: Youyou Cong, Jizhe Chenxin and Junya Nose

We welcome three new members:

(all members)

Paper & Poster presentation at PPL 2019

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.

Talks by Mr. Fabio Niephaus and Prof. Fernando Castor

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.

Prof. Ivan Beschastnikh’s talk

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…)

Bachelor’s theses presentations by Luthfan, Niimi and Ogushi

Three members present their Bachelor’s theses.

  • Lubis Luthfan, Batak Java: Version Numbered Object-oriented Language to Solve Dependency Hell  (PDF)
  • Kazuki Niimi, GPU向けデータ並列中間言語 Lift におけるフィルター関数の設計と実装   (PDF)
  • Tomoki Ogushi, データ構造の関係性を視認しやすくする自動グラフレイアウト手法   (PDF)

(official announcement)

Final Presentation for Tokyo Tech Winter Program by Yige Wen

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]

Master’s theses presentation by Kani, Natsume and Oka

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)

Paper on a shell-like language presented at IPSJ PRO

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.

Next page →
← Previous page