■ 学位
1. |
2002/04~2006/03
|
東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 博士課程修了 博士 (情報理工学)
|
2. |
2000/04~2002/03
|
東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 修士課程修了 修士 (理学)
|
3. |
1996/04~2000/03
|
東京大学 理学部 情報科学科 卒業 学士 (理学)
|
|
■ 専門分野
ソフトウェア, 情報セキュリティ, 高性能計算 (キーワード:プログラミング言語、メモリ一貫性モデル、システムソフトウェア、仮想化技術、ソフトウェアコンテナ技術、大規模並列計算機を使い易くするためのソフトウェア、人工知能研究・開発を支援するためのソフトウェア)
|
|
■ 所属学会
1.
|
2006
|
一般社団法人 日本ソフトウェア科学会
|
2.
|
2020/06~
|
∟ 理事
|
3.
|
2008
|
一般社団法人 情報処理学会
|
|
■ 著書・論文・作品
1.
|
論文
|
Predicting How CNN Training Time Changes on Various Mini-Batch Sizes by Considering Convolution Algorithms and Non-GPU Time Proceedings of the 2021 on Performance EngineeRing, Modelling, Analysis, and VisualizatiOn STrategy (共著) 2021/06/25
|
2.
|
論文
|
PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties J. Chem. Inf. Model. 60(12),pp.5891-5899 (共著) 2020/10/26
|
3.
|
論文
|
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE 10712 (共著) 2017/12/15
|
4.
|
論文
|
Model checking copy phases of concurrent copying garbage collection with various memory models Proceedings of the ACM on Programming Languages 1(OOPSLA) (共著) 2017/10/12
|
5.
|
論文
|
An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels: Full Research Paper Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering (共著) 2017/04/17
|
6.
|
論文
|
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Journal of Information Processing 25,pp.244-255 (共著) 2017/02/15
|
7.
|
論文
|
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE 10017 (共著) 2016/10/09
|
8.
|
論文
|
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE (共著) 2016/10/06
|
9.
|
論文
|
Execution Performance Analysis of the ABySS Genome Sequence Assembler using Scalasca on the K Computer Advances in Parallel Computing 27,pp.63-72 (共著) 2016/04/30
|
10.
|
論文
|
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 (共著) 2015/11/15
|
11.
|
論文
|
Towards a Unified Verification Theory for Various Memory Consistency Models Proceedings of the 6th Workshop on Syntax and Semantics of Low-Level Languages (共著) 2015/07/05
|
12.
|
論文
|
Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns Proceedings of the 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (共著) 2015/05/16
|
13.
|
論文
|
Optimization of a General Model Checking Framework for Various Memory Consistency Models Proceedings of the 8th International Conf. on Partitioned Global Address Space Programming Models (共著) 2014/10/06
|
14.
|
論文
|
Extending K-Scope Fortran Source Code Analyzer with Visualization of Performance Profiling Data and Remote Parsing of Source Code (共著) 2014/08/20
|
15.
|
論文
|
A General Model Checking Framework for Various Memory Consistency Models Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops (共著) 2014/05/19
|
16.
|
論文
|
Model Checking with User-Definable Memory Consistency Models Proceedings of the 7th Conference on Partitioned Global Address Space Programming Models (共著) 2013/10/03
|
17.
|
論文
|
Model Checking Stencil Computations Written in a Partitioned Global Address Space Language Proc. of the 18th Int. Workshop on High-Level Parallel Programming Models and Supportive Environment (共著) 2013/05/20
|
18.
|
論文
|
Model Checking with User-Definable Abstraction for Partitioned Global Address Space Languages Proceedings of the 6th Conference on Partitioned Global Address Space Programming Models (共著) 2012/10/10
|
19.
|
論文
|
情報セキュリティ向上に向けたOS研究の動向 情報処理学会論文誌: コンピューティングシステム 5(2),51-62頁 (共著) 2012/03/22
|
20.
|
論文
|
Extended Alias Type System using Separating Implication Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation (共著) 2011/01/25
|
21.
|
論文
|
Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms Proceedings of the 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (共著) 2010/12/13
|
22.
|
論文
|
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts Proceedings of the 5th International Workshop on Systems Software Verification (共著) 2010/10/04
|
23.
|
論文
|
Writing an OS Kernel in a Strictly and Statically Typed Language LECTURE NOTES IN COMPUTER SCIENCE 5458 (共著) 2009/05/25
|
24.
|
論文
|
Towards Design and Implementation of Model Checker for System Software Proceedings of the 2009 Workshop on Software Technologies for Future Dependable Distributed Systems (共著) 2009/03/17
|
25.
|
論文
|
条件実行に対応した型付きアセンブリ言語 情報処 理学会論文誌: プログラミング 1(2),9-27頁 (共著) 2008/09/26
|
26.
|
論文
|
Compiling C Programs into a Strongly Typed Assembly Language LECTURE NOTES IN COMPUTER SCIENCE 4846 (共著) 2007/11/22
|
27.
|
論文
|
Writing practical memory management code with a strictly typed assembly language Proc. of Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (共著) 2006/01/14
|
28.
|
論文
|
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory LECTURE NOTES IN COMPUTER SCIENCE 2896 (共著) 2003/11/24
|
29.
|
論文
|
Linux/TAL: 型付きアセンブリプログラムのカーネルモード実行方式 日本ソフトウェア科学会第4回プログラミングおよびプログラミング言語ワークショップ論文集 (共著) 2002/03/05
|
5件表示
|
全件表示(29件)
|
|
■ 委員会・協会等
1. |
2020/03/01~ |
国立研究開発法人新エネルギー産業技術総合開発機構 「高効率・高速処理を可能とするAIチップ・次世代コンピューティングの技術開発/研究開発項目2: 次世代コンピューティング技術の開発」技術推進委員会 技術推進委員
|
2. |
2018/07/10~2018/10/05 |
国立研究開発法人新エネルギー産業技術総合開発機構 「高効率・高速処理を可能とするAIチップ・次世代コンピューティングの技術開発/研究開発項目2: 次世代コンピューティング技術の開発」に係る採択審査委員会 採択審査委員
|
3. |
2017/04/01~2021/03/31 |
情報処理学会 システムソフトウェアとオペレーティング・システム研究運営委員会 運営委員
|
4. |
2015/04/01~ |
日本ソフトウェア科学会 ディペンダブルシステム研究会 主査
|
5. |
2011/04/01~2015/03/31 |
日本ソフトウェア科学会 ディペンダブルシステム研究会 運営委員
|
6. |
2010/04/01~2014/04/15 |
情報処理学会 システムソフトウェアとオペレーティング・システム研究運営委員会 運営委員
|
5件表示
|
全件表示(6件)
|
|