Sakurai Kohei 櫻井孝平

… Alternative Names

SAKURAI Kouhei 櫻井孝平

Less

Researcher Number	80597021
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2018 – 2023: 金沢大学, 電子情報通信学系, 助教 2014 – 2017: 金沢大学, 電子情報学系, 助教 2011 – 2012: 金沢大学, 電子情報学系, 助教
Review Section/Research Field	Principal Investigator Software / Basic Section 60050:Software-related / Software Except Principal Investigator Basic Section 60050:Software-related / Software
Keywords	Principal Investigator プログラム解析 / プログラミング / 機械学習 / 実行履歴 / ソフトウェアデバッグ / 分散コンピューティング / ソフトウェア開発支援 / ソフトウェア工学 / ソフトウエア開発効率化 / アクターモデル … More / 大規模データ処理 / モバイルアプリケーション / デバッグ / ソフトェアデバッグ / ソフトウェアテスト / プログラムトレース … More Except Principal Investigator SMT / 抽象化精錬 / 組込みアセンブリプログラム / ソフトウェアモデル検査 / 抽象化精錬(CEGAR) / SAT/SMT理論 / タイマ割込み / イベント割込み / 双模倣関係 / SMTソルバー / アセンブリプログラム / 割込み処理 / 組込みソフトウェア / リアルタイム安全性 / 時間Kripke構造 / Interpolation / 操作履歴 / 関心度モデル / Omission bug / 静的解析 / メンタルモデル / 実行履歴型デバッガ / ユニットテスト / 自動レイアウト / mental map preservation / 図表示 / データ構造 / 編集操作履歴 / 巻き戻しデバガ / リファクタリング / ライブプログラミング / コード推薦システム / 開発環境 / 開発者の意図 / プログラム解析 / 動的プログラム解析 / 定理証明 / ＳＭＴ Less

大規模機械学習のための伸縮する非同期メッセージを利用したプログラミング手法Principal Investigator
- Principal Investigator
  
  櫻井孝平
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kanazawa University
Software model checking for real-time properties of embedded assembply program with interruptions
- Principal Investigator
  
  Yamane Satoshi
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kanazawa University
Software model checking of real-time safety properties for embedded assembly program
- Principal Investigator
  
  Yamane Satoshi
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kanazawa University
Development of an improved method for selective recording of execution history and its new applicationsPrincipal Investigator
- Principal Investigator
  
  Sakurai Kohei
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kanazawa University
Verifying safety properties of embedded assembly program using innovative software model checking
- Principal Investigator
  
  YAMANE SATOSHI
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kanazawa University
Research and development of a software infrastructure dealing with execution histories for various applicationsPrincipal Investigator
- Principal Investigator
  
  Sakurai Kohei
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kanazawa University
Code recommendation system with developer's background information
- Principal Investigator
  
  MASUHARA Hidehiko
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Research of A New Environment for Supporting Software Developers by Trace Information and Program AnalysisPrincipal Investigator
- Principal Investigator
  
  SAKURAI Kouhei
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kanazawa University

All 2019 2018 2017 2016 2015 2014 2013 2012 Other

All Journal Article Presentation

[Journal Article] Actor-based incremental tree data processing for large-scale machine learning applications2019
- Author(s)
  Sakurai Kouhei、Shimizu Taiki
- Journal Title
  
  AGERE 2019: Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
  
  Volume: 1 Pages: 1-10
- DOI
  10.1145/3358499.3361220
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00096
[Journal Article] Integration of Supervised and Unsupervised Learning for Deep Neural Network2016
- Author(s)
  T.Uchiyama, S.Yamane,K.Sakurai,T.Kurita
- Journal Title
  
  The Korea-Japan joint workshop on Frontiers of Computer Vision (FCV)
  
  Volume: 2 Pages: 1-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs2016
- Author(s)
  Yuki Ono, Kouhei Sakurai, Satoshi Yamane
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Issue: 4 Pages: 700-710
- DOI
  10.2197/ipsjjip.24.700
- NAID
  130005165243
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26730034, KAKENHI-PROJECT-15K00093
[Journal Article] LogChamber:Inferring Source Code LOcations corresponding to mobile applications run-time logs2016
- Author(s)
  Yuki Ono, K. Sakurai, S.Yamane
- Journal Title
  
  Journal of information processing
  
  Volume: 印刷中 Pages: 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] Distributed CFG-based Symbolic Execution for Assembly Programs2015
- Author(s)
  T.Adachi, S.Yamane, K.Sakurai
- Journal Title
  
  2015 IEEE 4th Global Conference on Consumer Electronics (GCCE 2015)
  
  Volume: 4 Pages: 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs2015
- Author(s)
  Kouhei Sakurai, Hidehiko Masuhara
- Journal Title
  
  SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing
  
  Volume: 30 Pages: 1962-1969
- DOI
  10.1145/2695664.2695735
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26730034, KAKENHI-PROJECT-26330078
[Journal Article] The omission finder for debugging what-should-have-happened bugs in object-oriented programs2015
- Author(s)
  Kouhei Sakurai and Hidehiko Masuhara
- Journal Title
  
  In Proceedings of The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015)
  
  Volume: - Pages: 1962-1969
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330078
[Journal Article] A PROPOSAL OF A METHOD FOR GENERATING NEW TEST CASES BY USING PROGRAM TRACE DATA2013
- Author(s)
  Hiroyuki Ebihara, Seiichi Komiya, Kouhei Sakurai
- Journal Title
  
  Proc. of South East Asian Technical University Consortium Symposium
  
  Volume: Vol. 7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700041
[Presentation] Comprehensive Data Tree by Actor Messaging for Incremental Hierarchical Clustering2018
- Author(s)
  Taiki Shimizu, Kohei Sakurai
- Organizer
  IEEE COMPSAC2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00096
[Presentation] アクターモデルを適用した木構造データ処理のための状態共有を利用した負荷分散2017
- Author(s)
  櫻井孝平
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-17K00096
[Presentation] The omission finder for debugging what-should-have-happened bugs in object-oriented programs.2015
- Author(s)
  Kouhei Sakurai,Hidehiko Masuhara.
- Organizer
  ACM SAC2015 国際会議
- Place of Presentation
  University of Salamanca
- Year and Date
  2015-04-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] LogChamber:実行時ログから対応するソースコード箇所を推測するモバイルアプリケーションの開発支援ツール2015
- Author(s)
  小野祐貴, 櫻井孝平, 山根智
- Organizer
  第106回プログラミング研究発表会
- Place of Presentation
  国立情報学研究所（学術総合センター）
- Year and Date
  2015-11-05
- Data Source
  KAKENHI-PROJECT-26730034
[Presentation] Crossver: a code transformation language for crosscutting changes2014
- Author(s)
  Kouhei Sakurai and Hidehiko Masuhara
- Organizer
  9th International Workshop on Advanced Modularization Techniques (AOAsia/Pacific 2014)
- Place of Presentation
  Hong Kong Science Park (中国)
- Year and Date
  2014-11-16
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] プログラムトレース情報を利用したテストケースの前提条件の生成2012
- Author(s)
  海老原裕之, 古宮誠一, 櫻井孝平
- Organizer
  第29回日本ソフトウエア科学会大会
- Place of Presentation
  法政大学(東京)
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-23700041
[Presentation] Trace-mining Profile for Dependable Large-Scale Distributed Framework Hadoop2012
- Author(s)
  Yusuke Shimizu, Kouhei Sakurai, Satoshi Yamane
- Organizer
  The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012) (Fast Abstract)
- Place of Presentation
  Niigata Convention Center (Niigata)
- Year and Date
  2012-11-19
- Data Source
  KAKENHI-PROJECT-23700041
[Presentation] A method of generating traces of Hadoop YARN by lightweight profile data
- Author(s)
  Yosuke Nakagawa, Kouhei Sakurai, Satoshi Yamane
- Organizer
  Annual Meeting on Advanced Computing System and Infrastructure (ACSI) 2015
- Place of Presentation
  つくば国際会議場
- Year and Date
  2015-01-26 – 2015-01-28
- Data Source
  KAKENHI-PROJECT-26730034

1. YAMANE SATOSHI (70263506)

# of Collaborated Projects: 4 results

# of Collaborated Products: 5 results
2. MASUHARA Hidehiko (40280937)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
3. AOTANI Tomoyuki (20582919)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. HIRSCHFELD Robert

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. IMAI Tomoki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. KHATCHADOURIAN Raffi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. MURAKAMI Naoya

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. OKA Akio

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Sakurai Kohei 櫻井 孝平

SAKURAI Kouhei 櫻井 孝平

Research Projects

Research Products

Co-Researchers

大規模機械学習のための伸縮する非同期メッセージを利用したプログラミング手法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Software model checking for real-time properties of embedded assembply program with interruptions

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Software model checking of real-time safety properties for embedded assembly program

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of an improved method for selective recording of execution history and its new applicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verifying safety properties of embedded assembly program using innovative software model checking

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research and development of a software infrastructure dealing with execution histories for various applicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Code recommendation system with developer's background information

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research of A New Environment for Supporting Software Developers by Trace Information and Program AnalysisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Actor-based incremental tree data processing for large-scale machine learning applications2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Integration of Supervised and Unsupervised Learning for Deep Neural Network2016

Author(s)

Journal Title

Data Source

[Journal Article] LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs2016

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] LogChamber:Inferring Source Code LOcations corresponding to mobile applications run-time logs2016

Author(s)

Journal Title

Data Source

[Journal Article] Distributed CFG-based Symbolic Execution for Assembly Programs2015

Author(s)

Journal Title

Data Source

[Journal Article] The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs2015

Author(s)

Sakurai Kohei 櫻井孝平

SAKURAI Kouhei 櫻井孝平