Category: dissertation


Doctoral thesis defense by Matthias Springer

Matthias Springer had a public defense of his doctoral dissertation on “Memory-Efficient Object-Oriented Programming on GPUs.”  His doctoral degree is almost there!

(more…)

2019-07-08.

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)

2019-02-08.

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)

2019-02-01.

Okugawa’s Master Thesis and Tanabe&Izawa’s Bachelor Theses

Ryo Okugawa presented his Master’s thesis.

  • 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (PDF)

Yudai Tanabe and Yusuke Izawa presented their Bachelor’s theses.

  • プログラミング言語へのバージョンの導入の研究 (Tanabe)
  • メタ混合JITコンパイラの提案 (伊澤)
2018-02-10.

Imai and Kiriyama presented Master’s Theses

Our members defended their Master’s theses.

  • Tomoki Imai, ライブプログラミングが生産性に与える影響に関する実証研究 (PDF)
  • Hirotada Kiriyama, 拡張可能な構文定義の枠組み (PDF)

2017-02-02.

Huang presented Master’s Thesis

Our member defended their Master’s theses.

  • Ruochen Huang,Pyrlang: A High Performance Erlang Virtual Machine Based on RPython (PDF)

2016-08-03.

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)
2016-02-10.

Imai, Kiriyama and Fujita presented bachelor’s thesis

Imai, Kiriyama and Fujita presented their bachelor’s theses at the Tokyo Institute of Technology

Theses titles:

  • Shiranui: Live Programming Environment Integrating Test (Tomoki Imai)
  • Compile-time Datatype Composition for Efficiency and Modularity (Hirotada Kiriyama)
  • Chop&Graft: an Aspect Oriented Mechanism to Cut and Paste Global Control Flowｓ(Kenta Fujita)
2015-02-13.

Okumura, Asakura and Moriya presented bachelor’s thesis

Okumura, Asakura, and Moriya presented their bachelor’s theses at the Tokyo Institute of Technology

Theses titles:

  • Load Balancing in Merge Sort on GPGPU(Toshifumi Okumura)
  • A Domain Specific Language for Type Safe Shell Programming (Izumi Asakura)
  • A Context Oriented Programming Approach to Implement Power Saving Techniques Modularly in Mobile Phone Applications (Ryogo Moriya)
2014-02-14.

Nishiguchi, Murakami and Shao presented Master’s Theses

Nishiguchi, Murakami, and Shao presented their Master’s Theses at the University of Tokyo.

Theses titles:

  • Type inference in a Ruby-based scripting language for GPGPU (Yusuke Nishiguchi)
  • A Source Code Recommendation System Based on Degree of Interest (Naoya Murakami)
  • A Study of An Aspect-Oriented Algorithm Animation Framework (Bingfeng Shao)
2014-02-04.
← Previous page