• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

権藤 克彦  Gondow Katsuhiko

ORCIDORCID連携する *注記
研究者番号 50262283
その他のID
外部サイト
所属 (現在) 2025年度: 東京科学大学, 情報理工学院, 教授
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2024年度: 東京工業大学, 情報理工学院, 教授
2010年度 – 2015年度: 東京工業大学, 学術国際情報センター, 教授
2007年度 – 2009年度: 東京工業大学, 大学院・情報理工学研究科, 准教授
2006年度: 東京工業大学, 大学院情報理工学研究科, 助教授
2003年度 – 2005年度: 東京工業大学, 大学院・情報理工学研究科, 助教授 … もっと見る
2003年度 – 2005年度: 東京工業大学, 情報理工学研究科, 助教授
2002年度 – 2003年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授
1998年度 – 1999年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授
1997年度: 東京工業大学, 情報理工学研究科, 講師
1996年度: 東京工業大学, 大学院・情報理工学研究科計算工学専攻, 講師 隠す
審査区分/研究分野
研究代表者
計算機科学 / 小区分60050:ソフトウェア関連 / ソフトウエア / ソフトウェア
研究代表者以外
ソフトウエア / 理工系
キーワード
研究代表者
参照カウント / メモリリーク / 追跡子 / ソフトウェア追跡性 / ソフトウェア保守 / 追跡性 / データ統合 / バイナリレベル / ANSI C / XML … もっと見る / CASEツール / 属性文法 / ゼミ弱生 / テイント解析 / use-after-free / 決定木分類器 / 原始データ型 / 命名規則 / 一貫性 / mark-sweepゴミ集め / 追跡型ゴミ集め / 循環参照 / 時中型 prospective / 追跡性リンク / ソフトウェア解析 / ハッシュ値 / Unicode第14面 / 文字エンコーディング / 文字粒度 / 追記式 / データ競合 / C前処理系 / CASE ツール / ソフトウェアデータベース / 意味的制約 / PCTE / ERモデル / UNIXコマンド / OAG^*属性文法クラス / Ordered属性文法クラス / l-Ordered属性文法クラス / 依存グラフ / 3型循環 / NP完全 … もっと見る
研究代表者以外
programming environment / sofrware development method / database / programming language / component / ソフトウエア学 / 計算機システム / ソフトウエア工学 / プログラム環境 / ソフトウエア構築技術 / データベース / プログラミング言語 / コンポーネント / metalevel architecuture / object-oriented language / byte-code modification / software composition / dynamic adaptation / mobile code / runtime checking / policy enforcement / ロード時自己反映 / 適応可能ソフトウェア / 拡張可能ソフトウェア / 安全なソフトウェア / Java / 契約による設計 / アスペクト / 形式仕様 / JML / 自己反映計算 / セキュリティポリシー / セキュリティ / メタレベルアーキテクチャ / オブジェクト指向言語 / バイトコード変換 / モジュール結合 / 動的適応 / 移動コード / 実行時検査 / ポリシー強制 / 自動インストール / 自動設定 / ネットワーク / IP / TCP 隠す
  • 研究課題

    (12件)
  • 研究成果

    (97件)
  • 共同研究者

    (13人)
  •  ソフトウェア計装を用いたデバッグが容易なC/C++メモリ関連脆弱性検知器の開発研究代表者

    • 研究代表者
      権藤 克彦
    • 研究期間 (年度)
      2024 – 2028
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  ソフトウェア追跡性とソフトウェア解析技術の融合研究代表者

    • 研究代表者
      権藤 克彦
    • 研究期間 (年度)
      2019 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京工業大学
  •  言語独立・ハッシュ値・行粒度の追跡子による,ソフトウェア追跡性の高精度な確保研究代表者

    • 研究代表者
      権藤 克彦
    • 研究期間 (年度)
      2014 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      東京工業大学
  •  追記型・文字粒度の追跡子による,ソフトウェア追跡性の高精度な確保研究代表者

    • 研究代表者
      権藤 克彦
    • 研究期間 (年度)
      2009 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
  •  バイナリレベル軽量データ統合方式による高精度なC言語用CASEツールの構築研究代表者

    • 研究代表者
      権藤 克彦
    • 研究期間 (年度)
      2005 – 2008
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
  •  言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク

    • 研究代表者
      大堀 淳
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      東北大学
      北陸先端科学技術大学院大学
  •  ANSI C言語用ソフトウェアスライサ開発へのXMLの応用研究代表者

    • 研究代表者
      権藤 克彦
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
      北陸先端科学技術大学院大学
  •  拡張・適応可能なソフトウェアのセキュアな構成方式

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
      東京工業大学
  •  計算機ネットワークの発展支援機構に関する研究

    • 研究代表者
      今泉 貴史
    • 研究期間 (年度)
      1998
    • 研究種目
      特定領域研究(A)
    • 研究機関
      東京工業大学
  •  UNIX上のコマンドとファイル間の意味的制約・関係を管理するデータベースの作成研究代表者

    • 研究代表者
      権藤 克彦
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  計算機ネットワークの発展支援機構に関する研究

    • 研究代表者
      今泉 貴史
    • 研究期間 (年度)
      1997
    • 研究種目
      重点領域研究
    • 研究機関
      東京工業大学
  •  l-Orodered属性文法の有用性の検証に関する研究研究代表者

    • 研究代表者
      権藤 克彦
    • 研究期間 (年度)
      1996
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学

すべて 2022 2021 2020 2019 2018 2017 2016 2014 2012 2010 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表 図書

  • [図書] 例解UNIXプログラミング教室2007

    • 著者名/発表者名
      冨永和人, 権藤克彦
    • 総ページ数
      472
    • 出版者
      ピアソンエデュケーション
    • データソース
      KAKENHI-PROJECT-17500019
  • [図書] ピアソンエデュケーション2007

    • 著者名/発表者名
      冨永和人, 権藤克彦
    • 総ページ数
      472
    • 出版者
      例解UNIXプログラミング教室
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] UCDetector:ユーザ空間で実装したSwift言語用の循環参照検知器2022

    • 著者名/発表者名
      権藤 克彦、新山 祐介、荒堀 喜貴
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 39 号: 4 ページ: 4_97-4_128

    • DOI

      10.11309/jssst.39.4_97

    • ISSN
      0289-6540
    • 年月日
      2022-10-25
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11897
  • [雑誌論文] Robust Index Code to Distribute Digital Images and Digital Contents Together2018

    • 著者名/発表者名
      M. Kim, K. Lee, K. Gondow, J. Imura
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E101.D 号: 9 ページ: 2179-2189

    • DOI

      10.1587/transinf.2017PCP0004

    • NAID

      130007479647

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2018-09-01
    • 言語
      英語
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330077
  • [雑誌論文] 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価2014

    • 著者名/発表者名
      森川知哉, 荒堀喜貴, 権藤克彦
    • 雑誌名

      コンピュータソフトウェア(レター論文)

      巻: [31], No.1 ページ: 103-109

    • NAID

      130004549325

    • URL

      https://www.jstage.jst.go.jp/article/jssst/31/1/31_1_103/_pdf

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価2014

    • 著者名/発表者名
      森川知哉,荒堀喜貴,権藤克彦
    • 雑誌名

      コンピュータソフトウェア(レター論文)

      巻: vol.31, no.1 ページ: 103-109

    • NAID

      130004549325

    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] 競合回避機構を備えた高互換かつ高精度な境界検査手法2012

    • 著者名/発表者名
      荒堀喜貴, 権藤克彦, 前島英雄
    • 雑誌名

      情報処理学会論文誌

      巻: 53(3) ページ: 1150-1165

    • NAID

      110008802673

    • URL

      http://ci.nii.ac.jp/naid/110008802673

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と, 水平スライスが可能な可視化ツール(MieruCompiler)2012

    • 著者名/発表者名
      権藤克彦, 福安直樹, 荒堀喜貴
    • 雑誌名

      電子情報通信学会論文誌

      巻: vol.J95-D, No.5 ページ: 1225-1241

    • NAID

      110009444739

    • URL

      http://ci.nii.ac.jp/naid/110009444739

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] GPUを利用したポインタ解析の実装と評価2012

    • 著者名/発表者名
      深谷敏邦,権藤克彦
    • 雑誌名

      コンピュータソフトウェア(レター論文)

      巻: Vol.29, No.3 ページ: 70-76

    • NAID

      10030497743

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] 誤解放を防ぐための新しい型修飾子strict_lifetime2012

    • 著者名/発表者名
      鮎川力也, 権藤克彦, 荒堀喜貴
    • 雑誌名

      電子情報通信学会論文誌

      巻: vol.J95-D, no.2 ページ: 217-224

    • URL

      http://ci.nii.ac.jp/naid/110009328418

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] GPUを利用したポインタ解析の実装と評価2012

    • 著者名/発表者名
      深谷敏邦, 権藤克彦
    • 雑誌名

      コンピュータソフトウェア(レター論文)

      巻: [29], No.3 ページ: 70-76

    • NAID

      10030497743

    • URL

      https://www.jstage.jst.go.jp/article/jssst/29/3/29_3_70/_pdf

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] ネイティブアセンブリコードを出力する教育用コンパイラ (XCC)と,水平スライスが可能な可視化ツール (MieruCompiler),2012

    • 著者名/発表者名
      権藤克彦,福安 直樹,荒堀 喜貴
    • 雑誌名

      電子情報通信学会論文誌

      巻: vol.J95-D, No.5 ページ: 1225-1241

    • NAID

      110009444739

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] Cプログラムの割込み競合の動的検出法2010

    • 著者名/発表者名
      荒堀喜貴, 権藤克彦, 前島英雄
    • 雑誌名

      情報処理学会論文誌

      巻: 51-9 ページ: 1816-1831

    • NAID

      110007970782

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] 事例研究:ツール「簡単#include検査君」とその経験2010

    • 著者名/発表者名
      権藤克彦, 冨永和人
    • 雑誌名

      コンピュータソフトウェア(レター論文)

      巻: [27], No.2 ページ: 93-99

    • NAID

      130004549174

    • URL

      https://www.jstage.jst.go.jp/article/jssst/27/2/27_2_2_93/_pdf

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール2010

    • 著者名/発表者名
      荒堀喜貴, 権藤克彦, 前島英雄
    • 雑誌名

      電子情報通信学会論文誌

      巻: vol.J93-D, no.10 ページ: 1851-1865

    • NAID

      110007730846

    • URL

      http://ci.nii.ac.jp/naid/110007730846

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] Cプログラムの割込み競合の動的検出法, 情報処理学会論文誌2010

    • 著者名/発表者名
      荒堀喜貴, 権藤克彦, 前島英雄
    • 雑誌名

      情報処理学会論文誌

      巻: vol.51, no.9 ページ: 1816-1831

    • URL

      http://ci.nii.ac.jp/naid/110007970782

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] 事例研究:ツール「簡単#include検査君」とその経験2010

    • 著者名/発表者名
      権藤克彦, 冨永和人
    • 雑誌名

      コンピュータソフトウェア(レター論文) (In press)

    • NAID

      130004549174

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500033
  • [雑誌論文] TBCppA : 追跡子を用いたC前処理系解析器2008

    • 著者名/発表者名
      権藤克彦, 川島勇人, 今泉貴史
    • 雑誌名

      コンピュータソフトウェア 25-1

      ページ: 105-123

    • NAID

      130004549093

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] DRACULA : シグナルによるデータ競合の検出ツール2008

    • 著者名/発表者名
      田原貴光, 権藤克彦
    • 雑誌名

      電子情報通信学会論文誌 J91-D[2]

      ページ: 449-458

    • NAID

      110007385927

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] TBCppA : 追跡子を用いたC 前処理系解析器2008

    • 著者名/発表者名
      権藤克彦, 川島勇人, 今泉貴史
    • 雑誌名

      コンピュータソフトウェア 25-1

      ページ: 105-123

    • NAID

      130004549093

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] 中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装2007

    • 著者名/発表者名
      権藤克彦, 大場勝
    • 雑誌名

      電子情報通信学会論文誌 J90-D[5]

      ページ: 1194-1208

    • NAID

      110007380713

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] 中レべル抽象・薄い中間層・追跡性の実践によるコンノぐクトな教育用オペレーティングシステムudosの設計と実装2007

    • 著者名/発表者名
      権藤克彦, 大場勝
    • 雑誌名

      電子情報通信学会論文誌 J86-D-1 (採録済み、掲載決定)

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案2007

    • 著者名/発表者名
      大場勝, 権藤克彦
    • 雑誌名

      情報処理学会論文誌 第48巻 第8号

      ページ: 2596-2607

    • NAID

      110006386491

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法2007

    • 著者名/発表者名
      大場勝, 権藤克彦
    • 雑誌名

      電子情報通信学会論文誌 J90-D[6]

      ページ: 1445-1461

    • NAID

      110007380739

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] プログラム理解のための実装レべル制約とソースコード間の追跡性の整理保存法2007

    • 著者名/発表者名
      大場勝, 権藤克彦
    • 雑誌名

      電子情報通信学会論文誌 J86-D-1 (採録済み、掲載決定)

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] Implementation of Reversible Debugger Using Incremental Checkpoints2007

    • 著者名/発表者名
      Sushil Shrestha, Katsuhiko Gondow
    • 雑誌名

      第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案2007

    • 著者名/発表者名
      大場勝, 権藤克彦
    • 雑誌名

      情報処理学会論文誌 48-8

      ページ: 2596-2607

    • NAID

      110006386491

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] C言語用CASEツールへのDWARF2デバッグ情報の応用2006

    • 著者名/発表者名
      権藤克彦, 鈴木朝也, 川島勇人
    • 雑誌名

      コンピュータソフトウェア 23-2

      ページ: 175-198

    • NAID

      130004892056

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding2006

    • 著者名/発表者名
      M.Ohba, K.Gondow
    • 雑誌名

      10th IASTED Int. Conf. Software Engineering and Applications (SEA 2006)

      ページ: 514-146

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] C言語用CASEツールへのDWARF2デバッグ情報の応用2006

    • 著者名/発表者名
      権藤克彦, 鈴木朝也, 川島勇人
    • 雑誌名

      コンピュータソフトウェア 23・2(採録済み掲載決定)

    • NAID

      130004892056

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] TBCppA : 追跡子を用いたC前処理系解析器2006

    • 著者名/発表者名
      権藤克彦, 川島勇人
    • 雑誌名

      第13回ソフトウニア工学の基礎ワークショップ(FOSE2006)

      ページ: 9-18

    • NAID

      130004549093

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] デバッグ情報を用いたC++用コールグラフ生成系 軽量なバイナリレべル型解析による仮想関数呼び出しの検出2006

    • 著者名/発表者名
      寺島有為, 権藤克彦
    • 雑誌名

      電気情報通信学会技術研究報告 信学技報 Vol.106,No.201

      ページ: 13-18

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] Toward Mining "Concept Keywords" from Identifiers in Large Software Projects2005

    • 著者名/発表者名
      M.Ohba, K.Gondow
    • 雑誌名

      Int'1.Workshop on Mining Software Repositories(MSR2005),

      ページ: 48-52

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] プログラム理解に役立つ識別子からのコンセプトキーワード抽出法2005

    • 著者名/発表者名
      大場勝, 権藤克彦
    • 雑誌名

      電気情報通信学会技術研究報告 信学技報 105・25

      ページ: 25-30

    • NAID

      110003277341

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] アスペクト指向文書整理法を用いたプログラム理解ツールの紹介2005

    • 著者名/発表者名
      大場勝, 権藤克彦
    • 雑誌名

      組み込みソフトウェアシンポジウム(ESS2005)

      ページ: 174-175

    • データソース
      KAKENHI-PROJECT-17500019
  • [雑誌論文] ACMLに基づくプログラム情報抽出システムの設計2004

    • 著者名/発表者名
      川島勇人, 権藤克彦
    • 雑誌名

      コンピュータソフトウェア 21・5

      ページ: 65-70

    • NAID

      40022171094

    • データソース
      KAKENHI-PROJECT-15300006
  • [雑誌論文] ACMLに基づくプログラム情報抽出システムの設計2004

    • 著者名/発表者名
      川島勇人, 権藤克彦
    • 雑誌名

      コンピュータソフトウェア 21・5

      ページ: 65-70

    • NAID

      40022171094

    • データソース
      KAKENHI-PROJECT-14780202
  • [雑誌論文] プログラム理解のための,識別子からのキーワード抽出2004

    • 著者名/発表者名
      大場 勝, 権藤 克彦
    • 雑誌名

      日本ソフトウェア科学会第21回大会

    • データソース
      KAKENHI-PROJECT-14780202
  • [雑誌論文] Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C2004

    • 著者名/発表者名
      K.Gondow, T.Suzuki, H.Kawashima
    • 雑誌名

      11th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society Press

      ページ: 336-345

    • データソース
      KAKENHI-PROJECT-14780202
  • [雑誌論文] 実践的なプログラミング演習問題集の作成技術と管理システムの開発2004

    • 著者名/発表者名
      藤田充典, 権藤克彦, 落水浩一郎
    • 雑誌名

      教育システム情報学会(JSiSE)第29回全国大会

    • データソース
      KAKENHI-PROJECT-14780202
  • [雑誌論文] Binary-Level Lightweight Data Integration to Develop Program Under standing Tools for Embedded Software in C2004

    • 著者名/発表者名
      K.Gondow, T.Suzuki, H.Kawashima
    • 雑誌名

      In Proc.Asia-Pacific Software Engineering Conference(APSEC)

      ページ: 336-345

    • データソース
      KAKENHI-PROJECT-15300006
  • [雑誌論文] 教育用OSのソフトウェア工学的側面:udosの開発を通して2004

    • 著者名/発表者名
      権藤克彦, 大場勝
    • 雑誌名

      第11回ソフトウェア工学の基礎ワークショップ(FOSE2004)

      ページ: 209-212

    • データソース
      KAKENHI-PROJECT-14780202
  • [雑誌論文] DWARF2-XMLを用いたクロスリファレンサの設計と実現2004

    • 著者名/発表者名
      鈴木朝也, 権藤克彦, 川島勇人
    • 雑誌名

      ソフトウェアシンポジウム2004

      ページ: 58-62

    • データソース
      KAKENHI-PROJECT-14780202
  • [雑誌論文] コンパクトなANSICインタプリタXCIの設計と実装2003

    • 著者名/発表者名
      権藤克彦(他)
    • 雑誌名

      電子情報通信学会論文誌 J86・D-I[3]

      ページ: 159-168

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300006
  • [雑誌論文] Design and interpretation of compact ANSI C Interpreter XCI (in Japanese)2003

    • 著者名/発表者名
      Katsuhiko Gondow et al.
    • 雑誌名

      IEICE Transactions on Information and Systems (Japanese Edition) J86・D-I[3]

      ページ: 159-168

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300006
  • [学会発表] Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis2021

    • 著者名/発表者名
      Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
    • 学会等名
      28th Asia-Pacific Software Engineering Conference (APSEC), Dec. 2021, pp. 223-232, https://doi.org/10.1109/APSEC53868.2021.00030
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] How Do Programmers Express High-Level Concepts using Primitive Data Types?2021

    • 著者名/発表者名
      Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
    • 学会等名
      28th Asia-Pacific Software Engineering Conference (APSEC), Dec. 2021, pp. 360-368, https://doi.org/10.1109/APSEC53868.2021.00043
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code2020

    • 著者名/発表者名
      E. Tominaga, Y. Arahori, and K. Gondow
    • 学会等名
      SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing, March 2021, pp. 1768-1777
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] STRAB: state recovery using reverse execution at IR level for concurrent programs2020

    • 著者名/発表者名
      S. Hoshino, Y. Arahori, and K. Gondow
    • 学会等名
      SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing, March 2021, pp. 1532-1541
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] 強化学習によるイベント駆動コードの等価性検査戦略の生成2019

    • 著者名/発表者名
      冨永江奈、荒堀喜貴、権藤克彦
    • 学会等名
      第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] ωCatch: クラウドシステムにおけるパフォーマンスバグの正確な自動検知に向けて2019

    • 著者名/発表者名
      和田智優、荒堀喜貴、権藤克彦
    • 学会等名
      第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] 並行バグの効率的な自動原因解析を可能にする静的解析2019

    • 著者名/発表者名
      星野シンジ、荒堀喜貴、権藤克彦
    • 学会等名
      第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表(ライブ論文ポスター賞)
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] Typestate 解析を応用した静的解析に よる 分散並行システムのバグの検出2019

    • 著者名/発表者名
      春日涼太郎 、荒堀喜貴、権藤克彦
    • 学会等名
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ,ポスター(PPL2019)
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] クラウドシステムの非決定的性能バグ検査器2019

    • 著者名/発表者名
      和田智優,荒堀喜貴,権藤克彦
    • 学会等名
      第12回データ工学と情報マネジメントに関するフォーラム (DEIM 2020)
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] 深層学習型文法ベースファジングの比較実験(ポスター)2019

    • 著者名/発表者名
      實成優馬,荒堀喜貴,権藤克彦
    • 学会等名
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing2019

    • 著者名/発表者名
      Y. Jitsunari, Y. Arahori, K. Gondow
    • 学会等名
      Int. Conf. on Advanced Information Networking and Applications (AINA 2019) pp 470-484
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] バイナリコードを対象とした高速かつ正確な動的Use-After-Free検出2019

    • 著者名/発表者名
      石山泰地,荒堀喜貴,権藤克彦
    • 学会等名
      情報処理学会 第122回プログラミング研究会 (PRO-2018-4) (2019)
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] カバレッジ誘導機構をもつ深層学習型文法ベースファジング(ポスター)2019

    • 著者名/発表者名
      實成優馬,荒堀喜貴,権藤克彦
    • 学会等名
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] イベント駆動コードの差分解析を可能にするパス探査経験則2019

    • 著者名/発表者名
      冨永江奈、荒堀喜貴、権藤克彦
    • 学会等名
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] AwaitViz: a Visualizer of JavaScript's Async/Await Execution Order2019

    • 著者名/発表者名
      E. Tominaga, Y. Arahori, K. Gondow
    • 学会等名
      SAC'19: Proc. 34th ACM/SIGAPP Sympo. on Applied Computing, pp. 2515-2524
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] Implementation of Image SuperDistribution System2019

    • 著者名/発表者名
      M. Kim, K. Lee, K. Gondow
    • 学会等名
      3rd Int. Conf. on E-Business and Internet (ICEBI 2019), 6 pages
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] 強化学習に基づく並行バグ検知2019

    • 著者名/発表者名
      李兆亮、荒堀喜貴、権藤克彦
    • 学会等名
      第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] 等価性検査のための入力×イベント空間の探査経験則の学習2019

    • 著者名/発表者名
      冨永江奈,荒堀喜貴,権藤克彦
    • 学会等名
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] 分散並行ファジング2019

    • 著者名/発表者名
      石山泰地、荒堀喜貴、権藤克彦
    • 学会等名
      第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表
    • データソース
      KAKENHI-PROJECT-19K11897
  • [学会発表] 実行可能コ一ドを対象とするスケ一ラブルかつ部分的パス依存なバッファオ一バ一フロ一静的検知2019

    • 著者名/発表者名
      黒岩将平,荒堀喜貴,権藤克彦
    • 学会等名
      情報処理学会 第122回プログラミング研究会 (PRO-2018-4) (2019)
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] Analyzing Code Comments to Boost Program Comprehension2018

    • 著者名/発表者名
      Y. Shinyama, Y. Arahori and K. Gondow
    • 学会等名
      25th Asia-Pacific Software Engineering Conf. (APSEC 2018), 10 pages
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] POI: Skew-Aware Parallel Race Detection2018

    • 著者名/発表者名
      Y. Sakurai, Y. Arahori and K. Gondow
    • 学会等名
      2018 IEEE 18th Int. Working Conf. on Source Code Analysis and Manipulation (SCAM 2018), pp.215-224
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] 高脅威メモリリークのバイナリレベル動的検出法2018

    • 著者名/発表者名
      小泉雄太,荒堀喜貴,権藤克彦
    • 学会等名
      情報処理学会研究報告ソフトウェア工学(SE), 2018-SE-198(27), pp.1-8
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] イベント処理を考慮した正確かつ高速なデータフロー解析2018

    • 著者名/発表者名
      高野健太,荒堀喜貴,権藤克彦
    • 学会等名
      情報処理学会研究報告ソフトウェア工学(SE), 2018-SE-198(21), pp.1-8
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] 入力空間とイベント空間を探索するJavaScriptコードの等価性検証2018

    • 著者名/発表者名
      冨永江奈,荒堀喜貴,権藤克彦
    • 学会等名
      情報処理学会 第121回プログラミング研究会 (PRO-2018-3) (2018)
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste2018

    • 著者名/発表者名
      K. Gondow, Y. Arahori, K. Yamamoto, M. Fukuyori and R. Umekawa
    • 学会等名
      13th Int. Conf. Software Technologies (ICSOFT 2018), pp. 221-232
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] 高品質なポインタ解析規則の自動生成に向けて2018

    • 著者名/発表者名
      湯川涼太,荒堀喜貴,権藤克彦
    • 学会等名
      情報処理学会 第121回プログラミング研究会 (PRO-2018-3) (2018)
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] サンプリング適用による動的データ構造推定の精度・効率の評価2018

    • 著者名/発表者名
      小泉雄太,荒堀喜貴,権藤克彦
    • 学会等名
      情報処理学会 第121回プログラミング研究会 (PRO-2018-3) (2018)
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] 実行順序に着目したasync/awaitの実行の可視化2018

    • 著者名/発表者名
      冨永江奈,荒堀喜貴,権藤克彦
    • 学会等名
      情報処理学会研究報告ソフトウェア工学(SE), 2018-SE-198(22), pp.1-8
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] CodeCAM: capturing programmer's reaction during coding session2018

    • 著者名/発表者名
      Y. Shinyama, Y. Arahori and K. Gondow
    • 学会等名
      2018 IEEE Workshop on Mining and Analyzing Interaction Histories (MAINT) Campobasso, pp. 1-5
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] パターンマッチングのためのデータフローグラフ抽出器の実装2017

    • 著者名/発表者名
      新山祐介,荒堀喜貴,権藤克彦
    • 学会等名
      電気情報通信学会 技術研究報告 信学技報, vol. 117, no. 248, SS2017-27, pp. 37-42
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] ハッシュ値を用いた軽量追跡ツール2017

    • 著者名/発表者名
      権藤克彦,荒堀喜貴,山本晃治,福寄雅洋,梅川竜一
    • 学会等名
      電気情報通信学会 技術研究報告 信学技報 vol.116, no.425
    • 発表場所
      日本,京都
    • 年月日
      2017-01-26
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] ポインタ解析問題の自動生成2017

    • 著者名/発表者名
      笹田 研悟, 荒堀 喜貴, 権藤 克彦
    • 学会等名
      情報処理学会システムソフトウェアとオペレーティング・システム研究会 (CompSys2017),ポスター発表
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] Distribute digital contents within digital images on the mobile2017

    • 著者名/発表者名
      M. Kim, K. Lee, K. Gondow
    • 学会等名
      9th Int. Conf. on E-Education, E-Business,. E-Management and E-Learning (IC4E 2018), E025
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] イベント処理を考慮した正確かつ高速なデータフロー解析2017

    • 著者名/発表者名
      高野 健太, 荒堀 喜貴, 権藤 克彦
    • 学会等名
      情報処理学会システムソフトウェアとオペレーティング・システム研究会 (CompSys2017),ポスター発表
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers2016

    • 著者名/発表者名
      Uchida, K. Gondow
    • 学会等名
      8th Int. Conf. on Computer Supported Education (CSEDU 2016)
    • 発表場所
      イタリア,ローマ
    • 年月日
      2016-04-21
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] Robust Index Code with Digital Images on the Internet2016

    • 著者名/発表者名
      M. Kim, K. Lee, K. Gondow, J. Imura
    • 学会等名
      13th Int. Conf. Signal Processing and Multimedia Applications (SIGMAP2016) 査読有り
    • 発表場所
      ポルトガル,リスボン
    • 年月日
      2016-07-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330077
  • [学会発表] MieruCompiler : Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers2010

    • 著者名/発表者名
      K.Gondow, N.Fukuyasu, Y.Arahori
    • 学会等名
      41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)
    • 発表場所
      米国ミルウォーキー
    • 年月日
      2010-03-11
    • データソース
      KAKENHI-PROJECT-21500033
  • [学会発表] MieruCompiler : Integrated Visualization Tool with ``Horizontal Slicing'' for Educational Compilers2010

    • 著者名/発表者名
      K. Gondow, N. Fukuyasu, Y. Arahori
    • 学会等名
      41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)
    • 発表場所
      米国ミルウォーキー
    • 年月日
      2010-03-11
    • データソース
      KAKENHI-PROJECT-21500033
  • [学会発表] Cache-Based Bounds Checking for Multi-Threaded C Programs2009

    • 著者名/発表者名
      Y.Arahori, K.Gondow, H.Maejima
    • 学会等名
      21st LASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)
    • 発表場所
      米国ボストン
    • 年月日
      2009-11-03
    • データソース
      KAKENHI-PROJECT-21500033
  • [学会発表] Cache-Based Bounds Checking for Multi-Threaded C Programs2009

    • 著者名/発表者名
      Y. Arahori, K. Gondow, H. Maejima
    • 学会等名
      21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)
    • 発表場所
      米国ボストン
    • 年月日
      2009-11-03
    • データソース
      KAKENHI-PROJECT-21500033
  • [学会発表] TCBC : Trap Caching Bounds Checking for C2009

    • 著者名/発表者名
      Y.Arahori, K.Gondow, H.Maejima
    • 学会等名
      8th Int. Conf. Dependable, Autonomic and Secure Computing (DASC-09) (ベストペーパー賞)
    • 発表場所
      中国成都
    • 年月日
      2009-12-12
    • データソース
      KAKENHI-PROJECT-21500033
  • [学会発表] TCBC : Trap Caching Bounds Checking for C2009

    • 著者名/発表者名
      Y. Arahori, K. Gondow, H. Maejima
    • 学会等名
      8th Int. Conf. Dependable, Autonomic and Secure Computing (DASC-09)
    • 発表場所
      中国成都
    • 年月日
      2009-12-12
    • データソース
      KAKENHI-PROJECT-21500033
  • [学会発表] TBCppA : a Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors2008

    • 著者名/発表者名
      K. Gondow, H. Kawashima, T. Imaizumi
    • 学会等名
      8th IEEE Int. Working Conf. on Source Code Analysis and Manipulation (SCAM2008)
    • 発表場所
      中国・北京
    • 年月日
      2008-09-28
    • データソース
      KAKENHI-PROJECT-17500019
  • [学会発表] DRACULA : Detector of Data Races in SignalsHandlers2008

    • 著者名/発表者名
      T. Tahara, K. Gondow, S. Ohsuga
    • 学会等名
      15th Asia-Pacific Software Engineering Conference (APSEC2008)
    • 発表場所
      中国・北京
    • 年月日
      2008-12-03
    • データソース
      KAKENHI-PROJECT-17500019
  • [学会発表] DRACULA : Detector of Data Races in Signals Handlers2008

    • 著者名/発表者名
      T. Tahara, K. Gondow, S. Ohsuga
    • 学会等名
      15th Asia-Pacific Software Engineering Conference(AI)SEC2008)
    • 発表場所
      中国・北京
    • 年月日
      2008-12-03
    • データソース
      KAKENHI-PROJECT-17500019
  • [学会発表] Static Call Graph Generator for C++ using Debugging Information2007

    • 著者名/発表者名
      Y. Terashima, K. Gondow
    • 学会等名
      14th Asia-Pacific Software Engineering Conference (APSEC2007), IEEE Computer Society Press
    • 発表場所
      愛知県名古屋市
    • 年月日
      2007-12-05
    • データソース
      KAKENHI-PROJECT-17500019
  • [学会発表] Static Call Graph Generator for C++ using Debugging Information2007

    • 著者名/発表者名
      Y. Terashima, K. Gondow
    • 学会等名
      14th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society Press
    • 発表場所
      愛知県名古屋市
    • 年月日
      2007-12-05
    • データソース
      KAKENHI-PROJECT-17500019
  • [学会発表] 事例研究:ツール「簡単#include検査君」2007

    • 著者名/発表者名
      権藤克彦, 冨永和人
    • 学会等名
      日本ソフトウェア科学会, 第14回ソフトウェア工学の基礎ワークショップ(FOSE2007),
    • 発表場所
      山口県下関市
    • 年月日
      2007-11-09
    • データソース
      KAKENHI-PROJECT-17500019
  • [学会発表] Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding2006

    • 著者名/発表者名
      M. Ohba, K. Gondow
    • 学会等名
      10th IASTED Int. Conf. Software Engineering and Applications (SEA2006)
    • 発表場所
      Dallas, TX, USA(page-no.514-146)
    • 年月日
      2006-11-13
    • データソース
      KAKENHI-PROJECT-17500019
  • [学会発表] Toward Mining "Concept Keywords" from Identifiers in Large Software Projects2005

    • 著者名/発表者名
      M. Ohba, K. Gondow
    • 学会等名
      Int'l. Workshop on Mining Software Repositories (MSR2005)
    • 発表場所
      St. Louis, Missouri, USA(48-52)
    • 年月日
      2005-05-17
    • データソース
      KAKENHI-PROJECT-17500019
  • [学会発表] Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers

    • 著者名/発表者名
      Y. Kojima, Y. Arahori, K. Gondow
    • 学会等名
      7th Int. Conf. on Computer Supported Education (CSEDU 2015)
    • 発表場所
      ポルトガル,リスボン
    • 年月日
      2015-05-23 – 2015-05-25
    • データソース
      KAKENHI-PROJECT-26330077
  • 1.  鈴木 正人 (30242572)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 2.  今泉 貴史 (70242287)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 3.  青山 幹雄 (40278073)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  萩原 威志 (10293200)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  友石 正彦 (60262284)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  渡部 卓雄 (20222408)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  一杉 裕志 (30356464)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  天野 憲樹 (30313703)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  田中 哲 (10357452)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  大堀 淳 (60252532)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  小川 瑞史 (40362024)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  片山 卓也 (70016468)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  田島 敬史 (60283876)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi