荒堀喜貴 (Yoshitaka Arahori) - マイポータル - researchmap

基本情報

J-GLOBAL ID: 201101048411079260
researchmap会員ID: 6000029283

研究キーワード

6

研究分野

1

情報通信 / ソフトウェア /

経歴

1

電気通信大学大学院情報システム学研究科情報システム基盤学専攻, 助教

学歴

2

- 2010年

東京工業大学
- 2010年

東京工業大学

受賞

3

MISC

13

Backwards-Compatible, Efficient and Precise Datarace Detection for Multi-Threaded C Programs

情報処理学会 S4-1 2012年
誤解放を防ぐための新しい型修飾子 strict_lifetime

電子情報通信学会論文誌 J95-D(2) 217-224 2012年
競合回避機構を備えた高互換かつ高精度な境界検査手法

荒堀喜貴, 権藤克彦, 前島英雄

情報処理学会論文誌 53(3) 1150-1165 2012年
ネイティブアセンブリコードを出力する教育用コンパイラ（XCC）と，水平スライスが可能な可視化ツール（MieruCompiler）

電子情報通信学会論文誌 J95-D(5) 1225-1241 2012年
Backwards-Compatible, Efficient and Precise Datarace Detection for Multi-Threaded C Programs

2012年
MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers.

Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori

7-11 2010年
広範な実用Ｃプログラムに適用可能かつ高精度な動的境界検査ツール

電子情報通信学会論文誌 J93-D(10) 1851-1865 2010年
Cプログラムの割り込み競合の動的検出法

情報処理学会論文誌 51(9) 1816-1831 2010年
MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers.

Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori

ACM 7-11 2010年
Cache-Based Bounds Checking for Multi-Threaded C Programs

IASTED CD-ROM No.668-019 2009年
TCBC: Trap Caching Bounds Checking for C

Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima

EIGHTH IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS 49-+ 2009年
Cache-Based Bounds Checking for Multi-Threaded C Programs

IASTED 2009年
TCBC: Trap Caching Bounds Checking for C

Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima

EIGHTH IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS 49-+ 2009年

共同研究・競争的資金等の研究課題

1

プログラムの動的解析の高度化

2011年