• Projects
• Publications
• Members
• Photos
• About us
• Contact

日本語

Thesis

2025

A study of efficient effect handling in C++: Encoding tail-resuming as function returning
(C++ における効率的なエフェクトハンドリングの研究：末尾リジュームの関数リターンによる実装)

• Yuze Fu
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2025.
• Get Copy

2024

A Study on Support Tool of Solving Software Regression in JavaScript
(JavaScript のソフトウェアリグレッションの解決に向けた支援 ツールの研究)

• Yuefeng Hu
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2024.
• Get Copy

2023

A Study of Improving Feasibility for Dictating Programming Systems
(口述プログラミングシステムの実用性を向上させるに関する研究)

• Cai Wennong
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2023.
• Get Copy

A cause detector of software regressions by comparing program execution traces
(プログラム実行履歴の比較によるリグレッションの原因検出器)

• Hiromu Ishibe
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2023.
• Get Copy

2022

A Detection System of Inappropriate Method Placements in Java Projects
(Java プロジェクトにおけるメソッド配置の誤り検知システムの開発)

• Kazuki Yoda
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2022.
• Get Copy

2021

A Study on Static and Dynamic Programming Assistance for Embedded Domain-Specific Languages
(埋込みドメイン特化言語向け静的および動的プログラミング支援 に関する研究)

• Katsumi Okuda
• Ph.D. Dissertation, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2021.
• Get Copy

A Study of Protocol-Checking and Memory-Management Techniques for Assisting Library Development
(ライブラリ開発を支援するためのプロトコル検査およびメモリ管理技術の研究)

• Tetsuro Yamazaki
• Ph.D. Dissertation, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2021.
• Get Copy

An Empirical Study and Code-Generation Techniques for Fluent Interfaces
(Fluent Interface のための実証研究とコード生成技術)

• Tomoki Nakamaru
• Ph.D. Dissertation, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2021.
• Get Copy

Training a cross-language code-clone detection model with graph-to-sequence task
(Graph-to-sequence タスクで言語間コードクローン検出モデルを訓練する)

• Xuyang Yao
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, March 2021.
• Get Copy

2018

Improving Composability Support in User-Extensible Type Systems
(拡張可能な型システムにおける型の合成機能の改善)

• Antoine Tu
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, March 2018.
• Get Copy

A Study on a Translation Method from BNF-Style Grammars to Fluent Embedded Domain-Specific Languages with Subchaining
(BNF 形式の文法から fluent な内部ドメイン固有言語への変換手法の研究)

• Tomoki Nakamaru
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, March 2018.
• Get Copy

A study of machine learning approaches to cross-language code clone detection
(言語間でのコードクローン検出のための機械学習的な手法についての研究)

• Daniel Perez
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, March 2018.
• Get Copy

2017

A Platform for Composable and Statically-Checkable Domain-Specific Languages
(合成可能かつ静的検査可能なドメイン専用言語のためのプラットフォーム)

• Kazuhiro Ichikawa
• Ph.D. Dissertation, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, 2017.
• Get Copy

Accelerating Method Dispatch on Method Seals with Call-trail Dependent Inline Caching
(Call-trail 依頼性を用いたインラインメソッドキャッシュによる Method Seals のメソッドディスパッチの加速)

• Wei Zhang
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, September 2017.
• Get Copy

Effective Deployment of Data-intensive Frameworks on Supercomputers
(スーパーコンピュータ上へのデータ集約型計算フレームワークの効果的展開)

• Thanh-Chung Dao
• Ph.D. Dissertation, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, August 2017.
• Get Copy

A Study of Calling Convention Overhead on ARM Thumb-2 Platforms

• Joseph Caldwell
• Master's Thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, August 2017.
• Get Copy

2015

Pragmatic Extensions for Language Embedding Using Load-Time Metaprogramming
(言語埋込みのためのロード時メタプログラミングを用いた実用的拡張)

• Maximilian Scherr
• Ph.D. Dissertation, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, June 2015.
• Get Copy

2014

A Study on a Single Construct for Events, Aspects, and Behaviors

• YungYu Zhuang
• Ph.D. Dissertation, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, December 2013.
• Get Copy

2013

A Study on Implementations of Feature Interaction in Software Product Lines

• Fuminobu Takeyama
• Ph.D. Dissertation, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, December 2013.
• Get Copy

Expressive and Safe Destructive Extensions for Separation of Concerns

• Shumpei Akai
• Ph.D. Dissertation, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Feburuary 2013.
• Get Copy

Redom: A Distributed Object based Server-Centric Web Application Framework

• Eki Ko
• A Master's thesis, Department of Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo, January 2013.
• Get Copy

2012

Coordinated and Secure Server Consolidation Using Virtual Machines

• Hidekazu Tadokoro
• Ph.D. Dissertation, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, July 2012.
• Get Copy

2011

Tool Support for Modularized Documentation at the Design and Implementation Phase

• 【Recommended by IPSJ SIG】
• Michihiro Horie
• Ph.D. Dissertation, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, February 2011.
• Get Copy

A Study of Superinstructions and Dynamic Mixin Optimizations

• Salikh Zakirov
• Ph.D. Dissertation, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, February 2011.
• Get Copy, Slides

2009

An Extension of AspectJ to Weave Aspect into an Arbitrary Code Region

• Shumpei Akai
• A Master's thesis, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, January 2010.
• Get Copy, Slides

A New Kind of Advice for Advice Composition without Interference

• Fuminobu Takeyama
• A Master's thesis, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, January 2010.
• Get Copy, Slides

2008

An Aspect-Oriented Programming Language for Agile Software Development

• Muga Nishizawa
• Ph.D. Dissertation, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, February 2008.
• Get Copy

A Dynamic Aspect-oriented System for Data-driven Profiling of OS Kernels

• 【Recommended by IPSJ SIG】
• Yoshisato Yanagisawa
• Ph.D. Dissertation, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, February 2008.
• Get Copy

A Study of modular reasoning in AspectJ

• Michihiro Horie
• A Master's thesis, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, January 2008.
• Get Copy, Slides

2005

A Study of Dynamic Weaving for Aspect-Oriented Programming

• Yoshiki Sato
• Ph.D. Dissertation, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, December 2005.
• Get Copy

2004

Remote Pointcut --- A Language Construct for Distributed Aspect-Oriented Programming

• Muga Nishizawa
• A Master's thesis, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, January 2004.
• Get Copy, Slides

2002

A Study of a Dynamic Safety Net for Server Software

• Kenichi Kourai
• Ph.D. Dissertation, Department of Information Science, Faculty of Science, The University of Tokyo, March 2002.
• Get Copy, Slides

A Class-Object Model for Program Transformations

• Michiaki Tatsubori
• Ph.D. Dissertation, Graduate School of Engineering, University of Tsukuba, January 2002.
• Get Copy

1996

A Study of a Compile-time Metaobject Protocol

• Shigeru Chiba
• Ph.D. Dissertation, Graduate School of Science, The University of Tokyo, November 1996
• Get Copy

Computing Software Group Dept. of Creative Informatics Graduate School of Information Science and Technology
The University of Tokyo