研究者
J-GLOBAL ID:201101048411079260
更新日: 2022年08月15日
荒堀 喜貴
アラホリ ヨシタカ | Arahori Yoshitaka
研究分野 (1件):
ソフトウェア
研究キーワード (6件):
バグ検出
, プログラム解析
, システムソフトウェア
, bug finding
, program analysis
, system software
競争的資金等の研究課題 (1件):
2011 - プログラムの動的解析の高度化
MISC (13件):
Backwards-Compatible, Efficient and Precise Datarace Detection for Multi-Threaded C Programs. 情報処理学会. 2012. S4-1
誤解放を防ぐための新しい型修飾子 strict_lifetime. 電子情報通信学会論文誌. 2012. J95-D. 2. 217-224
荒堀 喜貴, 権藤 克彦, 前島 英雄. 競合回避機構を備えた高互換かつ高精度な境界検査手法. 情報処理学会論文誌. 2012. 53. 3. 1150-1165
ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と,水平スライスが可能な可視化ツール(MieruCompiler). 電子情報通信学会論文誌. 2012. J95-D. 5. 1225-1241
Backwards-Compatible, Efficient and Precise Datarace Detection for Multi-Threaded C Programs. 2012
もっと見る
学歴 (2件):
- 2010 東京工業大学
- 2010 東京工業大学
経歴 (1件):
電気通信大学 大学院情報システム学研究科 情報システム基盤学専攻 助教
受賞 (3件):
2011 - 平成22年度情報処理学会論文賞
2009 - IEEE DASC2009 Best Paper Award
2009 - IEEE DASC2009 Best Paper Award
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM