日本語

Thesis

2021

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

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

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

2018

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

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

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

2017

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

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

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

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

2015

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

2014

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

2013

A Study on Implementations of Feature Interaction in Software Product Lines

Expressive and Safe Destructive Extensions for Separation of Concerns

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

2012

Coordinated and Secure Server Consolidation Using Virtual Machines

2011

Tool Support for Modularized Documentation at the Design and Implementation Phase

A Study of Superinstructions and Dynamic Mixin Optimizations

2009

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

A New Kind of Advice for Advice Composition without Interference

2008

An Aspect-Oriented Programming Language for Agile Software Development

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

A Study of modular reasoning in AspectJ

2005

A Study of Dynamic Weaving for Aspect-Oriented Programming

2004

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

2002

A Study of a Dynamic Safety Net for Server Software

A Class-Object Model for Program Transformations

1996

A Study of a Compile-time Metaobject Protocol