学位

• 博士（工学）(電気通信大学)

経歴

学歴

受賞

• 山下記念研究賞
• 第35回大会 優秀発表賞
• 第33回大会 高橋奨励賞
• 第30回大会 学生奨励賞
• 第28回大会 学生奨励賞

その他

論文

• Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses [DOI] [Othres link]
• Multiverse Notebook: Shifting Data Scientists to Time Travelers [DOI]
• Collective Allocator Abstraction to Control Object Spatial Locality in C++ [DOI]
• General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory [DOI] [Othres link]
• Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration [DOI] [Othres link]
• VIPP: Validation-Included Precision-Parametric N-Body Benchmark Suite. [DOI] [DBLP] [Othres link] [Othres link]
• Cost-aware Programming on Page-based Distributed Shared Memory. [DOI] [DBLP] [Othres link]
• ComposableThreads: Rethinking User-level Threads with Composability and Parametricity in C++. [DOI] [DBLP] [Othres link]
• Reverse engineering for reduction parallelization via semiring polynomials. [DOI] [DBLP] [Othres link] [Othres link]
• Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning. [DOI] [DBLP] [Othres link] [Othres link]
• Pitfalls of InfiniBand with On-Demand Paging [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• A Dual-Index Based Representation for Processing XPath Queries on Very Large XML Documents [DOI]
• An Efficient and Scalable Distributed Hypergraph Processing System. [DOI] [DBLP] [Othres link]
• MENPS: A Decentralized Distributed Shared Memory Exploiting RDMA [DOI] [Othres link] [Scopus] [Scopus]
• CENTAURUS: A Dynamic Parser Generator for Parallel Ad Hoc Data Extraction [DOI] [Scopus] [Scopus]
• On Implementing the Push-Relabel Algorithm on Top of Pregel [DBLP] [DOI] [Othres link]
• Parallelization of XPath Queries Using Modern XQuery Processors. [DOI] [DBLP] [Othres link]
• A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays [DBLP] [DOI] [Othres link]
• A Generic Implementation of Tree Skeletons [DBLP] [DOI] [Web of Scientce] [Othres link]
• A debugger-cooperative higher-order contract system in Python [DOI] [DBLP] [Othres link]
• s6raph: vertex-centric graph processing framework with functional interface. [DOI] [DBLP] [Othres link]
• Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation [DOI] [DBLP] [Web of Scientce] [Othres link]
• Glasgow Haskell Compiler 上の遅延オブジェクト再利用手法の設計と実装 [DOI]
• Syntax-Directed Divide-and-Conquer Data-Flow Analysis [DOI] [DBLP] [Othres link]
• LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming [DOI] [DBLP] [Web of Scientce] [Othres link]
• 木上のスケルトン並列プログラミングのための演算子生成器 [CiNii Research (CiNii Articles)] [CiNii Books]
• Automatic parallelization via matrix multiplication [DOI] [DBLP] [Web of Scientce] [Othres link]
• A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming [DBLP] [DOI] [Web of Scientce] [Othres link]

その他業績

• データ処理のためのプログラミング言語［V・完］─Python言語編─ [Othres link] [Othres link]
• （情報系）博士課程進学とその先 [DOI] [Othres link] [Othres link]
• PLDI 2016 報告 [Othres link] [Othres link]
• PLDI 2015報告 [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]

講演・口頭発表等

• 多相型に基づく型エラー診断の定式化
• プレゼンテーションスライド作成のためのSATySFiノートブック環境
• SATySFi におけるドメイン固有型エラー診断
• C++におけるポインタベースのデータ構造のためのFar Memoryアロケータ [Othres link]
• Simultaneous Finite Automaton の部分構成による並列正規表現マッチ
• PLAGS UT: 自動評価付きPythonプログラミング課題管理システム
• Spark GraphXによる最大流アルゴリズムの実装と評価 [Othres link]
• A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays [Othres link]
• 一般化N体問題アルゴリズムに対する局所性向上技法 [Othres link]
• Abstraction of Space Partitioning for Spatial Computation [Othres link]
• グラフ問題を効率的に解くためのハードウェアトランザクショナルメモリの利用 [Othres link]
• 局所性を意識した並列反復木走査 [Othres link]
• 構文主導型データフロー解析の並列実装 [Othres link]

書籍等出版物

作品等

共同研究・競争的資金等の研究課題

• 計算機能を備えたメモリを活用できるマネージド言語と実行時システムの研究
• Processing-in-Memory向けプログラム合成
• 高度なループ自動並列化技術の開発とベクトル化との統合
• 自動チューニング可能な一般化N体問題解法枠組みの開発
• 自動チューニング可能な一般化N体問題解法枠組みの開発

メディア報道

産業財産権

所属学協会

• ACM SIGPLAN
• 日本ソフトウェア科学会
• 情報処理学会

委員歴

担当経験のある科目

• ソフトウェア工学
• プログラム言語基礎論
• 言語処理系論
• Pythonプログラミング入門
• Pythonプログラミング作法
• 数値計算法

社会貢献活動

学術貢献活動