-
所属（所属キャンパス）
-
理工学部 情報工学科 （矢上）
-
職名
-
教授
経歴 【 表示 ／ 非表示 】
-
1995年04月-1997年10月
日本学術振興会特別研究員 (DC1)
-
1997年11月-1999年12月
東京大学大学院, 理学系研究科情報科学専攻, 助手
-
1999年10月-2002年09月
科学技術振興事業団さきがけ研究21「情報と知」領域研究員
-
2000年01月-2003年03月
電気通信大学情報工学科助手
-
2003年04月-2005年03月
電気通信大学情報工学科講師
学歴 【 表示 ／ 非表示 】
-
1993年03月
東京大学, 理学部, 情報科学科
大学, 卒業
-
1995年03月
東京大学, 理学系研究科, 情報科学専攻
大学院, 修了, 修士
-
1997年10月
東京大学, 理学系研究科, 情報科学専攻
大学院, 退学, 博士
著書 【 表示 ／ 非表示 】
-
Handbook of Software Aging and Rejuvenation
Kenji Kono, Kenichi Kourai, Hiroshi Yamada, World Scientific Publishing, 2020年
担当範囲: Chap. 9
-
コンピュータ・システム プログラマの視点から
五島 正裕，河野健二，南出靖彦, 丸善出版, 2019年02月
-
Open Systems Dependability
Kenji Kono, Hiroshi Yamada, CRC Press, 2015年
担当範囲: Chap. 7.4
-
Engineering the Computer Science and IT
Manabu Hirano, Takeshi Okuda, Eiji Kawai, Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Shoichi Hasegawa, Takashi Horie, Seiji Mune, Kazumasa Omote, Kenichi Kourai, Yoshihiro Oyama, Kenji Kono, Shigeru Chiba, Yasushi Shinjo, Kazuhiko Kato, Suguru Yamaguchi, 2009年10月
担当範囲: 477-488
-
オペレーティングシステムの仕組み
河野 健二, 2007年10月
論文 【 表示 ／ 非表示 】
-
Nioh-PT: Virtual I/O Filtering for Agile Protection against Vulnerability Windows
Mana Senuki, Kenta Ishiguro, Kenji Kono
ACM Symposium on Applied Computing (SAC) 1293 - 1300 2023年03月
査読有り
-
Crash Injection to Persistent Memory for Recovery Code Validation
Soichiro Sakamoto, Keita Suzuki, Kenji Kono
IEEE International Workshop on Software Aging and Rejuvenation (WoSAR) 178 - 184 2022年10月
査読有り
-
大規模 C++ プロジェクトにおけるビルド高速化手法について
窪田貴文，河野健二
コンピュータソフトウェア （岩波書店） 39 （ 3 ） 17 - 32 2022年08月
査読有り
-
Alleviating File System Journaling Problem i n Containers for DBMS Consolidation
Asraa Abdulrazak Ali Mardan, Kenji Kono
IEICE Trans. on Information and Systems E104-D （ 7 ） 931 - 940 2021年07月
査読有り
-
Mitigating Excessive vCPU Spinning in VM-agnostic KVM
Kenta Ishiguro, Naoki Yasuno, Pierre-Louis Aublin, Kenji Kono
ACM International Conference on Virtual Execution Environments (VEE) 139 - 152 2021年04月
査読有り
KOARA（リポジトリ）収録論文等 【 表示 ／ 非表示 】
総説・解説等 【 表示 ／ 非表示 】
-
オペレーティングシステムのエージングと若化
河野 健二，山田浩史
日本信頼性学会誌「信頼性」 36 （ 1 ） 24 - 31 2014年01月
記事・総説・解説・論説等（学術雑誌）, 共著
-
Oops! What about a Million Kernel Oopses?
Lisong Guo, Peter Senna Tschudin, Kenji Kono, Gilles Muller, Julia Lawall
Research Report, No. 436 （INRIA） 2013年06月
機関テクニカルレポート，技術報告書，プレプリント等, 共著
研究発表 【 表示 ／ 非表示 】
-
データセンタ間通信による性能低下を抑えたキーバリューストア構築手法
堀江 光、浅原 理人、山田 浩史、河野 健二
情報処理学会 OS 研究会,
2014年03月,口頭発表（一般）
-
仮想化環境におけるメモリ情報に着目したページシェアリング効率化手法
井上 宗士、山田 浩史、河野 健二
情報処理学会 OS 研究会,
2014年03月,口頭発表（一般）
-
仮想マシン移送における移送コストの定量的調査
古藤 明音、山田 浩史、河野 健二
情報処理学会 OS 研究会,
2014年03月,口頭発表（一般）
-
需要の集中を考慮した分散 Key-Value Store におけるレプリカの動的配置手法
白松 幸起、河野 健二、堀江 光
情報処理学会 OS 研究会,
2014年03月,口頭発表（一般）
-
データセンタ間通信による性能低下を抑えたキーバリューストア構築手法
堀江光，浅原理人，山田浩史，河野健二
日本ソフトウェア科学会 DSW ワークショップ,
2013年12月,ポスター発表
競争的研究費の研究課題 【 表示 ／ 非表示 】
-
超分散コンピューティング基盤の研究開発
2023年04月-2028年03月NEDO, 研究分担者
-
Persistent TEE: データ・プライバシ保護のための堅牢な実行基盤
2023年04月-2026年03月科研費 基盤 (B), 研究代表者
-
デジタルツインを用いた自動運転AIの検証と妥当性確認
2022年04月-2024年03月AIP加速, 研究分担者
-
レガシーコードの実行回避によるハイパーバイザの安全性向上
2019年04月-2022年03月文部科学省・日本学術振興会, 科学研究費助成事業, 河野 健二, 基盤研究（Ｃ）, 補助金, 研究代表者
-
完全自動運転における危険と異常の予測
2016年10月-2022年03月CREST, 研究分担者
受賞 【 表示 ／ 非表示 】
-
日本ソフトウェア科学会基礎研究賞
2016年
受賞区分： 国内学会・会議・シンポジウム等の賞
-
IBM Faculty Award
2015年
受賞区分： 国内外の国際的学術賞
-
日本ソフトウェア科学会ソフトウェア論文賞
2014年09月
受賞区分： 国内学会・会議・シンポジウム等の賞
-
情報処理学会論文賞
2013年05月
受賞区分： 国内学会・会議・シンポジウム等の賞
-
情報処理学会論文賞
河野 健二, 2010年05月
受賞区分： 国内学会・会議・シンポジウム等の賞
担当授業科目 【 表示 ／ 非表示 】
-
オペレーティングシステム特論
2024年度
-
情報工学輪講
2024年度
-
オペレーティングシステム
2024年度
-
情報学基礎
2024年度
-
開放環境科学課題研究
2024年度
社会活動 【 表示 ／ 非表示 】
-
内閣官房OS機能調査委員会
2005年-2006年 -
内閣官房情報セキュリティ対策推進室委託調査
2005年 -
財団法人 防衛技術協会 電子政府におけるセキュリティに配慮したOS等に関する調査研究委員会
2004年-継続中 -
国立情報学研究所
2003年-継続中 -
社団法人 電子情報技術産業協会(JEITA) 情報システム技術委員会
2003年-継続中
所属学協会 【 表示 ／ 非表示 】
-
IEEE International Conference on Distributed Computing Systems,
2011年-継続中 -
日本ソフトウェア科学会,
2010年-2012年 -
IEEE Pacific Rim Int'l Symp. on Dependable Computing,
2010年 -
日本ソフトウェア科学会 ディペンダブルシステム研究会,
2009年-2012年03月 -
Int'l Conf. on Frontier of Computer Science and Technology,
2009年-2010年
委員歴 【 表示 ／ 非表示 】
-
2011年04月-2015年03月
主査, 情報処理学会システムソフトウェアとオペレーティングシステム研究会
-
2011年-2012年
Program Committee Member, IEEE International Conference on Distributed Computing Systems
-
2010年-2012年
理事, 日本ソフトウェア科学会
-
2010年
PC Member, IEEE Pacific Rim Int'l Symp. on Dependable Computing
-
2009年-2012年03月
主査, 日本ソフトウェア科学会 ディペンダブルシステム研究会