@article{CTT100890823, author = {権藤 克彦 and 新山 祐介 and 荒堀 喜貴}, title = {UCDetector:ユーザ空間で実装した Swift 言語用の 循環参照検知器}, journal = {コンピュータソフトウェア}, year = 2022, } @article{CTT100890822, author = {S. Hoshino and Y. Arahori and K. Gondow}, title = {Postmortem accurate IR-level state recovery for deployed concurrent programs}, journal = {ACM SIGAPP Applied Computing Review}, year = 2021, } @article{CTT100702405, author = {佐々木夢 and 荒堀喜貴 and 串間宗夫 and 荒木賢二 and 横田治夫}, title = {電子カルテシステムのオーダログ解析による医療行為の支援}, journal = {日本データベース学会和文論文誌}, year = 2016, } @article{CTT100665757, author = {森川知哉 and 荒堀喜貴 and 権藤克彦}, title = {整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価}, journal = {コンピュータソフトウェア(レター論文)}, year = 2014, } @article{CTT100644693, author = {権藤克彦 and 福安 直樹 and 荒堀喜貴}, title = {ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と,水平スライスが可能な可視化ツール(MieruCompiler)}, journal = {電子情報通信学会論文誌}, year = 2012, } @article{CTT100634450, author = {荒堀喜貴 and 権藤克彦 and 前島英雄}, title = {競合回避機構を備えた高互換かつ高精度な境界検査手法}, journal = {情報処理学会論文誌}, year = 2012, } @article{CTT100632040, author = {鮎川力也 and 権藤克彦 and 荒堀 喜貴}, title = {誤解放を防ぐための新しい型修飾子 strict_lifetime}, journal = {電子情報通信学会論文誌}, year = 2012, } @article{CTT100607725, author = {荒堀喜貴 and 権藤克彦 and 前島英雄}, title = {広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール}, journal = {電子情報通信学会論文誌}, year = 2010, } @article{CTT100607727, author = {荒堀喜貴 and 権藤克彦 and 前島英雄}, title = {Cプログラムの割り込み競合の動的検出法}, journal = {情報処理学会論文誌}, year = 2010, } @inproceedings{CTT100849392, author = {S. Hoshino and Y. Arahori and K. Gondow}, title = {STRAB: state recovery using reverse execution at IR level for concurrent programs}, booktitle = {}, year = 2021, } @inproceedings{CTT100849391, author = {E. Tominaga and Y. Arahori and K. Gondow.}, title = {DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code}, booktitle = {}, year = 2021, } @inproceedings{CTT100849389, author = {E. Tominaga and Y. Arahori and K. Gondow}, title = {AwaitViz: a Visualizer of JavaScript's Async/Await Execution Order}, booktitle = {}, year = 2019, } @inproceedings{CTT100849388, author = {Y. Jitsunari and Y. Arahori and K. Gondow}, title = {Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing}, booktitle = {}, year = 2019, } @inproceedings{CTT100849387, author = {Y. Shinyama and Y. Arahori and K. Gondow}, title = {Analyzing Code Comments to Boost Program Comprehension}, booktitle = {}, year = 2018, } @inproceedings{CTT100849386, author = {Y. Sakurai and Y. Arahori and K. Gondow}, title = {POI: Skew-Aware Parallel Race Detection}, booktitle = {}, year = 2018, } @inproceedings{CTT100849385, author = {K. Gondow and Y. Arahori}, title = {Why Do We Need the C language in Programming Courses?}, booktitle = {}, year = 2018, } @inproceedings{CTT100849384, author = {K. Gondow and Y. Arahori and K. Yamamoto and M. Fukuyori and R. Umekawa}, title = {TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste}, booktitle = {}, year = 2018, } @inproceedings{CTT100849383, author = {T. Ogitani and Y. Arahori and Y. Shinyama and K. Gondow}, title = {Space Saving Text Input Method for Head Mounted Display with Virtual 12-key Keyboard}, booktitle = {}, year = 2018, } @inproceedings{CTT100782922, author = {Y. Shinyama and Y. Arahori and K. Gondow:}, title = {CodeCAM: capturing programmer's reaction during coding session}, booktitle = {}, year = 2018, } @inproceedings{CTT100736924, author = {大村裕 and 荒堀喜貴 and 権藤克彦 and 渡部卓雄}, title = {Code Oriented Diagram Editorを用いた並行バグの可視化}, booktitle = {}, year = 2016, } @inproceedings{CTT100734931, author = {佐々木俊亮 and 荒堀喜貴 and 権藤克彦}, title = {静的コード解析に基づくプルリクエスト品質即時計測}, booktitle = {}, year = 2016, } @inproceedings{CTT100734930, author = {長田晃太朗 and 荒堀喜貴 and 権藤克彦}, title = {動的バイナリ計装に基づく正確なヒープ検査}, booktitle = {}, year = 2016, } @inproceedings{CTT100709114, author = {Keishiro Uragaki and Tomoyuki Hosaka and Yoshitaka Arahori and Muneo Kushima and Tomoyoshi Yamazaki and Kenji Araki and Haruo Yokota}, title = {Sequential Pattern Mining on Electronic Medical Records with Handling Time Intervals and the Efficacy of Medicines}, booktitle = {Proc. of the 21st IEEE International Symposium on Computers and Communications}, year = 2016, } @inproceedings{CTT100703766, author = {新屋敷裕太 and 飯澤健 and 小沢 年弘 and 荒堀 喜貴 and 横田 治夫}, title = {アクセス時間に基づいた次アクセス予想によるデバイスミックスストレージシステムの制御手法}, booktitle = {第8回データ工学と情報マネジメントに関するフォーラム論文集}, year = 2016, } @inproceedings{CTT100703762, author = {保坂 智之 and 浦垣啓志郎 and 荒堀 喜貴 and 串間 宗夫 and 山崎 友義 and 荒木 賢二 and 横田 治夫}, title = {医療履歴の時系列解析におけるシーケンス間類似度評価による時間間隔調整の導入}, booktitle = {第8回データ工学と情報マネジメントに関するフォーラム論文集}, year = 2016, } @inproceedings{CTT100703764, author = {浦垣啓志郎 and 保坂 智之 and 荒堀 喜貴 and 串間 宗夫 and 山崎 友義 and 荒木 賢二 and 横田 治夫}, title = {電子カルテの投薬履歴における薬効に着目した医療行為パターンの抽出}, booktitle = {第8回データ工学と情報マネジメントに関するフォーラム論文集}, year = 2016, } @inproceedings{CTT100695569, author = {新屋敷裕太 and 飯澤 健 and 小沢 年弘 and 荒堀喜貴 and 横田治夫}, title = {階層ストレージシステムに向けたワークロードのブロックアクセス分析に関する考察}, booktitle = {信学技報 DE2015-12}, year = 2015, } @inproceedings{CTT100723694, author = {Y. Kojima and Y. Arahori and K. Gondow}, title = {Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers}, booktitle = {}, year = 2015, } @inproceedings{CTT100684671, author = {グエン ホアイ ナム and 荒堀 喜貴 and 横田 治夫}, title = {SIBM - 避難場所情報に対するRDFデータセットベンチマークツール}, booktitle = {第7回データ工学と情報マネジメントに関するフォーラム論文集}, year = 2015, } @inproceedings{CTT100684670, author = {佐々木 夢 and 荒堀 喜貴 and 串間 宗夫 and 荒木 賢二 and 横田 治夫}, title = {電子カルテシステムのオーダログデータ解析による医療行為の支援}, booktitle = {第7回データ工学と情報マネジメントに関するフォーラム論文集}, year = 2015, } @inproceedings{CTT100684668, author = {中澤 正和 and 西 方 and 荒堀 喜貴 and 横田 治夫}, title = {メニーコア環境における関係表分割アルゴリズムを用いたハッシュ結合演算の評価}, booktitle = {第7回データ工学と情報マネジメントに関するフォーラム論文集}, year = 2015, } @inproceedings{CTT100667996, author = {奥村 開里 and 荒堀 喜貴 and 渡辺 陽介 and 横田 治夫}, title = {遠隔カメラ側でのフレーム選択を用いた時刻指定動画再生システム}, booktitle = {}, year = 2014, } @inproceedings{CTT100667998, author = {牧原 健太郎 and 荒堀 喜貴 and 渡辺 陽介 and 串間宗夫 and 荒木賢二 and 横田 治夫}, title = {電子カルテシステムの操作ログデータの時系列分析による頻出シーケンスの抽出}, booktitle = {}, year = 2014, } @inproceedings{CTT100592277, author = {Katsuhiko Gondow and Naoki Fukuyasu and Yoshitaka Arahori}, title = {MieruCompiler: Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers}, booktitle = {41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)}, year = 2010, } @inproceedings{CTT100592276, author = {Yoshitaka Arahori and Katsuhiko Gondow and Hideo Maejima}, title = {TCBC: Trap Caching Bounds Checking for C}, booktitle = {8th IEEE Int. Conf. on Dependable, Autonomic and Secure Computing (DASC-09)}, year = 2009, } @inproceedings{CTT100592275, author = {Yoshitaka Arahori and Katsuhiko Gondow and Hideo Maejima}, title = {Cache-based Bounds Checking for Multi-threaded C Programs}, booktitle = {21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)}, year = 2009, } @misc{CTT100782924, author = {権藤克彦 and 内田公太 and 小島吉貴 and 荒堀喜貴}, title = {初心者にやさしいコンパイラ警告メッセージを目指して}, year = 2017, } @misc{CTT100607734, author = {荒堀喜貴}, title = {Cプログラムの不正メモリ操作検出ツール}, year = 2010, } @phdthesis{CTT100607734, author = {荒堀喜貴}, title = {Cプログラムの不正メモリ操作検出ツール}, school = {東京工業大学}, year = 2010, }