Sakurai Kohei

Affiliation and department：
Homepage URL (1)： https://csl.ec.t.kanazawa-u.ac.jp/~ksakurai/

Research field (1)： Software

Research keywords (2)： Software Engineering , Programming Language

Research theme for competitive and other funds (8)：

2021 - 2024 大規模機械学習のための伸縮する非同期メッセージを利用したプログラミング手法
2021 - 2024 Software model checking for real-time properties of embedded assembply program with interruptions
2018 - 2021 Software model checking of real-time safety properties for embedded assembly program
2017 - 2020 Development of an improved method for selective recording of execution history and its new applications
2015 - 2018 Verifying safety properties of embedded assembly program using innovative software model checking

Show all

Papers (17)：

Kouhei Sakurai, Taiki Shimizu. Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applica- tions. AGERE! Workshop 2019. 2019
Taiki Shimizu, Kouhei Sakurai. Comprehensive Data Tree by Actor Messaging for Incremental Hierarchical Clustering. IEEE COMPSAC2018 (FastAbstracts). 2018
Takumi Adachi, Satoshi Yamane, Kohei Sakurai. Distributed CFG-based symbolic execution for assembly programs. 2015 IEEE 4th Global Conference on Consumer Electronics, GCCE 2015. 2016. 76-80
Yuki Ono, Kouhei Sakurai, Satoshi Yamane. LogChamber: Inferring source code locations corresponding to mobile applications run-time logs. Journal of Information Processing. 2016. 24. 4. 700-710
Kouhei Sakurai, Hidehiko Masuhara. The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II. 2015. 1962-1969

ｍore...

MISC (16)：

Yuki Ono, Kouhei Sakurai, Satoshi Yamane. LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs. 2016. 9. 2
Implementation of Parallel Distributed Graph Clustering Algorithm on Apache Spark with Node Partition and Aggregation in Large-Scale Graphs. 2016. 115. 420. 141-146
CHADANI Shin, SAKURAI Kohei, YAMANE Satoshi. Code clone detection using parallel distributed processing for software revision history. Mathematical Systems Science and its Applications : IEICE technical report. 2015. 114. 493. 19-24
MATSUMOTO Kazuya, SAKURAI Kouhei, YAMANE Satoshi. Forcasting Individual stock prices using Deep Learning. Mathematical Systems Science and its Applications : IEICE technical report. 2015. 114. 493. 25-30
加藤友紀, 公下亮佑, 櫻井孝平, 山根智. 組込みアセンブリプログラムからのモデル抽出による記号モデル検査 (システム数理と応用). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 493. 65-70

ｍore...

Professional career (1)：

博士(学術) (東京大学)

Work history (4)：

2011/10 - 現在 Kanazawa University Faculty of Electrical, Information and Communication Engineering,Institute of Science and Engineering Assistant Professor
2010/04 - 2010/09 The University of Tokyo Graduate School of Arts and Sciences
2009/04 - 2010/03 Shibaura Institute of Technology Postdoctoral researcher
2006/04 - 2009/03 日本学術振興会特別研究員(DC1)

Awards (1)：

情報処理学会論文賞 Traceglasses:欠陥の効率良い発見手法を実現するトレースに基づくデバッガ

Association Membership(s) (4)：

THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS , JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY , INFORMATION PROCESSING SOCIETY OF JAPAN , ACM

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page