Updated on 2026/08/07

写真a

 
ARAHORI YOSHITAKA
 
Organization
School of Computing Visiting Associate Professor
Title
Visiting Associate Professor

Research Interests

  • システムソフトウェア

  • program analysis

  • bug finding

  • system software

  • プログラム解析

  • バグ検出

Research Areas

  • Informatics / Software

Education

  • Tokyo Institute of Technology

    - 2010

  • Tokyo Institute of Technology

    - 2010

    　 More details

    Country： Japan

Research History

  • The University of Electro-Communications Graduate School of Information Systems Department of Information System Fundamentals   Assistant Professor

MISC

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

    情報処理学会   S4-1   2012

  • Highly Compatible and Precise Bounds Checking with a Race-avoiding Machinery

    53 ( 3 )   1150 - 1165   2012

    　More details

    Language：Japanese  

    CiNii Books

    Other Link： http://id.nii.ac.jp/1001/00081298/

  • 誤解放を防ぐための新しい型修飾子 strict_lifetime

    電子情報通信学会論文誌   J95-D ( 2 )   217 - 224   2012

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

    2012

  • ネイティブアセンブリコードを出力する教育用コンパイラ（XCC）と，水平スライスが可能な可視化ツール（MieruCompiler）

    電子情報通信学会論文誌   J95-D ( 5 )   1225 - 1241   2012

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

    電子情報通信学会論文誌   J93-D ( 10 )   1851 - 1865   2010

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

    Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori

    7 - 11   2010

    　More details

  • 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

    　More details

  • 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

    　More details

    Language：English   Publisher：IEEE COMPUTER SOC  

    In this paper, we propose a debugging technique for C, which can dynamically find boundary errors on strings in a highly-compatible, accurate and efficient manner. The main idea of our technique is to effectively keep track of hazardous memory bounds (called trap regions) using a small table (called a trap cache) on the static section of the instrumented program. We have implemented our technique as an extension of GCC 4.1.1 and conducted experiments. The results show that our technique was easily applicable even to large real programs including Apache 1.3.37 and Linux 2.6.20.4 without requiring significant manual effort, it successfully detected all of ten known boundary errors in them with no false positives, and it incurred low run-time overheads (average 17%) for their benchmarks.

    DOI： 10.1109/DASC.2009.80

    Web of Science

  • Cache-Based Bounds Checking for Multi-Threaded C Programs

    IASTED   2009

▼display all

Awards

  • 平成22年度情報処理学会論文賞

    2011  

    　More details

    Country：Japan

  • IEEE DASC2009 Best Paper Award

    2009  

  • IEEE DASC2009 Best Paper Award

    2009  

Research Projects

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

    2011

    　 More details

    Grant type：Competitive