桑原寛明 KUWABARA Hiroaki

研究者番号	30432222
その他のID
所属 (現在)	2025年度: 南山大学, 理工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2024年度: 南山大学, 理工学部, 准教授 2021年度: 南山大学, 理工学部, 准教授 2017年度 – 2020年度: 南山大学, 理工学部, 講師 2014年度: 立命館大学, 情報理工学部, 助教 2011年度 – 2013年度: 立命館大学, 情報理工学部, 講師 2007年度: 立命館大学, 惰報理工学部, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウェア / ソフトウエア研究代表者以外ソフトウエア / 小区分60050:ソフトウェア関連
キーワード	研究代表者ソフトウェア開発支援 / 情報流解析 / 安全性検証 / プログラム解析 / ソフトウェア工学 / 型システム / 中間表現 / 型エラースライシング研究代表者以外プログラム解析 / ソフトウェア保守 … もっと見る / 機械学習 / ソフトウェア保守支援 / ソフトウェア工学 / ， / ソフトウェア進化 / ソフトウェア自動修正 / ソフトウェア統合開発環境 / 機密性 / ソフトウェア視覚化 / 情報フロー / 統合開発環境 / ソースコード変更 / コード脆弱性 / リファクタリング / ソフトウェアセキュリティ / プログラム理解 / ソフトウェア変更 / 最適化 / アーキテクチャ / プロセッサ / 省電力 / 実行時支援システム / 言語処理系 / コンパイラ隠す

コンパイラ中間表現に基づく情報流解析による安全性検証の多プログラミング言語展開研究代表者
- 研究代表者
  
  桑原寛明
- 研究期間 (年度)
  2024 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  南山大学
仮想開発者によるソフトウェア自動修正と進化推薦
- 研究代表者
  
  渥美紀寿
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  京都大学
情報流解析による安全性検証に基づく実用的なソフトウェア開発支援研究代表者
- 研究代表者
  
  桑原寛明
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  南山大学
情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援研究代表者
- 研究代表者
  
  桑原寛明
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  立命館大学
ソフトウェア変更が安全性に与える影響の解明
- 研究代表者
  
  丸山勝久
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  立命館大学
新世代プロセッサのためのコンパイラと実行時システムによる多角的多目的最適化
- 研究代表者
  
  国枝義敏 (國枝義敏)
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  萌芽研究
- 研究分野
  
  ソフトウエア
- 研究機関
  立命館大学

すべて 2022 2021 2020 2019 2018 2017 2015 2014 2013 その他

すべて雑誌論文学会発表

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

1. 渥美紀寿 (70397446)

共同の研究課題数: 2件

共同の研究成果数: 2件
2. 丸山勝久 (30330012)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 大森隆行 (90532903)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 国枝義敏 (90153311)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 上原哲太郎 (20273485)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 斎藤彰一 (70304186)

共同の研究課題数: 1件

共同の研究成果数: 0件

桑原 寛明 KUWABARA Hiroaki

研究課題

研究成果

共同研究者

コンパイラ中間表現に基づく情報流解析による安全性検証の多プログラミング言語展開研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

仮想開発者によるソフトウェア自動修正と進化推薦

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

情報流解析による安全性検証に基づく実用的なソフトウェア開発支援研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェア変更が安全性に与える影響の解明

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] 情報流解析における機密度ワイルドカードの提案2021

著者名/発表者名

雑誌名

DOI

NAID

ISSN

年月日

言語

データソース

[雑誌論文] Java Stream APIによるストリーム操作の停止性検査のための型システム2020

著者名/発表者名

雑誌名

DOI

NAID

ISSN

年月日

言語

データソース

[雑誌論文] 情報流解析における制約付き機密度パラメータ2019

著者名/発表者名

雑誌名

DOI

NAID

ISSN

年月日

言語

データソース

[雑誌論文] オブジェクト指向言語の情報流解析における 機密度のパラメータ化2019

著者名/発表者名

雑誌名

DOI

NAID

ISSN

年月日

言語

データソース

[雑誌論文] 繰り返しコード補完操作に基づくコード補完の改善2015

著者名/発表者名

雑誌名

DOI

桑原寛明 KUWABARA Hiroaki

[雑誌論文] オブジェクト指向言語の情報流解析における機密度のパラメータ化2019

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