Arahori Yoshitaka 荒堀喜貴

… Alternative Names

ARAHORI Yoshitaka 荒堀喜貴

Less

Researcher Number	50613460
Other IDs
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 助教
Affiliation (based on the past Project Information) *help	2025: 東京科学大学, 情報理工学院, 助教 2016 – 2022: 東京工業大学, 情報理工学院, 助教 2012 – 2016: 東京工業大学, 情報理工学(系)研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator Multimedia database
Keywords	Principal Investigator プログラム解析 / 動的解析 / 並行バグ / 並行処理 / バグ検出 / システムソフトウェア / 分散並行システム / 静的解析 / サニタイザ / 分散並行処理 … More / 分散並行バグ / 並行意味論 / バイナリ解析 / マイクロアーキテクチャ脆弱性 / ソフトウェア信頼性 / メタデータ管理 / メタデータ処理 / 競合検査 / 並行ソフトウェア / 実行時検査 / デバッグ / テスト / 並行制御 / トランザクション / 記号実行 / データ競合 / 競合 / スレッド / 割込み … More Except Principal Investigator 暗号化RDF / 災害復旧 / 不確実情報 / セキュリティ / 被災者支援 / 災害復旧・復興 / プライバシー保護 / 秘匿性管理 / グラフ構造検索 / 暗号化 RDF / 情報共有 Less

ハードウェア脆弱性を突くメモリ/並行攻撃の緩和機構Principal Investigator
- Principal Investigator
  
  荒堀喜貴
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
A Binary Analysis Framework for Instrumenting and Controlling Concurrent Behaviors of MicroarchitecturesPrincipal Investigator
- Principal Investigator
  
  荒堀喜貴
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
Research of Sanitizers for Distributed Concurrent SystemsPrincipal Investigator
- Principal Investigator
  
  荒堀喜貴
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
Research on Efficient and Precise Runtime Checking of Concurrent SoftwarePrincipal Investigator
- Principal Investigator
  
  Arahori Yoshitaka
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Transactional Symbolic ExecutionPrincipal Investigator
- Principal Investigator
  
  Arahori Yoshitaka
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Research on basic technologies for sharing the information in a disaster recovery
- Principal Investigator
  
  Yokota Haruo
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Multimedia database
- Research Institution
  Tokyo Institute of Technology
Study of Highly Accurate and Efficient Int-Race DetectionPrincipal Investigator
- Principal Investigator
  
  ARAHORI Yoshitaka
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology

All 2023 2021 2020 2019 2018 2016 2015 2014 2013 2012 Other

All Journal Article Presentation

[Journal Article] Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code2023
- Author(s)
  Ryutaro Kodama, Yoshitaka Arahori, Kathuhiko Gondow
- Journal Title
  
  arXiv
  
  Volume: -
- Open Access
- Data Source
  KAKENHI-PROJECT-19K11900
[Journal Article] Postmortem accurate IR-level state recovery for deployed concurrent programs2021
- Author(s)
  Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow
- Journal Title
  
  ACM SIGAPP Applied Computing Review
  
  Volume: Vol.21, Issue.3 Issue: 3 Pages: 33-48
- DOI
  10.1145/3493499.3493502
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11900
[Journal Article] 電子カルテシステムのオーダログ解析による医療行為の支援2016
- Author(s)
  佐々木夢, 荒堀喜貴, 串間宗夫, 荒木賢二, 横田治夫
- Journal Title
  
  日本データベース学会和文論文誌
  
  Volume: 14-J Pages: 1-7
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25240014
[Presentation] Happens-Before関係を考慮したDFIによる正確なデータレースの動的検知2023
- Author(s)
  雫石想, 荒堀喜貴, 権藤克彦
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] DFI によるメモリ・スレッド操作の包括的保護2023
- Author(s)
  雫石想, 荒堀喜貴, 権藤克彦
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] 正確なポインタ解析を採用したより高速なbackward解析によるpath-sensitive解析手法2023
- Author(s)
  児玉龍太郎, 荒堀喜貴, 権藤克彦
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] 動的型付け言語コードの品質保証のためのpath-sensitiveな型解析2023
- Author(s)
  児玉龍太郎, 荒堀喜貴, 権藤克彦
- Organizer
  第213回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] 動的型付言語を対象とする正確な型解析に基づく手続き間制御フロー解析とその応用2023
- Author(s)
  児玉龍太郎, 荒堀喜貴, 権藤克彦
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] 正確かつ高速なデータおよび制御の保護2023
- Author(s)
  雫石想, 荒堀喜貴, 権藤克彦
- Organizer
  第213回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] STRAB: state recovery using reverse execution at IR level for concurrent programs.2021
- Author(s)
  Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow
- Organizer
  ACM SAC 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] DiverJS: path exploration heuristic for difference analysis of event-driven code2021
- Author(s)
  Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow
- Organizer
  ACM SAC 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] Risk-Aware Leak Detection at Binary Level2020
- Author(s)
  Yuta Koizumi, Yoshitaka Arahori
- Organizer
  IEEE PRDC 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] クラウドシステムの非決定的性能バグ検査器2020
- Author(s)
  和田智優，荒堀喜貴，権藤克彦
- Organizer
  DEIM 2020
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] イベント駆動コードの差分解析を可能にするパス探査経験則2020
- Author(s)
  冨永江奈，荒堀喜貴，権藤克彦
- Organizer
  PPL 2020
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] イベント駆動コードの差分解析を可能にするパス探査経験則2020
- Author(s)
  冨永江奈，荒堀喜貴，権藤克彦
- Organizer
  PPL 2019
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] クラウドシステムの非決定的性能バグ検査器2020
- Author(s)
  和田智優，荒堀喜貴，権藤克彦
- Organizer
  DEIM 2020
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection2019
- Author(s)
  Yoshitaka Arahori
- Organizer
  The 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] 並行バグの効率的な自動原因解析を可能にする静的解析2019
- Author(s)
  星野シンジ，荒堀喜貴，権藤克彦
- Organizer
  FOSE 2019
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] 分散並行ファジング2019
- Author(s)
  石山泰地，荒堀喜貴，権藤克彦
- Organizer
  FOSE 2019
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] 強化学習に基づく並行バグ検知2019
- Author(s)
  李兆亮、荒堀喜貴、権藤克彦
- Organizer
  FOSE 2019
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] ωCatch: クラウドシステムにおけるパフォーマンスバグの正確な自動検知に向けて2019
- Author(s)
  和田智優，荒堀喜貴，権藤克彦
- Organizer
  FOSE 2019
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] 強化学習によるイベント駆動コードの等価性検査戦略の生成2019
- Author(s)
  冨永江奈，荒堀喜貴，権藤克彦
- Organizer
  FOSE 2020
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] 分散並行ファジング2019
- Author(s)
  石山泰地，荒堀喜貴，権藤克彦
- Organizer
  FOSE 2019
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] POI: Skew-Aware Parallel Race Detection2019
- Author(s)
  Yoshitaka Sakurai, Yoshitaka Arahori, Katsuhiko Gondow
- Organizer
  The 18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] 分散並行バグ動的検出の大規模性能シミュレータ2019
- Author(s)
  片平遥香, 荒堀喜貴
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] ωCatch: クラウドシステムにおけるパフォーマンスバグの正確な自動検知に向けて2019
- Author(s)
  和田智優，荒堀喜貴，権藤克彦
- Organizer
  FOSE 2019
- Data Source
  KAKENHI-PROJECT-19K11900
[Presentation] サンプリングに基づく分散悪性競合のオンライン検出2018
- Author(s)
  片平遥香, 荒堀喜貴, 権藤克彦
- Organizer
  情報処理学会第198回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] ハイブリッド競合検査の負荷分散を考慮した並列化2018
- Author(s)
  櫻井義孝, 荒堀喜貴, 権藤克彦
- Organizer
  情報処理学会第198回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-16K00093
[Presentation] Code Oriented Diagram Editorを用いた並行バグの可視化2016
- Author(s)
  大村裕, 荒堀喜貴, 権藤克彦, 渡部卓雄
- Organizer
  日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)
- Place of Presentation
  北海道
- Year and Date
  2016-12-14
- Data Source
  KAKENHI-PROJECT-26730033
[Presentation] 静的コード解析に基づくプルリクエスト品質即時計測2016
- Author(s)
  佐々木俊亮, 荒堀喜貴, 権藤克彦
- Organizer
  日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)
- Place of Presentation
  北海道
- Year and Date
  2016-12-14
- Data Source
  KAKENHI-PROJECT-26730033
[Presentation] Sequential Pattern Mining on Electronic Medical Records with Handling Time Intervals and the Efficacy of Medicines2016
- Author(s)
  Keishiro Uragaki, Tomoyuki Hosaka, Yoshitaka Arahori, Muneo Kushima, Tomoyoshi Yamazaki, Kenji Araki, Haruo Yokota
- Organizer
  the 21st IEEE International Symposium on Computers and Communications
- Place of Presentation
  Messina, Italy
- Year and Date
  2016-06-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240014
[Presentation] アクセス時間に基づいた次アクセス予想によるデバイスミックスストレージシステムの制御手法2016
- Author(s)
  新屋敷裕太, 飯澤健, 小沢年弘, 荒堀喜貴, 横田治夫
- Organizer
  第8回データ工学と情報マネジメントに関するフォーラム(DEIM 2016)
- Place of Presentation
  福岡
- Year and Date
  2016-02-29
- Data Source
  KAKENHI-PROJECT-25240014
[Presentation] 医療履歴の時系列解析におけるシーケンス間類似度評価による時間間隔調整の導入2016
- Author(s)
  保坂智之, 浦垣啓志郎, 荒堀喜貴, 串間宗夫, 山崎友義, 荒木賢二, 横田治夫
- Organizer
  第8回データ工学と情報マネジメントに関するフォーラム(DEIM 2016)
- Place of Presentation
  福岡
- Year and Date
  2016-02-29
- Data Source
  KAKENHI-PROJECT-25240014
[Presentation] 動的バイナリ計装に基づく正確なヒープ境界検査2016
- Author(s)
  長田晃太朗, 荒堀喜貴, 権藤克彦
- Organizer
  日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)
- Place of Presentation
  北海道
- Year and Date
  2016-12-14
- Data Source
  KAKENHI-PROJECT-26730033
[Presentation] 電子カルテの投薬履歴における薬効に着目した医療行為パターンの抽出2016
- Author(s)
  浦垣啓志郎, 保坂智之, 荒堀喜貴, 串間宗夫, 山崎友義, 荒木賢二, 横田治夫
- Organizer
  第8回データ工学と情報マネジメントに関するフォーラム(DEIM 2016)
- Place of Presentation
  福岡
- Year and Date
  2016-02-29
- Data Source
  KAKENHI-PROJECT-25240014
[Presentation] 階層ストレージシステムに向けたワークロードのブロックアクセス分析に関する考察2015
- Author(s)
  新屋敷裕太, 飯澤健, 小沢年弘, 荒堀喜貴, 横田治夫
- Organizer
  電子情報通信学会データ工学・情報処理学会データベース合同研究会
- Place of Presentation
  奈良
- Year and Date
  2015-08-05
- Data Source
  KAKENHI-PROJECT-25240014
[Presentation] 並行ソフトウェア実行時検証のアクセラレーション技術2015
- Author(s)
  荒堀喜貴
- Organizer
  日本エレクトロニクスショー協会 Design Solution Forum 2015
- Place of Presentation
  東京都
- Year and Date
  2015-10-02
- Data Source
  KAKENHI-PROJECT-26730033
[Presentation] 並行バグの高精度かつ高効率な検出方式の検討2015
- Author(s)
  荒堀喜貴
- Organizer
  日本ソフトウェア科学会第13回ディペンダブルシステムワークショップ（DSW2015）
- Place of Presentation
  静岡県
- Year and Date
  2015-12-16
- Data Source
  KAKENHI-PROJECT-26730033
[Presentation] 電子カルテシステムの操作ログデータの時系列分析による頻出シーケンスの抽出2014
- Author(s)
  牧原健太郎, 荒堀喜貴, 渡辺陽介, 串間宗夫, 荒木賢二, 横田治夫
- Organizer
  データ工学と情報マネジメントに関するフォーラム
- Place of Presentation
  淡路夢舞台＆ウェスティン淡路兵庫県淡路市
- Data Source
  KAKENHI-PROJECT-25240014
[Presentation] トランザクショナル記号実行2013
- Author(s)
  荒堀喜貴，横田治夫
- Organizer
  情報処理学会第75回全国大会
- Place of Presentation
  宮城県仙台市東北大学
- Data Source
  KAKENHI-PROJECT-24700026
[Presentation] 並列データ処理基盤を用いた並行バグ並列検査方式の検討2013
- Author(s)
  荒堀喜貴
- Organizer
  情報処理学会夏のプログラミング・シンポジウム2013
- Place of Presentation
  東京都
- Data Source
  KAKENHI-PROJECT-24700026
[Presentation] 割込み競合の探査を可能にするトランザクショナルメモリ仮想化方式の検討2013
- Author(s)
  荒堀喜貴
- Organizer
  日本ソフトウェア科学会第11回ディペンダブルシステムワークショップ
- Place of Presentation
  静岡県
- Data Source
  KAKENHI-PROJECT-24700026
[Presentation] ロックセット解析に基づく動的割込み競合検出の精度改善2012
- Author(s)
  荒堀喜貴，権藤克彦
- Organizer
  日本ソフトウェア科学会第10回ディペンダブルシステムワークショップ (DSW 2012)
- Place of Presentation
  兵庫県神戸市理化学研究所計算科学研究機構
- Data Source
  KAKENHI-PROJECT-24700026
[Presentation] SIBM - 避難場所情報に対するRDFデータセットベンチマークツール
- Author(s)
  グエンホアイナム, 荒堀喜貴, 横田治夫
- Organizer
  第7回データ工学と情報マネジメントに関するフォーラム
- Place of Presentation
  福島県郡山市
- Year and Date
  2015-03-02 – 2015-03-04
- Data Source
  KAKENHI-PROJECT-25240014
[Presentation] メニーコア環境における関係表分割アルゴリズムを用いたハッシュ結合演算の評価,
- Author(s)
  中澤正和, 西方, 荒堀喜貴, 横田治夫.
- Organizer
  第7回データ工学と情報マネジメントに関するフォーラム
- Place of Presentation
  福島県郡山市
- Year and Date
  2015-03-02 – 2015-03-04
- Data Source
  KAKENHI-PROJECT-25240014

1. Yokota Haruo (10242570)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
2. 宮崎純 (40293394)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 小林隆志 (50345386)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 小口正人 (60328036)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 天笠俊之 (70314531)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 波多野賢治 (80314532)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 渡辺陽介 (80532944)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
8. 欅惇志 (00733958)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 内田公太 (90836701)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Arahori Yoshitaka 荒堀 喜貴

ARAHORI Yoshitaka 荒堀 喜貴

Research Projects

Research Products

Co-Researchers

ハードウェア脆弱性を突くメモリ/並行攻撃の緩和機構Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Binary Analysis Framework for Instrumenting and Controlling Concurrent Behaviors of MicroarchitecturesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research of Sanitizers for Distributed Concurrent SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on Efficient and Precise Runtime Checking of Concurrent SoftwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Transactional Symbolic ExecutionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on basic technologies for sharing the information in a disaster recovery

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of Highly Accurate and Efficient Int-Race DetectionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code2023

Author(s)

Journal Title

Data Source

[Journal Article] Postmortem accurate IR-level state recovery for deployed concurrent programs2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] 電子カルテシステムのオーダログ解析による医療行為の支援2016

Author(s)

Journal Title

Data Source

[Presentation] Happens-Before関係を考慮したDFIによる正確なデータレースの動的検知2023

Author(s)

Organizer

Data Source

[Presentation] DFI によるメモリ・スレッド操作の包括的保護2023

Author(s)

Organizer

Data Source

[Presentation] 正確なポインタ解析を採用したより高速なbackward解析によるpath-sensitive解析手法2023

Author(s)

Organizer

Data Source

[Presentation] 動的型付け言語コードの品質保証のためのpath-sensitiveな型解析2023

Author(s)

Organizer

Data Source

[Presentation] 動的型付言語を対象とする正確な型解析に基づく手続き間制御フロー解析とその応用2023

Author(s)

Organizer

Data Source

Arahori Yoshitaka 荒堀喜貴

ARAHORI Yoshitaka 荒堀喜貴