• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

荒堀 喜貴  Arahori Yoshitaka

ORCIDORCID連携する *注記
研究者番号 50613460
その他のID
所属 (現在) 2025年度: 東京科学大学, 情報理工学院, 助教
所属 (過去の研究課題情報に基づく) *注記 2025年度: 東京科学大学, 情報理工学院, 助教
2016年度 – 2022年度: 東京工業大学, 情報理工学院, 助教
2012年度 – 2016年度: 東京工業大学, 情報理工学(系)研究科, 助教
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連 / ソフトウェア / ソフトウエア
研究代表者以外
マルチメディア・データベース
キーワード
研究代表者
プログラム解析 / 動的解析 / 並行バグ / 並行処理 / バグ検出 / スレッド安全性 / メモリ安全性 / ハードウェア脆弱性 / 攻撃緩和 / システムソフトウェア … もっと見る / 分散並行システム / 静的解析 / サニタイザ / 分散並行処理 / 分散並行バグ / 並行意味論 / バイナリ解析 / マイクロアーキテクチャ脆弱性 / ソフトウェア信頼性 / メタデータ管理 / メタデータ処理 / 競合検査 / 並行ソフトウェア / 実行時検査 / デバッグ / テスト / 並行制御 / トランザクション / 記号実行 / データ競合 / 競合 / スレッド / 割込み … もっと見る
研究代表者以外
暗号化RDF / 災害復旧 / 不確実情報 / セキュリティ / 被災者支援 / 災害復旧・復興 / プライバシー保護 / 秘匿性管理 / グラフ構造検索 / 暗号化 RDF / 情報共有 隠す
  • 研究課題

    (7件)
  • 研究成果

    (45件)
  • 共同研究者

    (9人)
  •  ハードウェア脆弱性を突くメモリ/並行攻撃の緩和機構研究代表者

    • 研究代表者
      荒堀 喜貴
    • 研究期間 (年度)
      2025 – 2027
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京科学大学
  •  マイクロアーキテクチャの並行動作の観測と制御を支えるバイナリ解析基盤研究代表者

    • 研究代表者
      荒堀 喜貴
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  分散並行サニタイザ研究代表者

    • 研究代表者
      荒堀 喜貴
    • 研究期間 (年度)
      2019 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  並行ソフトウェアの正確かつ高速な実行時検査研究代表者

    • 研究代表者
      荒堀 喜貴
    • 研究期間 (年度)
      2016 – 2019
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      東京工業大学
  •  トランザクション並行制御に基づく動的記号実行方式研究代表者

    • 研究代表者
      荒堀 喜貴
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      東京工業大学
  •  災害後の復旧・復興における共有情報管理のための基盤技術に関する研究

    • 研究代表者
      横田 治夫
    • 研究期間 (年度)
      2013 – 2016
    • 研究種目
      基盤研究(A)
    • 研究分野
      マルチメディア・データベース
    • 研究機関
      東京工業大学
  •  割込み処理に伴う競合の高精度かつ高効率な検出手法に関する研究研究代表者

    • 研究代表者
      荒堀 喜貴
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学

すべて 2023 2021 2020 2019 2018 2016 2015 2014 2013 2012 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code2023

    • 著者名/発表者名
      Ryutaro Kodama, Yoshitaka Arahori, Kathuhiko Gondow
    • 雑誌名

      arXiv

      巻: -

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-19K11900
  • [雑誌論文] Postmortem accurate IR-level state recovery for deployed concurrent programs2021

    • 著者名/発表者名
      Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow
    • 雑誌名

      ACM SIGAPP Applied Computing Review

      巻: Vol.21, Issue.3 号: 3 ページ: 33-48

    • DOI

      10.1145/3493499.3493502

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11900
  • [雑誌論文] 電子カルテシステムのオーダログ解析による医療行為の支援2016

    • 著者名/発表者名
      佐々木夢, 荒堀喜貴, 串間宗夫, 荒木賢二, 横田治夫
    • 雑誌名

      日本データベース学会和文論文誌

      巻: 14-J ページ: 1-7

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-25240014
  • [学会発表] Happens-Before関係を考慮したDFIによる正確なデータレースの動的検知2023

    • 著者名/発表者名
      雫石 想, 荒堀 喜貴, 権藤 克彦
    • 学会等名
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] DFI によるメモリ・スレッド操作の包括的保護2023

    • 著者名/発表者名
      雫石 想, 荒堀 喜貴, 権藤 克彦
    • 学会等名
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] 正確なポインタ解析を採用したより高速なbackward解析によるpath-sensitive解析手法2023

    • 著者名/発表者名
      児玉 龍太郎, 荒堀 喜貴, 権藤 克彦
    • 学会等名
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] 動的型付け言語コードの品質保証のためのpath-sensitiveな型解析2023

    • 著者名/発表者名
      児玉 龍太郎, 荒堀 喜貴, 権藤 克彦
    • 学会等名
      第213回ソフトウェア工学研究発表会
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] 動的型付言語を対象とする正確な型解析に基づく手続き間制御フロー解析とその応用2023

    • 著者名/発表者名
      児玉 龍太郎, 荒堀 喜貴, 権藤 克彦
    • 学会等名
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] 正確かつ高速なデータおよび制御の保護2023

    • 著者名/発表者名
      雫石 想, 荒堀 喜貴, 権藤 克彦
    • 学会等名
      第213回ソフトウェア工学研究発表会
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] STRAB: state recovery using reverse execution at IR level for concurrent programs.2021

    • 著者名/発表者名
      Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow
    • 学会等名
      ACM SAC 2021
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] DiverJS: path exploration heuristic for difference analysis of event-driven code2021

    • 著者名/発表者名
      Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow
    • 学会等名
      ACM SAC 2021
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] Risk-Aware Leak Detection at Binary Level2020

    • 著者名/発表者名
      Yuta Koizumi, Yoshitaka Arahori
    • 学会等名
      IEEE PRDC 2020
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] クラウドシステムの非決定的性能バグ検査器2020

    • 著者名/発表者名
      和田智優,荒堀喜貴,権藤克彦
    • 学会等名
      DEIM 2020
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] イベント駆動コードの差分解析を可能にするパス探査経験則2020

    • 著者名/発表者名
      冨永江奈,荒堀喜貴,権藤克彦
    • 学会等名
      PPL 2020
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] イベント駆動コードの差分解析を可能にするパス探査経験則2020

    • 著者名/発表者名
      冨永江奈,荒堀喜貴,権藤克彦
    • 学会等名
      PPL 2019
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] クラウドシステムの非決定的性能バグ検査器2020

    • 著者名/発表者名
      和田智優,荒堀喜貴,権藤克彦
    • 学会等名
      DEIM 2020
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection2019

    • 著者名/発表者名
      Yoshitaka Arahori
    • 学会等名
      The 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] 並行バグの効率的な自動原因解析を可能にする静的解析2019

    • 著者名/発表者名
      星野シンジ,荒堀喜貴,権藤克彦
    • 学会等名
      FOSE 2019
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] 分散並行ファジング2019

    • 著者名/発表者名
      石山泰地,荒堀喜貴,権藤克彦
    • 学会等名
      FOSE 2019
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] 強化学習に基づく並行バグ検知2019

    • 著者名/発表者名
      李兆亮、荒堀喜貴、権藤克彦
    • 学会等名
      FOSE 2019
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] ωCatch: クラウドシステムにおけるパフォーマンスバグの正確な自動検知に向けて2019

    • 著者名/発表者名
      和田智優,荒堀喜貴,権藤克彦
    • 学会等名
      FOSE 2019
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] 強化学習によるイベント駆動コードの等価性検査戦略の生成2019

    • 著者名/発表者名
      冨永江奈,荒堀喜貴,権藤克彦
    • 学会等名
      FOSE 2020
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] 分散並行ファジング2019

    • 著者名/発表者名
      石山泰地,荒堀喜貴,権藤克彦
    • 学会等名
      FOSE 2019
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] POI: Skew-Aware Parallel Race Detection2019

    • 著者名/発表者名
      Yoshitaka Sakurai, Yoshitaka Arahori, Katsuhiko Gondow
    • 学会等名
      The 18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] 分散並行バグ動的検出の大規模性能シミュレータ2019

    • 著者名/発表者名
      片平遥香, 荒堀喜貴
    • 学会等名
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] ωCatch: クラウドシステムにおけるパフォーマンスバグの正確な自動検知に向けて2019

    • 著者名/発表者名
      和田智優,荒堀喜貴,権藤克彦
    • 学会等名
      FOSE 2019
    • データソース
      KAKENHI-PROJECT-19K11900
  • [学会発表] サンプリングに基づく分散悪性競合のオンライン検出2018

    • 著者名/発表者名
      片平遥香, 荒堀喜貴, 権藤克彦
    • 学会等名
      情報処理学会第198回ソフトウェア工学研究発表会
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] ハイブリッド競合検査の負荷分散を考慮した並列化2018

    • 著者名/発表者名
      櫻井義孝, 荒堀喜貴, 権藤克彦
    • 学会等名
      情報処理学会第198回ソフトウェア工学研究発表会
    • データソース
      KAKENHI-PROJECT-16K00093
  • [学会発表] Code Oriented Diagram Editorを用いた並行バグの可視化2016

    • 著者名/発表者名
      大村裕, 荒堀喜貴, 権藤克彦, 渡部卓雄
    • 学会等名
      日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)
    • 発表場所
      北海道
    • 年月日
      2016-12-14
    • データソース
      KAKENHI-PROJECT-26730033
  • [学会発表] 静的コード解析に基づくプルリクエスト品質即時計測2016

    • 著者名/発表者名
      佐々木俊亮, 荒堀喜貴, 権藤克彦
    • 学会等名
      日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)
    • 発表場所
      北海道
    • 年月日
      2016-12-14
    • データソース
      KAKENHI-PROJECT-26730033
  • [学会発表] Sequential Pattern Mining on Electronic Medical Records with Handling Time Intervals and the Efficacy of Medicines2016

    • 著者名/発表者名
      Keishiro Uragaki, Tomoyuki Hosaka, Yoshitaka Arahori, Muneo Kushima, Tomoyoshi Yamazaki, Kenji Araki, Haruo Yokota
    • 学会等名
      the 21st IEEE International Symposium on Computers and Communications
    • 発表場所
      Messina, Italy
    • 年月日
      2016-06-27
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25240014
  • [学会発表] アクセス時間に基づいた次アクセス予想によるデバイスミックスストレージシステムの制御手法2016

    • 著者名/発表者名
      新屋敷裕太, 飯澤健, 小沢 年弘, 荒堀 喜貴, 横田 治夫
    • 学会等名
      第8回データ工学と情報マネジメントに関するフォーラム(DEIM 2016)
    • 発表場所
      福岡
    • 年月日
      2016-02-29
    • データソース
      KAKENHI-PROJECT-25240014
  • [学会発表] 医療履歴の時系列解析におけるシーケンス間類似度評価による時間間隔調整の導入2016

    • 著者名/発表者名
      保坂 智之, 浦垣啓志郎, 荒堀 喜貴, 串間 宗夫, 山崎 友義, 荒木 賢二, 横田 治夫
    • 学会等名
      第8回データ工学と情報マネジメントに関するフォーラム(DEIM 2016)
    • 発表場所
      福岡
    • 年月日
      2016-02-29
    • データソース
      KAKENHI-PROJECT-25240014
  • [学会発表] 動的バイナリ計装に基づく正確なヒープ境界検査2016

    • 著者名/発表者名
      長田晃太朗, 荒堀喜貴, 権藤克彦
    • 学会等名
      日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)
    • 発表場所
      北海道
    • 年月日
      2016-12-14
    • データソース
      KAKENHI-PROJECT-26730033
  • [学会発表] 電子カルテの投薬履歴における薬効に着目した医療行為パターンの抽出2016

    • 著者名/発表者名
      浦垣啓志郎, 保坂 智之, 荒堀 喜貴, 串間 宗夫, 山崎 友義, 荒木 賢二, 横田 治夫
    • 学会等名
      第8回データ工学と情報マネジメントに関するフォーラム(DEIM 2016)
    • 発表場所
      福岡
    • 年月日
      2016-02-29
    • データソース
      KAKENHI-PROJECT-25240014
  • [学会発表] 階層ストレージシステムに向けたワークロードのブロックアクセス分析に関する考察2015

    • 著者名/発表者名
      新屋敷裕太, 飯澤 健, 小沢 年弘, 荒堀喜貴, 横田治夫
    • 学会等名
      電子情報通信学会データ工学・情報処理学会データベース合同研究会
    • 発表場所
      奈良
    • 年月日
      2015-08-05
    • データソース
      KAKENHI-PROJECT-25240014
  • [学会発表] 並行ソフトウェア実行時検証のアクセラレーション技術2015

    • 著者名/発表者名
      荒堀喜貴
    • 学会等名
      日本エレクトロニクスショー協会 Design Solution Forum 2015
    • 発表場所
      東京都
    • 年月日
      2015-10-02
    • データソース
      KAKENHI-PROJECT-26730033
  • [学会発表] 並行バグの高精度かつ高効率な検出方式の検討2015

    • 著者名/発表者名
      荒堀喜貴
    • 学会等名
      日本ソフトウェア科学会第13回ディペンダブルシステムワークショップ(DSW2015)
    • 発表場所
      静岡県
    • 年月日
      2015-12-16
    • データソース
      KAKENHI-PROJECT-26730033
  • [学会発表] 電子カルテシステムの操作ログデータの時系列分析による頻出シーケンスの抽出2014

    • 著者名/発表者名
      牧原 健太郎, 荒堀 喜貴, 渡辺 陽介, 串間宗夫, 荒木賢二, 横田 治夫
    • 学会等名
      データ工学と情報マネジメントに関するフォーラム
    • 発表場所
      淡路夢舞台&ウェスティン淡路 兵庫県淡路市
    • データソース
      KAKENHI-PROJECT-25240014
  • [学会発表] トランザクショナル記号実行2013

    • 著者名/発表者名
      荒堀喜貴,横田治夫
    • 学会等名
      情報処理学会 第75回全国大会
    • 発表場所
      宮城県仙台市東北大学
    • データソース
      KAKENHI-PROJECT-24700026
  • [学会発表] 並列データ処理基盤を用いた並行バグ並列検査方式の検討2013

    • 著者名/発表者名
      荒堀喜貴
    • 学会等名
      情報処理学会夏のプログラミング・シンポジウム2013
    • 発表場所
      東京都
    • データソース
      KAKENHI-PROJECT-24700026
  • [学会発表] 割込み競合の探査を可能にするトランザクショナルメモリ仮想化方式の検討2013

    • 著者名/発表者名
      荒堀喜貴
    • 学会等名
      日本ソフトウェア科学会第11回ディペンダブルシステムワークショップ
    • 発表場所
      静岡県
    • データソース
      KAKENHI-PROJECT-24700026
  • [学会発表] ロックセット解析に基づく動的割込み競合検出の精度改善2012

    • 著者名/発表者名
      荒堀喜貴,権藤克彦
    • 学会等名
      日本ソフトウェア科学会 第10回 ディペンダブルシステムワークショップ (DSW 2012)
    • 発表場所
      兵庫県神戸市理化学研究所計算科学研究機構
    • データソース
      KAKENHI-PROJECT-24700026
  • [学会発表] SIBM - 避難場所情報に対するRDFデータセットベンチマークツール

    • 著者名/発表者名
      グエン ホアイ ナム, 荒堀 喜貴, 横田 治夫
    • 学会等名
      第7回データ工学と情報マネジメントに関するフォーラム
    • 発表場所
      福島県郡山市
    • 年月日
      2015-03-02 – 2015-03-04
    • データソース
      KAKENHI-PROJECT-25240014
  • [学会発表] メニーコア環境における関係表分割アルゴリズムを用いたハッシュ結合演算の評価,

    • 著者名/発表者名
      中澤 正和, 西 方, 荒堀 喜貴, 横田 治夫.
    • 学会等名
      第7回データ工学と情報マネジメントに関するフォーラム
    • 発表場所
      福島県郡山市
    • 年月日
      2015-03-02 – 2015-03-04
    • データソース
      KAKENHI-PROJECT-25240014
  • 1.  横田 治夫 (10242570)
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 2.  宮崎 純 (40293394)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  小林 隆志 (50345386)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  小口 正人 (60328036)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  天笠 俊之 (70314531)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  波多野 賢治 (80314532)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  渡辺 陽介 (80532944)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 8.  欅 惇志 (00733958)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  内田 公太 (90836701)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi