-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
175 lines (173 loc) · 9.12 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Takeshi Yoshimura</title>
</head>
<body>
<h1>Takeshi Yoshimura</h1>
<img src="./img1.jpg" height=20%> <img src="./img2.jpg" height=20%> <img src="./img3.jpg" height=20%><br><br>
Takeshi Yoshimura was a Ph.D. student working with Prof. Kono at Keio University. He is now working in IBM Research - Tokyo.
This page mainly includes his achievements in Keio University.
His achievements in IBM is <a href = "http://researcher.ibm.com/researcher/view.php?person=jp-TYOS">here</a>.<br>
email: yos at sslab dot ics dot keio dot ac dot jp<br>
research interests: operating systems, device drivers, software bug, software analysis, software testing, model checking, fault injection, machine learning for systems software<br>
target software: Linux kernel, Hadoop MapReduce, Apache Mahout, Clang static analyzer<br>
<br>
<hr>
<h2>Biography</h2>
Takeshi Yoshimura is a researcher in IBM Research Tokyo.
He was a member of <a href="http://www.sslab.ics.keio.ac.jp">sslab</a>.
He received his Ph.D. degree from the Department of Information and Computer Science at Keio University.
His research interests include dependable systems, operating systems.
His current research topic is to develop a new mechanism to improve reilability of operating system kernels.<br>
<h2>Publications</h2>
<h3>Journals</h3>
<ul><li>
Takeshi Yoshimura and Kenji Kono:
"A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers",
IPSJ Transactions on Advanced Computing Systems (ACS53), (To appear).<p>
<li>
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono:
"Using Fault Injection to Analyze the Scope of Error Propagation in Linux",
IPSJ Transactions on Advanced Computing Systems (ACS42), Vol. 6, No. 2 pp. 1-10, April 2013.<p>
</ul>
<h3>International conferences</h3>
<ul><li>
Masato Asahara and Takeshi Yoshimura:
"Starving for Hints!: Toward Predicting Resource Usage Levels of Tasks in a Distributed Computing Framework Layer",
In Proceedings of the 6th ACM Asia-Pacific Workshop on Systems (APSys '15), Poster, July 2015.<p>
<li>
Naohiro Aota, Takeshi Yoshimura, and Kenji Kono:
"Improving File System Test Coverage with Injected Disk Snapshot",
In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST '15), Work-in-Progress, February 2015.<p>
<li>
Nobuo Kikuchi, Takeshi Yoshimura, Ryo Sakuma, and Kenji Kono:
"Do Injected Faults Cause Real Failures? ― A Case Study of Linux ―",
In Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE '14), Student Paper, November 2014.<p>
<li>
Takeshi Yoshimura and Kenji Kono:
"Who writes what checkers? --- Learning from bug repositories",
In Proceedings of the 10th Workshop on Hot Topics in System Dependability (HotDep '14), pp. 1-6, October 2014.<p>
<li>
Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, and Takeshi Yoshimura:
"FoxyFeed: Forging Device-level Asynchronous Events for Kernel Development",
In Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '14), pp. 145-154, November 2014.<p>
<li>
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono:
"Is Linux Kernel Oops Useful or Not?",
In Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12), pp. 1-6, October 2012.<p>
<li>
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono:
"A Study on the Scope of Error Propagation in Linux",
In Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '12), Poster & Fast Abstract, pp. 1-2, June 2012.<p>
<li>
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono:
"Linux can be fault-tolerant: Analysis on the Scope of Error Propagation",
The 3rd Annual LinuxCon Japan, Student Presentation Session, June 2012.<p>
<li>
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono:
"Can Linux be Rejuvenated without Reboots?",
In Proceedings of the 3rd International Workshop on Software Aging and Rejuvenation (WoSAR '11), pp.50-55, November 2011.<p>
</ul>
<h3>Technical reports</h3>
<ul><li>
中村 啓太郎，深井 賢，吉村 剛，河野 健二：
"パフォーマンス障害に対する管理図によるログ削減手法"，
システムソフトウェアとオペレーティング・システム研究会，2015 年 11 月．<p>
<li>
深井 賢，中村 啓太郎，吉村 剛，河野 健二：
"実行パスの解析による性能障害の原因関数の推定"，
システムソフトウェアとオペレーティング・システム研究会，2015 年 11 月．<p>
<li>
佐久間 亮, 吉村 剛，河野 健二：
"ReBucket を用いた Linux クラッシュログの分類と精度向上手法"，
システムソフトウェアとオペレーティング・システム研究会，2015 年 11 月．<p>
<li>
吉村 剛，河野 健二：
"Linux カーネルにおけるバグ検査器の自動生成手法"，
ディペンダブルシステムワークショップ (DSW2014)，2014 年 12 月.<p>
<li>
青田 直大，吉村 剛，河野健二：
"ファイルシステムテストツールのカバレッジ調査"，
ディペンダブルシステムワークショップ (DSW2014)，2014 年 12 月.<p>
<li>
青田 直大，河野 健二，吉村 剛：
"ファイルシステムテストツールのカバレッジ調査",
システムソフトウェアとオペレーティング・システム研究会，2014 年 11 月．<p>
<li>
菊池 伸郎，吉村 剛，佐久間 亮，河野 健二：
"Linux へのソフトウェアフォールトインジェクションの有用性の調査"，
システムソフトウェアとオペレーティング・システム研究会, 2014 年 8 月．<p>
<li>
深井 賢，中村 啓太郎，吉村 剛，河野 健二：
"Linuxにおける障害異常検知への管理図の適用"，
システムソフトウェアとオペレーティング・システム研究会, 2014 年 8 月．<p>
<li>
佐久間 亮，菊池 伸郎，吉村 剛，河野 健二：
"ReBucket を用いた Linux カーネルバグの分類"，
システムソフトウェアとオペレーティング・システム研究会, 2014 年 8 月．<p>
<li>
吉村剛，河野健二：
"Linux カーネルにおけるバグの実態調査"，
システムソフトウェアとオペレーティング・システム研究会, 2014 年 8 月．<p>
<li>
吉村剛，河野健二：
"Linux カーネルのパッチ分析"，
ディペンダブルシステムワークショップ (DSW2013)，2013 年 12 月.<p>
<li>
菊池伸郎，吉村剛，河野健二：
"Linux におけるフォールトインジェクションによる障害と実際の障害事例の比較"，
ディペンダブルシステムワークショップ (DSW2013)，2013 年 12 月.<p>
<li>
宮原俊介，吉村剛，山田浩史，河野健二：
"仮想マシンモニタを用いた割込み処理のデバッグ支援手法"，
システムソフトウェアとオペレーティング・システム研究会, 2013 年 2 月.<p>
<li>
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono:
"Using Fault Injection to Analyze the Scope of Error Propagation in Linux",
コンピュータシステム・シンポジウム (ComSys '12), pp 13-24, 2012 年 11 月.<p>
<li>
吉村剛，山田浩史，河野健二：
"Linux カーネルにおけるエラー伝播の調査"，
システムソフトウェアとオペレーティング・システム研究会, 2012 年 5 月.<p>
<li>
吉村剛，山田浩史，吉田哲也，河野健二：
"オペレーティングシステムカーネルにおけるエラー伝播の調査"，
システムソフトウェアとオペレーティング・システム研究会, 2011 年 4 月.<p>
</ul>
<h2>Contributions for Open Source Projects</h2>
<ul>
<li><a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/log/?qt=author&q=Takeshi+Yoshimura">Linux kernel</a><p>
<li><a href="http://reviews.llvm.org/differential/?authors=takeshi-yoshimura">clang static analyzer</a><p>
</ul>
<h2>Software</h2>
<ul>
<li><a href="https://github.com/takeshi-yoshimura/swifi">Binary-level software fault injector for x86 Linux</a><p>
<li>Linux patch clustering<p>
<li>Bug checkers specific to Linux device drivers<p>
</ul>
<h2>Awards</h2>
<ul><li>
コンピュータサイエンス領域奨励賞，2013 年<br>
情報処理学会<p>
<li>
最優秀学生発表賞, 2012 年 5 月<br>
情報処理学会 システムソフトウェアとオペレーティング・システム研究会<p>
</ul>
<h2>Degrees</h2>
<ul>
<li>March 2016, Doctor of Engineering, Keio University<p>
<li>March 2013, Master of Engineering, Keio University<p>
<li>March 2011, Bachelor of Engineering, Keio University<p>
</ul>
<h2>Work experiences</h2>
<ul>
<li>2016 年 4 月 - 現在, IBM 東京基礎研究所 研究員 <p>
<li>2014 年 4 月 - 2016 年 3 月，日本学術振興会 特別研究員（DC2）<p>
<li>2014 年 8 月 - 10 月，NEC グリーンプラットフォーム研究所インターンシップ <p>
</ul>
<hr>
last updated: April 5 2017<br>
<br>
</body>
</html>