論文

• 権藤 克彦, 新山 祐介, 荒堀 喜貴. UCDetector:ユーザ空間で実装した Swift 言語用の 循環参照検知器, コンピュータソフトウェア, Vol. 39, No. 4, pp. 97-128, Nov. 2022.
• S. Hoshino, Y. Arahori, K. Gondow. Postmortem accurate IR-level state recovery for deployed concurrent programs, ACM SIGAPP Applied Computing Review, Vol. 21, Issue. 3, pp. 33-48, Sept. 2021.
• 佐々木夢, 荒堀喜貴, 串間宗夫, 荒木賢二, 横田治夫. 電子カルテシステムのオーダログ解析による医療行為の支援, 日本データベース学会和文論文誌, Vol. 14-J, Article No. 10, Mar. 2016.
• 森川知哉, 荒堀喜貴, 権藤克彦. 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価, コンピュータソフトウェア（レター論文）, Vol. 31, No. 1, Jan. 2014.
• 権藤克彦, 福安 直樹, 荒堀喜貴. ネイティブアセンブリコードを出力する教育用コンパイラ（XCC）と，水平スライスが可能な可視化ツール（MieruCompiler）, 電子情報通信学会論文誌, 一般社団法人電子情報通信学会, Vol. J95-D, No. 5, pp. 1225-1241, May 2012.
• 荒堀喜貴, 権藤克彦, 前島英雄. 競合回避機構を備えた高互換かつ高精度な境界検査手法, 情報処理学会論文誌, Vol. 53, No. 3, pp. 1150-1165, Mar. 2012.
• 鮎川力也, 権藤克彦, 荒堀 喜貴. 誤解放を防ぐための新しい型修飾子 strict_lifetime, 電子情報通信学会論文誌, Vol. J95-D, No. 2, Feb. 2012.
• 荒堀喜貴, 権藤克彦, 前島英雄. 広範な実用Ｃプログラムに適用可能かつ高精度な動的境界検査ツール, 電子情報通信学会論文誌, vol. J93-D, no. 10, pp. 1851-1865, Oct. 2010.
• 荒堀喜貴, 権藤克彦, 前島英雄. Cプログラムの割り込み競合の動的検出法, 情報処理学会論文誌, vol. 51, no. 9, pp. 1816-1831, Sept. 2010.

国際会議発表 (査読有り)

• S. Hoshino, Y. Arahori, K. Gondow. STRAB: state recovery using reverse execution at IR level for concurrent programs, SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing, pp. 1532–1541, Mar. 2021.
• E. Tominaga, Y. Arahori, K. Gondow.. DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code, SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing, pp. 1768–1777, Mar. 2021.
• E. Tominaga, Y. Arahori, K. Gondow. AwaitViz: a Visualizer of JavaScript's Async/Await Execution Order, SAC'19: Proc. 34th ACM/SIGAPP Sympo. on Applied Computing, pp. 2515–-2524, Apr. 2019.
• Y. Jitsunari, Y. Arahori, K. Gondow. Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing, Int. Conf. on Advanced Information Networking and Applications (AINA 2019), pp. 470-484, Mar. 2019.
• Y. Shinyama, Y. Arahori, K. Gondow. Analyzing Code Comments to Boost Program Comprehension, 25th Asia-Pacific Software Engineering Conf. (APSEC 2018), pp. 325-334, Dec. 2018.
• Y. Sakurai, Y. Arahori, K. Gondow. POI: Skew-Aware Parallel Race Detection, 2018 IEEE 18th Int. Working Conf. on Source Code Analysis and Manipulation (SCAM 2018), pp. 215-224, Sept. 2018.
• K. Gondow, Y. Arahori. Why Do We Need the C language in Programming Courses?, 13th Int. Conf. Software Technologies (ICSOFT 2018), pp. 549-556, July 2018.
• K. Gondow, Y. Arahori, K. Yamamoto, M. Fukuyori, R. Umekawa. TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste, 13th Int. Conf. Software Technologies (ICSOFT 2018), July 2018.
• Y. Shinyama, Y. Arahori, K. Gondow:. CodeCAM: capturing programmer's reaction during coding session, 2018 IEEE Workshop on Mining and Analyzing Interaction Histories (MAINT), pp. 1-5, Mar. 2018.
• Keishiro Uragaki, Tomoyuki Hosaka, Yoshitaka Arahori, Muneo Kushima, Tomoyoshi Yamazaki, Kenji Araki, Haruo Yokota. Sequential Pattern Mining on Electronic Medical Records with Handling Time Intervals and the Efficacy of Medicines, The first IEEE Workshop on ICT Solutions for Health, Proc. of the 21st IEEE International Symposium on Computers and Communications, June 2016.
• Y. Kojima, Y. Arahori, K. Gondow. Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers, 7th Int. Conf. on Computer Supported Education (CSEDU 2015), May 2015.
• Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori. MieruCompiler: Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers, 41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010), 41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010), pp. 7-11, Mar. 2010.
• Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima. TCBC: Trap Caching Bounds Checking for C, 8th IEEE Int. Conf. on Dependable, Autonomic and Secure Computing (DASC-09), 8th IEEE Int. Conf. on Dependable, Autonomic and Secure Computing (DASC-09), pp. 49-56, Dec. 2009.
• Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima. Cache-based Bounds Checking for Multi-threaded C Programs, 21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009), 21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009), CD-ROM No. 668-019, pp. 1-8, Sept. 2009.

国際会議発表 (査読なし・不明)

• T. Ogitani, Y. Arahori, Y. Shinyama, K. Gondow. Space Saving Text Input Method for Head Mounted Display with Virtual 12-key Keyboard, 32nd IEEE Int. Conf. on Advanced Information Networking and Applications (AINA-2018), May 2018.

国内会議発表 (査読なし・不明)

• 大村裕, 荒堀喜貴, 権藤克彦, 渡部卓雄. Code Oriented Diagram Editorを用いた並行バグの可視化, 日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016), Dec. 2016.  公式リンク  
  
• 佐々木俊亮, 荒堀喜貴, 権藤克彦. 静的コード解析に基づくプルリクエスト品質即時計測, 日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ, Dec. 2016.
• 長田晃太朗, 荒堀喜貴, 権藤克彦. 動的バイナリ計装に基づく正確なヒープ検査, 日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ, Dec. 2016.
• 新屋敷裕太, 飯澤健, 小沢 年弘, 荒堀 喜貴, 横田 治夫. アクセス時間に基づいた次アクセス予想によるデバイスミックスストレージシステムの制御手法, 第8回データ工学と情報マネジメントに関するフォーラム, 第8回データ工学と情報マネジメントに関するフォーラム論文集, D8-2, Mar. 2016.
• 保坂 智之, 浦垣啓志郎, 荒堀 喜貴, 串間 宗夫, 山崎 友義, 荒木 賢二, 横田 治夫. 医療履歴の時系列解析におけるシーケンス間類似度評価による時間間隔調整の導入, 第8回データ工学と情報マネジメントに関するフォーラム, 第8回データ工学と情報マネジメントに関するフォーラム論文集, G7-6, Mar. 2016.
• 浦垣啓志郎, 保坂 智之, 荒堀 喜貴, 串間 宗夫, 山崎 友義, 荒木 賢二, 横田 治夫. 電子カルテの投薬履歴における薬効に着目した医療行為パターンの抽出, 第8回データ工学と情報マネジメントに関するフォーラム, 第8回データ工学と情報マネジメントに関するフォーラム論文集, G7-5, Mar. 2016.
• 新屋敷裕太, 飯澤 健, 小沢 年弘, 荒堀喜貴, 横田治夫. 階層ストレージシステムに向けたワークロードのブロックアクセス分析に関する考察, 電子情報通信学会データ工学・情報処理学会データベース合同研究会, 信学技報 DE2015-12, 電子情報通信学会, pp. 1-6, Aug. 2015.
• グエン ホアイ ナム, 荒堀 喜貴, 横田 治夫. SIBM - 避難場所情報に対するRDFデータセットベンチマークツール, 第7回データ工学と情報マネジメントに関するフォーラム, 第7回データ工学と情報マネジメントに関するフォーラム論文集, Mar. 2015.
• 佐々木 夢, 荒堀 喜貴, 串間 宗夫, 荒木 賢二, 横田 治夫. 電子カルテシステムのオーダログデータ解析による医療行為の支援, 第7回データ工学と情報マネジメントに関するフォーラム, 第7回データ工学と情報マネジメントに関するフォーラム論文集, Mar. 2015.
• 中澤 正和, 西 方, 荒堀 喜貴, 横田 治夫. メニーコア環境における関係表分割アルゴリズムを用いたハッシュ結合演算の評価, 第7回データ工学と情報マネジメントに関するフォーラム, 第7回データ工学と情報マネジメントに関するフォーラム論文集, Mar. 2015.
• 奥村 開里, 荒堀 喜貴, 渡辺 陽介, 横田 治夫. 遠隔カメラ側でのフレーム選択を用いた時刻指定動画再生システム, 第6回データ工学と情報マネジメントに関するフォーラム, Mar. 2014.
• 牧原 健太郎, 荒堀 喜貴, 渡辺 陽介, 串間宗夫, 荒木賢二, 横田 治夫. 電子カルテシステムの操作ログデータの時系列分析による頻出シーケンスの抽出, 第6回データ工学と情報マネジメントに関するフォーラム, Mar. 2014.

その他の論文・著書など

• 権藤克彦, 内田公太, 小島吉貴, 荒堀喜貴. 初心者にやさしいコンパイラ警告メッセージを目指して, 情報処理学会誌, vol. 58, no. 11, pp. 1022-1023, Oct. 2017.

学位論文

• Cプログラムの不正メモリ操作検出ツール,  本文,  博士(工学),  東京工業大学,  2010/03/26, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]