Takeshi Yoshimura  Takeshi Yoshimura photo       

contact information

Researcher
IBM Research - Tokyo
  +00dash0000dash0000

links



2016

A case for static analysis of linux to find faults in interrupt request handlers
Takeshi Yoshimura, and Kenji Kono
IPSJ Transactions on Advanced Computing Systems (ACS53) 24(3), 573--582, Information Processing Society of Japan, 2016
Abstract


2014

FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development
Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura
20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '14), pp. 145--154, 2014
Abstract

Who Writes What Checkers?-Learning from Bug Repositories.
Takeshi Yoshimura, and Kenji Kono
8th USENIX Workshop on Hot Topics in System Dependability (HotDep '12), 2014
Abstract

Do injected faults cause real failures? a case study of linux
Nobuo Kikuchi, Takeshi Yoshimura, Ryo Sakuma, Kenji Kono
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW '14), pp. 174--179, 2014
Abstract


2013

Using Fault Injection to Analyze the Scope of Error Propagation in Linux
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
IPSJ Transactions on Advanced Computing Systems (ACS42) Vol. 6(2), 1--10, 2013
Abstract


2012

Is linux kernel oops useful or not?
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
8th USENIX Workshop on Hot Topics in System Dependability (HotDep '12), 2012
Abstract


2011

Can Linux be rejuvenated without reboots?
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
IEEE Third International Workshop on Software Aging and Rejuvenation (WoSAR '11), pp. 50--55, 2011
Abstract