English

ワークショップ・ポスター・テクニカルレポート

2021

JavaScript エンジンの実装技術

Java システムにおけるパッケージ誤りのニューラルネットワークを用いた検出手法

コード内にコメントを入れる時に適切なコメントを例示するシステムの開発

静的型付き言語で動的に生成された型が含むバグの早期発見に向けた研究

Flashメモリを併用するスモールデバイス向けメモリ管理システム

オブジェクトの到達可能性による永続化をリードバリアを使わずに実現するアルゴリズムとその予備評価

パーサの段階的開発のための対話による文法編集に向けて

科学技術計算の並列プログラムを生成するための対話的最適化を行う Jupyter 併用型 DSL の設計

2020

対話的手法により最適化コードを生成する科学技術計算用DSL

教師ラベルなし単言語学習データのみでのcross-languageコードクローン検出の試み

Fluent API 生成の現実世界での利用に向けて

ある論文誌のための査読支援システム

不揮発性メモリの併用に特化したIOT向けプログラム言語ランタイム

他言語関数呼び出しにおける遠慮のかたまり問題の解決に向けたオブジェクトグラフの解析

YAML で記述された設定ファイルの静的検査器の開発

2019

不完全な文法からパーサを生成する手法の検討

GitHub 上の Java コードにおけるメソッドチェイン利用の定量的な分析

機械学習手法を用いた動的型付け言語のコード補完に向けて

2018

Skip-Gramモデルを用いたプログラミング言語の文法推定に向けて

アート体験のためにプログラミング過程の情報を構造化する上でのトークナイズ手法

ACM SPLASH 2017参加報告

2017

再帰型ニューラルネットワークを用いたコーディングスタイルの自動検査手法の提案

メモリ効率の良いスレッド生成のためのスタック領域のリンクリスト化

型検査を用いたコンパイル時LR構文解析手法の提案

2016

停止性の保証による rewrite rules の改良

動的型付き言語上での構文拡張手段の提供

動的型付け言語における構文拡張による曖昧性の回避手段の提供

密な演算子呼び出しで実現した内部 DSL の前処理による実行速度改善の試み

大規模コードクローン検出のための包含文字列を対象とした省メモリ化プログラム変換の予備的な性能評価

ビジュアル構文解析

密な演算子呼び出しで実現した内部DSLの別途処理記述による実行速度改善の試み

2015

コールスタックに基づいてクラス拡張の有効範囲を制御するための言語機構の提案

言語内DSLに名前束縛をもたらす

内部DSLの有効範囲を制御するための言語機構の提案

2014

限定継続演算子の拡張およびそれを用いた並列向け領域特化言語群の実現

依存関係をもった並列タスクのための動的グループバリア同期とその効率的な実装

指定されたメソッドの呼び出し中でオブジェクトのメモリレイアウトを整列化できるグラフ解析向けJavaコンパイラ

細粒度なコード再利用のための言語機構メソッド内メソッドの定量的な評価へ向けて

より柔軟な非同期実行記述を可能にするライブラリのための新しい限定継続演算子に向けて

科学技術計算における最適化に伴う分割の正しさを検査するユニットテストフレームワーク HPCUnit

2013

MethodとEvent、Advice、およびBehaviorを統合する言語機構

処理の差異と順序を考慮した並列コレクション向けJava言語拡張

HPCアプリケーション向け計算網羅性・計算順序をテストするツール

2012

メソッド間の依存関係から適切な計算順序を生成する言語

HPCアプリケーションにおけるOOPを用いたパフォーマンスチューニング

破壊的クラス拡張のスコープを制限するモジュール機構の意味論およびその実装方法

2011

横断的関心事に対応したオブジェクト指向言語GluonJとその織り込み関係の可視化ツール

ユーザ定義演算子による内部DSLの構成法

細かい粒度でコードの再利用を可能とするメソッド内メソッドとその効率の良い実装方法の提案

Kide: 開発環境によるオブジェクト指向言語でのアスペクト指向開発の支援

標準 Java 仮想機械上で動的にメンバーの追加を行う機構の提案

IDE を活用した言語機構に頼らないコード再利用のためのモジュール化

2010

Javaのための暗黙的に型定義される構造体

Kide: 流動的なモジュラリゼーションのための IDE サポート

仮想マシンモニタによるきめ細かいパケットフィルタリング

仮想マシンを用いたIDSオフロードにおけるCPU資源管理

2009

XenにおけるゲストOSの解析に基づくパケットフィルタリング

ユーザ毎にカスタマイズ可能 Web アプリケーション用のフレームワークの実装

セキュリティ機構のオフロード時の仮想マシンの性能分離

仮想マシン間プロセススケジューリングの実環境への適用にむけて

アスペクトの相互作用を解消するアスペクトの提案

2008

Web アプリをユーザー毎にカスタマイズ可能にする AOP フレームワーク

アスペクトのコメントをクラスのコメントに織り込む AspectJ 用の改良 Javadoc の提案

活性化のタイミング制御の実装を分離記述可能な分散動的アスペクト指向言語

プログラムの領域をポイントカットすることが可能なアスペクト指向言語

仮想マシンに対する高いサービス可用性を実現するパケットフィルタリング

仮想マシン間にまたがるプロセススケジューリング

クラスのインターフェースやその振る舞いに及ぼすアスペクトの影響の解析と可視化

2007

SAccessor:デスクトップPCのための安全なファイルアクセス制御システム

アスペクト指向言語のための独立性の高いパッケージシステム

C言語を用いたマシン非依存なJITコンパイラ作成フレームワーク

XenLASY: XenのI/O処理を追跡するためのアスペクト指向プロファイラ

仮想計算機を用いたサーバ統合における高速なソフトウェア若化手法

仮想計算機を用いたファイルアクセス制御の二重化

OSカーネル用アスペクト指向システム KLASY

例外処理のためのアスペクト指向言語

2006

AspectScope によるアスペクトとクラスのつながりの視覚化

OSが乗っ取られた場合にも機能するファイルアクセス制御システム

カーネル用アスペクト指向システム KLAS

仮想計算機を用いたサーバ統合における高速なリブートリカバリ

Recovery アドバイスをもつアスペクト指向システム

アスペクト指向プログラミングと Dependency Injection の融合

J2EEアプリケーションにおけるアプリケーションレベルスケジューリング

2005

アスペクト指向プログラミングと Dependency Injection の融合

アスペクト指向を利用した永続オブジェクト・アクセスの高速化

アスペクト指向を用いたカーネルプロファイラ

ウェブアプリケーションサーバのDegradation Schemeの制御に向けて

GluonJ によるビジネスロジックからのデータベースアクセスコードの分離

過負荷時のWebアプリケーションの性能劣化を改善するSession-level Queue Scheduling

2004

アスペクト指向を利用してデバッグコードを挿入できるソフトウェア開発環境

ソフトウェアの動的進化を可能にする Negligent Class Loader

アクセス集中時のWebサーバの性能に対するOSの影響

分散IDSの実行環境の分離による安全性の向上

通信処理のカーネル内競合を検出するアスペクト指向カーネルレベルロガー

Remote Pointcut --- A Language Construct for Distributed AOP

過負荷時のWebアプリケーションの性能劣化を改善するPage-level Queue Scheduling

遠隔ポイントカット --- 分散アスペクト指向プログラミングのための言語機構

2003

感性を考慮したジョブスケジューリング

仮想環境を用いた侵入検知システムの安全な構成法

オンデマンドのアスペクト・ウィービングに基づく Web アプリケーション開発のすすめ

分散Java プログラミングのためのアスペクト指向言語

他のプロセスに与える影響が少ない実行時ミラーリングシステム

VPNとホストの実行環境を統合するパーソナルネットワーク

安全なモバイルエージェントシステム Flyingware のための仮想ディスクの実現

Pointcutに関して高い記述力を持つアスペクト指向言語 Josh

Dynamic AOP とその実装手法について

2002

複数のオーバレイネットワークを制御するためのプライベートなネットワーク環境

Flyingware : バイトコード変換による安全なエージェントの実行

特定のユーザーだけが利用可能な仮想プライベートネットワーク

タイムスタンプ付ストリームI/Oによる音の実時間処理

アスペクト指向の分散化支援ツール

Josh:バイトコードレベルでのJava用 Aspect Weaver

プログラム分散化のためのアスペクト言語

2001

Addistant:アスペクト指向の分散プログラミング支援ツール

実行時情報を用いて通信を最適化するPCクラスタ上の並列化コンパイラ

インターネットにおけるパーソナルネットワークの構築

インターネットにおける真にプライベートなネットワークの構築

通信機構に合わせた最適化をおこなう並列化コンパイラ

既存Javaプログラムのバイトコード変換による機能分散

1993

Open C++ における自己反映計算の処理系の最適化技法