河野 健二 (コウノ ケンジ)

Kono, Kenji

写真a

所属(所属キャンパス)

理工学部 情報工学科 (矢上)

職名

教授

HP

経歴 【 表示 / 非表示

  • 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月

    東京大学, 理学系研究科, 情報科学専攻

    大学院, 退学, 博士

学位 【 表示 / 非表示

  • 博士(理学), 東京大学, 論文, 2000年01月

 

研究分野 【 表示 / 非表示

  • 情報通信 / 計算機システム (システムソフトウェア)

  • 情報通信 / ソフトウェア (ソフトウエア)

研究キーワード 【 表示 / 非表示

  • オペレーティングシステム

  • セキュリティ

  • 分散システム

 

著書 【 表示 / 非表示

  • 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月

    文部科学省・日本学術振興会, 科学研究費助成事業, 河野 健二, 基盤研究(C), 補助金,  研究代表者

  • 完全自動運転における危険と異常の予測

    2016年10月
    -
    2022年03月

    CREST, 研究分担者

全件表示 >>

受賞 【 表示 / 非表示

  • 日本ソフトウェア科学会基礎研究賞

    2016年

    受賞区分: 国内学会・会議・シンポジウム等の賞

  • IBM Faculty Award

    2015年

    受賞区分: 国内外の国際的学術賞

  • 日本ソフトウェア科学会ソフトウェア論文賞

    2014年09月

    受賞区分: 国内学会・会議・シンポジウム等の賞

  • 情報処理学会論文賞

    2013年05月

    受賞区分: 国内学会・会議・シンポジウム等の賞

  • 情報処理学会論文賞

    河野 健二, 2010年05月

    受賞区分: 国内学会・会議・シンポジウム等の賞

全件表示 >>

 

担当授業科目 【 表示 / 非表示

  • プログラミング第1同演習

    2024年度

  • 卒業研究

    2024年度

  • 開放環境科学特別研究第1

    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月

    主査, 日本ソフトウェア科学会 ディペンダブルシステム研究会

全件表示 >>