KUWABARA Hiroaki 桑原寛明

… Alternative Names

Kuwabara Hiroaki 桑原寛明

桑原寛明クワバラヒロアキ

Less

Researcher Number	30432222
Other IDs
Affiliation (Current)	2025: 南山大学, 理工学部, 准教授
Affiliation (based on the past Project Information) *help	2024: 南山大学, 理工学部, 准教授 2021: 南山大学, 理工学部, 准教授 2017 – 2020: 南山大学, 理工学部, 講師 2014: 立命館大学, 情報理工学部, 助教 2011 – 2013: 立命館大学, 情報理工学部, 講師 2007: 立命館大学, 惰報理工学部, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator Software / Basic Section 60050:Software-related
Keywords	Principal Investigator ソフトウェア開発支援 / 情報流解析 / 安全性検証 / プログラム解析 / ソフトウェア工学 / 型システム / 中間表現 / 型エラースライシング Except Principal Investigator プログラム解析 / ソフトウェア保守 … More / 機械学習 / ソフトウェア保守支援 / ソフトウェア工学 / ， / ソフトウェア進化 / ソフトウェア自動修正 / ソフトウェア統合開発環境 / 機密性 / ソフトウェア視覚化 / 情報フロー / 統合開発環境 / ソースコード変更 / コード脆弱性 / リファクタリング / ソフトウェアセキュリティ / プログラム理解 / ソフトウェア変更 / 最適化 / アーキテクチャ / プロセッサ / 省電力 / 実行時支援システム / 言語処理系 / コンパイラ Less

Safety Verification for Multiple Programming Languages using Information Flow Analysis based on Compiler Intermediate RepresentationPrincipal Investigator
- Principal Investigator
  
  桑原寛明
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nanzan University
Software Automatic Repair and Update Proposal by Virtual Developer
- Principal Investigator
  
  Atsumi Noritoshi
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyoto University
Practical Software Development Support based on Safety Verification using Information Flow AnalysisPrincipal Investigator
- Principal Investigator
  
  Kuwabara Hiroaki
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Nanzan University
Verification and Development Environment of Secure Software using Information Flow Analysis and Type Error SlicingPrincipal Investigator
- Principal Investigator
  
  KUWABARA Hiroaki
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University
Investigating the impact of software modification on its security characteristics
- Principal Investigator
  
  MARUYAMA Katsuhisa
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University
新世代プロセッサのためのコンパイラと実行時システムによる多角的多目的最適化
- Principal Investigator
  
  国枝義敏 (國枝義敏)
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University

All 2022 2021 2020 2019 2018 2017 2015 2014 2013 Other

All Journal Article Presentation

[Journal Article] Towards Secrecy Wildcards in Information Flow Analysis2021
- Author(s)
  桑原寛明
- Journal Title
  
  Computer Software
  
  Volume: 38 Issue: 4 Pages: 4_40-4_45
- DOI
  10.11309/jssst.38.4_40
- NAID
  130008132022
- ISSN
  0289-6540
- Year and Date
  2021-10-22
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11241
[Journal Article] A Type System for Detecting Non-Terminating Stream Operations with Java Stream API2020
- Author(s)
  長谷川健太、桑原寛明、國枝義敏
- Journal Title
  
  Computer Software
  
  Volume: 37 Issue: 2 Pages: 2_59-2_75
- DOI
  10.11309/jssst.37.2_59
- NAID
  130007863813
- ISSN
  0289-6540
- Year and Date
  2020-04-23
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11241, KAKENHI-PROJECT-17K12666
[Journal Article] Bounded Secrecy Parameters in Information Flow Analysis．2019
- Author(s)
  桑原寛明、國枝義敏
- Journal Title
  
  Computer Software
  
  Volume: 36 Issue: 4 Pages: 4_39-4_45
- DOI
  10.11309/jssst.36.4_39
- NAID
  130007772585
- ISSN
  0289-6540
- Year and Date
  2019-10-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11241, KAKENHI-PROJECT-17K12666, KAKENHI-PROJECT-15K00112
[Journal Article] Secrecy Parameterization in Information Flow Analysis for Object-oriented Programs.2019
- Author(s)
  吉田真也，桑原寛明，國枝義敏
- Journal Title
  
  Computer Software
  
  Volume: 36 Issue: 1 Pages: 48-65
- DOI
  10.11309/jssst.36.48
- NAID
  130007620484
- ISSN
  0289-6540
- Year and Date
  2019-01-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K12666
[Journal Article] Improving code completion based on repetitive code completion operations2015
- Author(s)
  Takayuki Omori, Hiroaki Kuwabara, Katsuhisa Maruyama
- Journal Title
  
  Computer Software
  
  Volume: 32 Issue: 1 Pages: 1_120-1_135
- DOI
  10.11309/jssst.32.1_120
- NAID
  130004892313
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24700036, KAKENHI-PROJECT-26730042
[Journal Article] A Method of Declassifiers Placement in Information Flow Analysis2015
- Author(s)
  桑原寛明，國枝義敏
- Journal Title
  
  Computer Software
  
  Volume: 32 Issue: 1 Pages: 1_136-1_146
- DOI
  10.11309/jssst.32.1_136
- NAID
  130004892314
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24700036
[Journal Article] Coarse-Grained Frame for Replaying Editing Operation History2013
- Author(s)
  桑原寛明，大森隆行
- Journal Title
  
  Computer Software
  
  Volume: 30 Issue: 4 Pages: 4_61-4_66
- DOI
  10.11309/jssst.30.4_61
- NAID
  10031196719
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700036
[Presentation] API利用パターンを用いた自動プログラム修正におけるパターン検索の予備評価2022
- Author(s)
  桑原寛明，渥美紀寿
- Organizer
  情報処理学会ソフトウェア工学研究会3月研究会
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] API利用パターンを用いた自動プログラム修正手法2021
- Author(s)
  荒木良仁，桑原寛明，國枝義敏
- Organizer
  情報処理学会ソフトウェア工学研究会3月研究会
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] API利用パターンを用いた自動プログラム修正手法2021
- Author(s)
  荒木良仁、桑原寛明、國枝義敏
- Organizer
  情報処理学会ソフトウェア工学研究会3月研究会
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] 自動プログラム修正におけるAPI利用パターンを用いたパッチ生成2020
- Author(s)
  荒木良仁、桑原寛明、國枝義敏
- Organizer
  FOSE 2020
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] 自動プログラム修正におけるAPI利用パターンを用いたパッチ生成2020
- Author(s)
  荒木良仁，桑原寛明，國枝義敏
- Organizer
  第27回ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] 情報流解析における機密度ワイルドカードの検討2020
- Author(s)
  桑原寛明
- Organizer
  FOSE 2020
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] 情報流解析における機密度ワイルドカードの検討．2020
- Author(s)
  桑原寛明
- Organizer
  第27回ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] Rustプログラムの情報流解析のための型システム2020
- Author(s)
  長谷川健太，桑原寛明，國枝義敏
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] 機密度パラメータ付き情報流解析のための型検査アルゴリズムとJavaアノテーション2019
- Author(s)
  桑原寛明，國枝義敏
- Organizer
  日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法2019
- Author(s)
  荒木良仁, 桑原寛明, 國枝義敏
- Organizer
  情報処理学会ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] 機密度パラメータ付き情報流解析のための型検査アルゴリズムとJavaアノテーション2019
- Author(s)
  桑原寛明，國枝義敏
- Organizer
  FOSE 2019
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案2019
- Author(s)
  渥美紀寿, 桑原寛明
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法2019
- Author(s)
  荒木良仁，桑原寛明，國枝義敏
- Organizer
  情報処理学会ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] Java Stream API によるストリーム操作の停止性検査のための型システム2018
- Author(s)
  長谷川健太, 桑原寛明, 國枝義敏
- Organizer
  第25回ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] 記述の共通性に着目したプログラムのダイジェスト化手法の提案2018
- Author(s)
  加藤宗一郎, 吉田敦, 蜂巣吉成, 桑原寛明
- Organizer
  第25回ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] 情報流解析における制約付き機密度パラメータ2018
- Author(s)
  桑原寛明，國枝義敏
- Organizer
  FOSE 2018
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] 記述の共通性に着目したプログラムのダイジェスト化手法の提案2018
- Author(s)
  加藤宗一郎，吉田敦，蜂巣吉成，桑原寛明
- Organizer
  FOSE 2018
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] 字句列の共通性に基づく例外処理条件文の抽出手法の提案2018
- Author(s)
  吉田敦, 加藤大貴, 蜂巣吉成, 桑原寛明, 阿草清滋
- Organizer
  ソフトウェアエンジニアリングシンポジウム2018
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] 字句列の共通性に基づく例外処理条件文の抽出手法の提案2018
- Author(s)
  吉田敦，加藤大貴，蜂巣吉成，桑原寛明，阿草清滋
- Organizer
  ソフトウェアエンジニアリングシンポジウム 2018
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] Java Stream API によるストリーム操作の停止性検査のための型システム2018
- Author(s)
  長谷川健太，桑原寛明，國枝義敏
- Organizer
  FOSE 2018
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] 情報流解析における制約付き機密度パラメータ2018
- Author(s)
  桑原寛明, 國枝義敏
- Organizer
  第25回ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-18K11241
[Presentation] JavaのStream APIによるストリーム操作の停止性を検査する型システム2018
- Author(s)
  長谷川健太，吉田真也，桑原寛明，上原哲太郎，國枝義敏
- Organizer
  PPL 2018
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] グラフDBを用いたプログラム解析の実現に向けて2017
- Author(s)
  内西功一，桑原寛明，國枝義敏
- Organizer
  FOSE 2017
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] オブジェクト指向言語の情報流解析における機密度のパラメータ化2017
- Author(s)
  吉田真也，桑原寛明，國枝義敏
- Organizer
  FOSE 2017
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] Java Stream API によるストリーム操作の停止性検査のための型システム2017
- Author(s)
  長谷川健太，吉田真也，桑原寛明，上原哲太郎，國枝義敏
- Organizer
  FOSE 2017
- Data Source
  KAKENHI-PROJECT-17K12666
[Presentation] 静的検査ツールにおける警告箇所の版間追跡による確認コスト削減手法2015
- Author(s)
  渥美紀寿，桑原寛明
- Organizer
  第187回ソフトウェア工学研究発表会
- Place of Presentation
  化学会館，東京都
- Year and Date
  2015-03-13
- Data Source
  KAKENHI-PROJECT-24700036
[Presentation] 任意の機密度束を用いた情報流解析における非機密化プリミティブの配置2014
- Author(s)
  桑原寛明，國枝義敏
- Organizer
  FOSE 2014
- Place of Presentation
  霧島国際ホテル，鹿児島県
- Year and Date
  2014-12-12
- Data Source
  KAKENHI-PROJECT-24700036
[Presentation] 変更追跡機能を用いた静的検査ツールの効果的な利用法2014
- Author(s)
  渥美紀寿，桑原寛明
- Organizer
  FOSE 2014
- Place of Presentation
  霧島国際ホテル，鹿児島県
- Year and Date
  2014-12-12
- Data Source
  KAKENHI-PROJECT-24700036
[Presentation] 編集操作履歴の再生における粗粒度な再生単位
- Author(s)
  桑原寛明，大森隆行
- Organizer
  FOSE 2012
- Place of Presentation
  ゆふいん山水館、大分県
- Data Source
  KAKENHI-PROJECT-24700036
[Presentation] A Study on Repetitiveness of Code Completion Operations
- Author(s)
  Takayuki Omori, Hiroaki Kuwabara and Katsuhisa Maruyama
- Organizer
  ICSM 2012
- Place of Presentation
  Trento, Italy
- Data Source
  KAKENHI-PROJECT-24700036
[Presentation] 情報流解析におけるDeclassifierの配置手法
- Author(s)
  桑原寛明，國枝義敏
- Organizer
  FOSE 2013
- Place of Presentation
  ゆのくに天祥，石川県
- Data Source
  KAKENHI-PROJECT-24700036
[Presentation] 統合開発環境におけるコード補完の繰り返しに関する調査
- Author(s)
  大森隆行，桑原寛明，丸山勝久
- Organizer
  FOSE 2012
- Place of Presentation
  ゆふいん山水館、大分県
- Data Source
  KAKENHI-PROJECT-24700036

1. Atsumi Noritoshi (70397446)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
2. MARUYAMA Katsuhisa (30330012)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. OMORI Takayuki (90532903)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 国枝義敏 (90153311)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 上原哲太郎 (20273485)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 斎藤彰一 (70304186)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KUWABARA Hiroaki 桑原 寛明

Kuwabara Hiroaki 桑原 寛明

桑原 寛明 クワバラ ヒロアキ

Research Projects

Research Products

Co-Researchers

Safety Verification for Multiple Programming Languages using Information Flow Analysis based on Compiler Intermediate RepresentationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Software Automatic Repair and Update Proposal by Virtual Developer

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Practical Software Development Support based on Safety Verification using Information Flow AnalysisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification and Development Environment of Secure Software using Information Flow Analysis and Type Error SlicingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Investigating the impact of software modification on its security characteristics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

新世代プロセッサのためのコンパイラと実行時システムによる多角的多目的最適化

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Towards Secrecy Wildcards in Information Flow Analysis2021

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] A Type System for Detecting Non-Terminating Stream Operations with Java Stream API2020

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] Bounded Secrecy Parameters in Information Flow Analysis．2019

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] Secrecy Parameterization in Information Flow Analysis for Object-oriented Programs.2019

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] Improving code completion based on repetitive code completion operations2015

Author(s)

KUWABARA Hiroaki 桑原寛明

Kuwabara Hiroaki 桑原寛明

桑原寛明クワバラヒロアキ

[Presentation] ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案2019