■ 学位
1. |
|
京都大学 理学研究科 数学・数理解析専攻 博士課程修了 博士(理学)
|
|
■ 専門分野
|
■ 所属学会
1.
|
2024/04~
|
Institute of Electrical and Electronics Engineers
|
2.
|
2022/10~
|
情報処理学会
|
3.
|
2018/06~
|
Association for Computing Machinery
|
|
■ 取得特許
|
■ 著書・論文・作品
1.
|
論文
|
Phylogenetic Analysis of Reticulated Software Evolution Proceedings of The 20th International Conference on Mining Software Repositories pp.498-510 (共著) 2023/07
|
2.
|
論文
|
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes Proceedings of the 26th ACM Joint European Software Eng. Conf. and Symp. on the Found. of Software Eng. pp.598-609 (共著) 2018/11
|
3.
|
論文
|
Context-sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-dependency of Binary Code Proceedings of the 13th Workshop on Programming Languages and Analysis for Security (PLAS 2018) pp.48-53 (共著) 2018/10
|
4.
|
論文
|
An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels Proceedings of the 8th International Conference on Performance Engineering pp.361-371 (共著) 2017/04
|
5.
|
論文
|
Developing a high-performance quantum chemistry program with a dynamic scripting language Proceedings of the 3rd International Workshop on Software Engineering for High Performance Computing pp.9-15 (共著) 2015/11
|
6.
|
論文
|
Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns Proceedings of the 12th Working Conference on Mining Software Repositories pp.13-23 (共著) 2015/05
|
7.
|
論文
|
A comprehensive and scalable method for analyzing fine-grained source code change patterns Proceedings of the 22nd International Conference on Software Analysis, Evolution, and Reengineering pp.351-360 (共著) 2015/03
|
8.
|
論文
|
Enhancing History-Based Concern Mining with Fine-Grained Change Analysis Proceedings of the 16th European Conference on Software Maintenance and Reengineering pp.75-84 (共著) 2012/03
|
9.
|
論文
|
A Method for Analyzing Code Homology in Genealogy of Evolving Software Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering pp.91-106 (共著) 2010/03
|
10.
|
論文
|
動的エミュレーションと静的解析を併用したバイナリコードの解析手法 研究報告コンピュータセキュリティ(CSEC) 2010-CSEC-48(36),1-8頁 (共著) 2010/02
|
11.
|
論文
|
Diff/TS: A Tool for Fine-Grained Structural Change Analysis Proceedings of the 15th Working Conference on Reverse Engineering pp.279-288 (共著) 2008/10
|
12.
|
論文
|
リビングから始めるユビキタス:情報家電インタフェース 情報処理 48(1),53-58頁 (共著) 2007/01
|
13.
|
論文
|
A Method of Safety Analysis for Runtime Code Update Proceedings of the 11th Asian Computing Science Conference pp.60-74 (単著) 2006/12
|
14.
|
論文
|
ユビキタスコンピューティング環境構築のためのオープンプラットフォームUBKit 情報処理学会研究報告ユビキタスコンピューティングシステム(UBI) 2003-UBI-002(115),201-206頁 (共著) 2003/11
|
15.
|
論文
|
移動計算のためのプログラミング言語 MobileML コンピュータソフトウェア 18(2),244-261頁 (共著) 2002/09
|
16.
|
論文
|
人間中心の知的都市基盤:日常生活のための知的都市情報基盤 情報処理 43(5),573-578頁 (共著) 2002/05
|
17.
|
論文
|
A typed context calculus Theoretical Computer Science 266(1-2),pp.249-272 (共著) 2001/09
|
18.
|
論文
|
MobileML: A Programming Language for Mobile Computation Proceedings of the 4th International Conference on Coordination Languages and Models pp.198-215 (共著) 2000/09
|
19.
|
論文
|
First-Class Contexts in ML Foundations of Computer Science 11(1),pp.65-87 (単著) 2000/03
|
20.
|
論文
|
動的永続性へのアプローチ 電子情報通信学会論文誌 D J82-D1(1),33-41頁 (共著) 1999/01
|
5件表示
|
全件表示(20件)
|
|
■ 研究題目
1. |
2019/04~2023/03
|
高効率・高速処理を可能とするAIチップ・次世代~AIエッジ 競争的資金等の外部資金による研究
|
2. |
2014/04~2018/03
|
検索をベースとした大規模ソフトウェアの変更解析に関する研究 基盤研究(B) (キーワード:ソフトウェア工学、ソースコード変更解析、木差分計算、リファクタリング、ソフトウェア変更解析、リファクタリングパターン、ソースコード、セマンティックウェッブ技術、リファクタリング解析)
|
3. |
2014/04~2018/03
|
事例に基づく性能チューニング支援システムの研究 挑戦的萌芽研究 (キーワード:アプリケーション性能チューニング、大規模科学技術計算、計算カーネル特定、計算カーネル分類、機械学習、最適化パターン予測、ソースコード変更パターン同定)
|
|
■ ホームページ
|