Rchr
J-GLOBAL ID：201101048411079260
Update date: Aug. 15, 2022
Arahori Yoshitaka
アラホリ ヨシタカ | Arahori Yoshitaka
Research field (1)：
Software
Research keywords (6)：
バグ検出
, プログラム解析
, システムソフトウェア
, bug finding
, program analysis
, system software
Research theme for competitive and other funds (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
Highly Compatible and Precise Bounds Checking with a Race-avoiding Machinery. 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
ｍore...
Education (2)：
- 2010 Tokyo Institute of Technology
- 2010 Tokyo Institute of Technology
Work history (1)：
The University of Electro-Communications Graduate School of Information Systems Department of Information System Fundamentals Assistant Professor
Awards (3)：
2011 - 平成22年度情報処理学会論文賞
2009 - IEEE DASC2009 Best Paper Award
2009 - IEEE DASC2009 Best Paper Award
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
