2025

学位 名前 題目
修士 江口 航志 InterconnectLens: GPU クラスタにおけるデータ転送の可観測性向上ツールの提案
InterconnectLens: Enhancing Observability of Data Transfers in GPU Clusters

2024

学位 名前 題目
修士 平岡 拓海 差分プライバシーにおけるプライバシー損失推定フレームワーク
A Framework for Estimating Privacy Loss in Differential Privacy
修士 利根 悠司 結晶構造予測のための不変かつ連続な生成モデル
Generative Model for Crystal Structure Prediction with Invariance and Continuity
学士 高橋 淳一郎 CPUとGPU双方を効率に活用した処理の考察
学士 竹嶋 唯真 関連性と被引用数予測に基づく論文の推薦システム
学士 杉山 月渚 Vision Transfomerのメモリ使用量削減のための完全量子化学習へ向けて
Step Towards Fully Quantized Vision Transformers To Reduce Memory Requirement

2023

学位 名前 題目
博士 椎名 峻平 局所性に配慮したスケジューリングと大域アドレス空間による大規模タスク並列処理
Task Parallelism at Scale: Locality-Aware Scheduling and Global Address Space
修士 小林 亮太 SATySFiにおけるドメイン固有型エラー診断
Domain-specific Type Error Diagnosis in SATySFi
学士 細川 颯介 GPU間で自律的な動的負荷分散を行う非同期マルチGPU処理系の実装
学士 佐々木 大夢 タスク並列分散処理における書き込み履歴を利用した効率的なキャッシュ管理手法
学士 両角 颯 プレゼンテーションスライド作成のためのSATySFiノートブック環境
学士 西井 遥紀 Intel SGXを用いた共有の柔軟な操作を可能とするセキュアなファイルシステム

2022

学位 名前 題目
博士 李 楽 大規模ad-hocデータ解析用の並列構文解析器の生成
A Parallel Parser Generator for Large Scale Ad-hoc Data Analysis
修士 秀島 宇音 C++におけるfar-memoryデータ構造のためのアロケータ抽象化
Allocator Abstraction for Far-memory Data Structures in C++
修士 高品 剛大 Simultaneous Finite Automaton の部分構成を用いた並列正規表現マッチング
Parallel Regular Expression Matching using On-the-fly Construction of Simultaneous Finite Automaton
学士 利根 悠司 自己書き換え的なVerbsを用いるRDMA プログラミングのための言語処理系
学士 水橋 大瑶 Mixed-Size Accessesを含む並行Cプログラムの効率的なモデル検査
学士 柘植 大輔 TinyGo処理系へのScoped Memoryの導入によるメモリ効率の改善
学士 高重 駿 分子物性予測の外挿問題に対する自己教師あり事前学習の効果検証
Is Self-Supervised Pretraining Good for Extrapolation in Molecular Property Prediction?
学士 王 力敏 事前学習を用いた物性予測におけるData Imbalancedness問題について

2021

学位 名前 題目
修士 高橋 大成 高い合成可能性と性能可搬性のための再帰的なブロッキングに基づく効率的な行列積演算の並列化
Efficient parallelization of matrix multiplication based on recursive blocking for high composability and performance portability
修士 松田 翔吾 キャッシュ効率の改善を目的としたタスクスケジューラの自動チューニング
Improving Cache Utilization of Task Scheduling by Auto-tuning
学士 小林 亮太 階層的なメモリ管理に基づく保守的なガベージコレクタの開発
学士 島田 優 ArgoDSMにおけるメモリポリシーの動的変更の実装と評価
学士 韓 佳峻 Unified MemoryによるTaichi言語のメモリ管理の改善

2020

学位 名前 題目
博士 クリスティアン ヘルム 命令サンプリングによるメモリ性能問題の検出手法
Discovery of Memory Performance Problems Using Hardware Instruction Sampling
修士 椎名 峻平 ネストした並列プログラムに対する効率的なスレッドスケジューリング手法
Efficient Thread Scheduling Strategies for Nested Parallel Programs
修士 福岡 拓也 InfiniBandのオンデマンドページングの性能問題の発見と分析
Finding and Analyzing Performance Pitfalls of On-Demand Paging of InfiniBand
修士 山口 龍太郎 長距離広帯域通信路におけるリモートストレージインターフェース構築に向けたOpenSSH のネットワーク性能高速化
Improving Network Performance of OpenSSH for Remote Storage Interface for Long Fat Networks
学士 秀島 宇音 MPI-3 RMA上のページベース分散共有メモリの性能解析
学士 藤村 柊吾 スケーラブルな分散メモリ向けハイパーグラフ処理系
学士 木村 元紀 実用的な並行Cプログラム向けモデル検査器の開発
学士 役山 真柊 GPU を用いたハイパーグラフ処理

2019

学位 名前 題目
博士 岩崎 慎太郎 細粒度並列プログラムを効率的に実行する軽量なスレッド処理系
Exploring Lightweight User-level Threading Frameworks for Massive Fine-Grained Parallelism
博士 遠藤 亘 ソフトウェア分散共有メモリの非集中型実装
A Decentralized Implementation of Software Distributed Shared Memory
修士 樋口 兼一 マルチコア CPU に向けた 深層学習フレームワークの高速化
Optimizations of Deep Learning Framework for Multi-core CPU
修士 劉 啓恒 OPG に基づくアドホックな大規模文字列データ解析のための並列データ処理系
A Parallel Data Processing System for Large Text Data based on OPG
修士 李 哲豪 単語埋め込みに基づくドキュメント類似検索エンジンと事業承継への応用
A Word Embedding-Based Similar Document Search Engine and Application to Business Succession
学士 綿引 隼人 分散非同期グラフ処理系における頂点スケジューリング手法の比較
学士 加藤 勇哉 デジタルアニーラのSATへの適用可能性の調査
学士 松田 翔吾 高性能かつ省電力なWork Stealingスケジューラの提案
学士 大貫 匠 弱いメモリモデル上での並行 Cライブラリのステートレスモデル検査
学士 高橋 大成 デジタルアーカイブスの検索支援 —貼り込み資料の自動抽出及びキーワード検索手法の検討

2018

学位 名前 題目
修士 中澤 弘樹 ハイパバイザにより低レイテンシ SSD と DRAM を統合した擬似メモリの高速化
Speeding Up Pseudo-Memory with DRAM and Low Latency SSD by Hypervisor
修士 井原 央翔 スキャナレス LL(*) 文法に基づく高性能文字列処理
High-Performance Text Processing based on Scannerless LL(*) Grammar
修士 ジャスワル サティシュ クマル 深層学習における損失関数のヘッセ行列の外れ固有値:ミニバッチサイズの影響について
Outlier Eigenvalues of the Hessian of Loss Function in Deep Neural Network: Effect of Mini-batch Size
学士 椎名 峻平 動的なタスク並列性に対するほぼ決定的な負荷分散手法
Almost Deterministic Scheduling for Dynamic Task Parallelism
学士 福岡 拓也 効率的な軽量スレッドスケジューリングによるノード間通信システムの実装
An Implementation of Inter-node Communication System with Efficient Lightweight-thread Scheduling
学士 白木 光達 不正通信検知を迂回可能な IEEE 802.11 上の情報漏洩攻撃とその検知手法

2017

学位 名前 題目
博士 フィン ゴクアン スケジューリング遅延に基づいたタスク並列ランタイムシステムの性能差の解析
Analyzing Performance Differences of Task Parallel Runtime Systems based on Scheduling Delays
修士 伊藤 大 断片化 BWT とその高速な圧縮・Maximal Exact Match検索への応用
修士 利光 宏平 広域分散環境での 分散ファイルキャッシュシステムとその評価
学士 樋口 兼一 深層学習フレームワークにおける CPU と GPU の性能解析および最適化
Performance analysis and optimization of CPU and GPU in deep learning framework
学士 寺崎 達朗 Locality Aware な戦略に基づくWork Stealing の実装
学士 劉 啓恒 アドホックな大規模データ解析のための並列データ処理系
学士 藤澤 徹 コールサイトローカルな型情報による効率的な関数インライン展開
Efficient Function Inlining with Callsite Local Type Information

This site uses Just the Docs, a documentation theme for Jekyll.