Gondow Katsuhiko 権藤克彦

… Alternative Names

GONDO Katsuhiko 権藤克彦

権藤克彦ゴンドウカツヒコ

Less

Researcher Number	50262283
Other IDs
External Links
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 教授
Affiliation (based on the past Project Information) *help	2024: 東京科学大学, 情報理工学院, 教授 2016 – 2023: 東京工業大学, 情報理工学院, 教授 2010 – 2015: 東京工業大学, 学術国際情報センター, 教授 2007 – 2009: Tokyo Institute of Technology, 大学院・情報理工学研究科, 准教授 2006: 東京工業大学, 大学院情報理工学研究科, 助教授 … More 2003 – 2005: 東京工業大学, 大学院・情報理工学研究科, 助教授 2003 – 2005: 東京工業大学, 情報理工学研究科, 助教授 2002 – 2003: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 1998 – 1999: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 1997: 東京工業大学, 情報理工学研究科, 講師 1996: 東京工業大学, 大学院・情報理工学研究科計算工学専攻, 講師 Less
Review Section/Research Field	Principal Investigator 計算機科学 / Basic Section 60050:Software-related / Software / Software Except Principal Investigator Software / Science and Engineering
Keywords	Principal Investigator 参照カウント / メモリリーク / 追跡子 / ソフトウェア追跡性 / ソフトウェア保守 / 追跡性 / データ統合 / バイナリレベル / ANSI C / XML … More / CASEツール / 属性文法 / ゼミ弱生 / テイント解析 / use-after-free / 早期検知 / 動的テイント解析 / ダングリングポインタ / 決定木分類器 / 原始データ型 / 命名規則 / 一貫性 / mark-sweepゴミ集め / 追跡型ゴミ集め / 循環参照 / 時中型 prospective / 追跡性リンク / ソフトウェア解析 / ハッシュ値 / Unicode第14面 / 文字エンコーディング / 文字粒度 / 追記式 / データ競合 / C前処理系 / CASE ツール / ソフトウェアデータベース / 意味的制約 / PCTE / ERモデル / UNIXコマンド / OAG^*属性文法クラス / Ordered属性文法クラス / l-Ordered属性文法クラス / 依存グラフ / 3型循環 / NP完全 … More Except Principal Investigator 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 Less

ソフトウェア計装を用いたデバッグが容易なC/C++メモリ関連脆弱性検知器の開発Principal Investigator
- Principal Investigator
  
  権藤克彦
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
Fusion of software traceability and software analysis techniquesPrincipal Investigator
- Principal Investigator
  
  Gondow Katsuhiko
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
Maintaining high-accurate software traceability using language-independent/hash-based/line-based tracers.Principal Investigator
- Principal Investigator
  
  Gondow Katsuhiko
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
High-precision traceability by write-once/character-granularity tracersPrincipal Investigator
- Principal Investigator
  
  GONDOW Katsuhiko
- Project Period (FY)
  2009 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Design and implementation of precise C language CASE tools based on binary-level lightweight data integrationPrincipal Investigator
- Principal Investigator
  
  GONDO Katsuhiko
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
A Framework for Integrating Programming Languages, Repository and Development Environment
- Principal Investigator
  
  OHORI Atsushi
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
  Japan Advanced Institute of Science and Technology
ANSI C言語用ソフトウェアスライサ開発へのXMLの応用Principal Investigator
- Principal Investigator
  
  権藤克彦
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Tokyo Institute of Technology
  Japan Advanced Institute of Science and Technology
Secure Construction Methods for Extensible and Adaptable Software
- Principal Investigator
  
  WATANABE Takuo
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  National Institute of Informatics
  Tokyo Institute of Technology
計算機ネットワークの発展支援機構に関する研究
- Principal Investigator
  
  今泉貴史
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Tokyo Institute of Technology
UNIX上のコマンドとファイル間の意味的制約・関係を管理するデータベースの作成Principal Investigator
- Principal Investigator
  
  権藤克彦
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
計算機ネットワークの発展支援機構に関する研究
- Principal Investigator
  
  今泉貴史
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tokyo Institute of Technology
l-Orodered属性文法の有用性の検証に関する研究Principal Investigator
- Principal Investigator
  
  権藤克彦
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Tokyo Institute of Technology

[Book] 例解UNIXプログラミング教室2007
- Author(s)
  冨永和人, 権藤克彦
- Total Pages
  472
- Publisher
  ピアソンエデュケーション
- Data Source
  KAKENHI-PROJECT-17500019
[Book] ピアソンエデュケーション2007
- Author(s)
  冨永和人, 権藤克彦
- Total Pages
  472
- Publisher
  例解UNIXプログラミング教室
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] ファジングのための正確で高速なプロセススナップショットの Windows 低レベルユーザーランド実装2024
- Author(s)
  中田聖也, 権藤克彦
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 41-4 Pages: 74-80
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24K14890
[Journal Article] EarlyDLDetect: An Early Root-Cause Locator of Dangling Pointers and Memory Leaks2024
- Author(s)
  K. Gondow and Y. Arahori
- Journal Title
  
  IEEE Access
  
  Volume: 12 Pages: 187877-187891
- DOI
  10.1109/access.2024.3515133
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24K14890
[Journal Article] UCDetector: retain cycle detector for Swift language implemented on user-land2022
- Author(s)
  権藤克彦、新山祐介、荒堀喜貴
- Journal Title
  
  Computer Software
  
  Volume: 39 Issue: 4 Pages: 4_97-4_128
- DOI
  10.11309/jssst.39.4_97
- ISSN
  0289-6540
- Year and Date
  2022-10-25
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11897
[Journal Article] Robust Index Code to Distribute Digital Images and Digital Contents Together2018
- Author(s)
  M. Kim, K. Lee, K. Gondow, J. Imura
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E101.D Issue: 9 Pages: 2179-2189
- DOI
  10.1587/transinf.2017PCP0004
- NAID
  130007479647
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2018-09-01
- Language
  English
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330077
[Journal Article] 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価2014
- Author(s)
  森川知哉, 荒堀喜貴, 権藤克彦
- Journal Title
  
  コンピュータソフトウェア(レター論文)
  
  Volume: [31], No.1 Pages: 103-109
- NAID
  130004549325
- URL
  https://www.jstage.jst.go.jp/article/jssst/31/1/31_1_103/_pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] 整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価2014
- Author(s)
  森川知哉，荒堀喜貴，権藤克彦
- Journal Title
  
  コンピュータソフトウェア（レター論文）
  
  Volume: vol.31, no.1 Pages: 103-109
- NAID
  130004549325
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] 競合回避機構を備えた高互換かつ高精度な境界検査手法2012
- Author(s)
  荒堀喜貴, 権藤克彦, 前島英雄
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 53(3) Pages: 1150-1165
- NAID
  110008802673
- URL
  http://ci.nii.ac.jp/naid/110008802673
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と, 水平スライスが可能な可視化ツール(MieruCompiler)2012
- Author(s)
  権藤克彦, 福安直樹, 荒堀喜貴
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: vol.J95-D, No.5 Pages: 1225-1241
- NAID
  110009444739
- URL
  http://ci.nii.ac.jp/naid/110009444739
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] GPUを利用したポインタ解析の実装と評価2012
- Author(s)
  深谷敏邦，権藤克彦
- Journal Title
  
  コンピュータソフトウェア（レター論文）
  
  Volume: Vol.29, No.3 Pages: 70-76
- NAID
  10030497743
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] 誤解放を防ぐための新しい型修飾子strict_lifetime2012
- Author(s)
  鮎川力也, 権藤克彦, 荒堀喜貴
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: vol.J95-D, no.2 Pages: 217-224
- URL
  http://ci.nii.ac.jp/naid/110009328418
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] GPUを利用したポインタ解析の実装と評価2012
- Author(s)
  深谷敏邦, 権藤克彦
- Journal Title
  
  コンピュータソフトウェア(レター論文)
  
  Volume: [29], No.3 Pages: 70-76
- NAID
  10030497743
- URL
  https://www.jstage.jst.go.jp/article/jssst/29/3/29_3_70/_pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] ネイティブアセンブリコードを出力する教育用コンパイラ (XCC)と，水平スライスが可能な可視化ツール (MieruCompiler)，2012
- Author(s)
  権藤克彦，福安直樹，荒堀喜貴
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: vol.J95-D, No.5 Pages: 1225-1241
- NAID
  110009444739
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] Cプログラムの割込み競合の動的検出法2010
- Author(s)
  荒堀喜貴, 権藤克彦, 前島英雄
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 51-9 Pages: 1816-1831
- NAID
  110007970782
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] 事例研究:ツール「簡単#include検査君」とその経験2010
- Author(s)
  権藤克彦, 冨永和人
- Journal Title
  
  コンピュータソフトウェア(レター論文)
  
  Volume: [27], No.2 Pages: 93-99
- NAID
  130004549174
- URL
  https://www.jstage.jst.go.jp/article/jssst/27/2/27_2_2_93/_pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール2010
- Author(s)
  荒堀喜貴, 権藤克彦, 前島英雄
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: vol.J93-D, no.10 Pages: 1851-1865
- NAID
  110007730846
- URL
  http://ci.nii.ac.jp/naid/110007730846
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] Cプログラムの割込み競合の動的検出法, 情報処理学会論文誌2010
- Author(s)
  荒堀喜貴, 権藤克彦, 前島英雄
- Journal Title
  
  情報処理学会論文誌
  
  Volume: vol.51, no.9 Pages: 1816-1831
- URL
  http://ci.nii.ac.jp/naid/110007970782
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] 事例研究:ツール「簡単#include検査君」とその経験2010
- Author(s)
  権藤克彦, 冨永和人
- Journal Title
  
  コンピュータソフトウェア(レター論文) (In press)
- NAID
  130004549174
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500033
[Journal Article] TBCppA : 追跡子を用いたC前処理系解析器2008
- Author(s)
  権藤克彦, 川島勇人, 今泉貴史
- Journal Title
  
  コンピュータソフトウェア 25-1
  
  Pages: 105-123
- NAID
  130004549093
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] DRACULA : シグナルによるデータ競合の検出ツール2008
- Author(s)
  田原貴光, 権藤克彦
- Journal Title
  
  電子情報通信学会論文誌 J91-D[2]
  
  Pages: 449-458
- NAID
  110007385927
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] TBCppA : 追跡子を用いたC 前処理系解析器2008
- Author(s)
  権藤克彦, 川島勇人, 今泉貴史
- Journal Title
  
  コンピュータソフトウェア 25-1
  
  Pages: 105-123
- NAID
  130004549093
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] 中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装2007
- Author(s)
  権藤克彦, 大場勝
- Journal Title
  
  電子情報通信学会論文誌 J90-D[5]
  
  Pages: 1194-1208
- NAID
  110007380713
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] 中レべル抽象・薄い中間層・追跡性の実践によるコンノぐクトな教育用オペレーティングシステムudosの設計と実装2007
- Author(s)
  権藤克彦, 大場勝
- Journal Title
  
  電子情報通信学会論文誌 J86-D-1 (採録済み、掲載決定)
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案2007
- Author(s)
  大場勝, 権藤克彦
- Journal Title
  
  情報処理学会論文誌第48巻第8号
  
  Pages: 2596-2607
- NAID
  110006386491
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法2007
- Author(s)
  大場勝, 権藤克彦
- Journal Title
  
  電子情報通信学会論文誌 J90-D[6]
  
  Pages: 1445-1461
- NAID
  110007380739
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] プログラム理解のための実装レべル制約とソースコード間の追跡性の整理保存法2007
- Author(s)
  大場勝, 権藤克彦
- Journal Title
  
  電子情報通信学会論文誌 J86-D-1 (採録済み、掲載決定)
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] Implementation of Reversible Debugger Using Incremental Checkpoints2007
- Author(s)
  Sushil Shrestha, Katsuhiko Gondow
- Journal Title
  
  第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案2007
- Author(s)
  大場勝, 権藤克彦
- Journal Title
  
  情報処理学会論文誌 48-8
  
  Pages: 2596-2607
- NAID
  110006386491
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] C言語用CASEツールへのDWARF2デバッグ情報の応用2006
- Author(s)
  権藤克彦, 鈴木朝也, 川島勇人
- Journal Title
  
  コンピュータソフトウェア 23-2
  
  Pages: 175-198
- NAID
  130004892056
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding2006
- Author(s)
  M.Ohba, K.Gondow
- Journal Title
  
  10th IASTED Int. Conf. Software Engineering and Applications (SEA 2006)
  
  Pages: 514-146
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] C言語用CASEツールへのDWARF2デバッグ情報の応用2006
- Author(s)
  権藤克彦, 鈴木朝也, 川島勇人
- Journal Title
  
  コンピュータソフトウェア 23・2(採録済み掲載決定)
- NAID
  130004892056
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] TBCppA : 追跡子を用いたC前処理系解析器2006
- Author(s)
  権藤克彦, 川島勇人
- Journal Title
  
  第13回ソフトウニア工学の基礎ワークショップ(FOSE2006)
  
  Pages: 9-18
- NAID
  130004549093
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] デバッグ情報を用いたC++用コールグラフ生成系軽量なバイナリレべル型解析による仮想関数呼び出しの検出2006
- Author(s)
  寺島有為, 権藤克彦
- Journal Title
  
  電気情報通信学会技術研究報告信学技報 Vol.106,No.201
  
  Pages: 13-18
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] Toward Mining "Concept Keywords" from Identifiers in Large Software Projects2005
- Author(s)
  M.Ohba, K.Gondow
- Journal Title
  
  Int'1.Workshop on Mining Software Repositories(MSR2005),
  
  Pages: 48-52
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] プログラム理解に役立つ識別子からのコンセプトキーワード抽出法2005
- Author(s)
  大場勝, 権藤克彦
- Journal Title
  
  電気情報通信学会技術研究報告信学技報 105・25
  
  Pages: 25-30
- NAID
  110003277341
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] アスペクト指向文書整理法を用いたプログラム理解ツールの紹介2005
- Author(s)
  大場勝, 権藤克彦
- Journal Title
  
  組み込みソフトウェアシンポジウム(ESS2005)
  
  Pages: 174-175
- Data Source
  KAKENHI-PROJECT-17500019
[Journal Article] ACMLに基づくプログラム情報抽出システムの設計2004
- Author(s)
  川島勇人, 権藤克彦
- Journal Title
  
  コンピュータソフトウェア 21・5
  
  Pages: 65-70
- NAID
  40022171094
- Data Source
  KAKENHI-PROJECT-15300006
[Journal Article] ACMLに基づくプログラム情報抽出システムの設計2004
- Author(s)
  川島勇人, 権藤克彦
- Journal Title
  
  コンピュータソフトウェア 21・5
  
  Pages: 65-70
- NAID
  40022171094
- Data Source
  KAKENHI-PROJECT-14780202
[Journal Article] プログラム理解のための,識別子からのキーワード抽出2004
- Author(s)
  大場勝, 権藤克彦
- Journal Title
  
  日本ソフトウェア科学会第21回大会
- Data Source
  KAKENHI-PROJECT-14780202
[Journal Article] Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C2004
- Author(s)
  K.Gondow, T.Suzuki, H.Kawashima
- Journal Title
  
  11th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society Press
  
  Pages: 336-345
- Data Source
  KAKENHI-PROJECT-14780202
[Journal Article] 実践的なプログラミング演習問題集の作成技術と管理システムの開発2004
- Author(s)
  藤田充典, 権藤克彦, 落水浩一郎
- Journal Title
  
  教育システム情報学会(JSiSE)第29回全国大会
- Data Source
  KAKENHI-PROJECT-14780202
[Journal Article] Binary-Level Lightweight Data Integration to Develop Program Under standing Tools for Embedded Software in C2004
- Author(s)
  K.Gondow, T.Suzuki, H.Kawashima
- Journal Title
  
  In Proc.Asia-Pacific Software Engineering Conference(APSEC)
  
  Pages: 336-345
- Data Source
  KAKENHI-PROJECT-15300006
[Journal Article] 教育用OSのソフトウェア工学的側面:udosの開発を通して2004
- Author(s)
  権藤克彦, 大場勝
- Journal Title
  
  第11回ソフトウェア工学の基礎ワークショップ(FOSE2004)
  
  Pages: 209-212
- Data Source
  KAKENHI-PROJECT-14780202
[Journal Article] DWARF2-XMLを用いたクロスリファレンサの設計と実現2004
- Author(s)
  鈴木朝也, 権藤克彦, 川島勇人
- Journal Title
  
  ソフトウェアシンポジウム2004
  
  Pages: 58-62
- Data Source
  KAKENHI-PROJECT-14780202
[Journal Article] コンパクトなANSICインタプリタXCIの設計と実装2003
- Author(s)
  権藤克彦(他)
- Journal Title
  
  電子情報通信学会論文誌 J86・D-I[3]
  
  Pages: 159-168
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300006
[Journal Article] Design and interpretation of compact ANSI C Interpreter XCI (in Japanese)2003
- Author(s)
  Katsuhiko Gondow et al.
- Journal Title
  
  IEICE Transactions on Information and Systems (Japanese Edition) J86・D-I[3]
  
  Pages: 159-168
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300006
[Presentation] Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis2021
- Author(s)
  Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
- Organizer
  28th Asia-Pacific Software Engineering Conference (APSEC), Dec. 2021, pp. 223-232, https://doi.org/10.1109/APSEC53868.2021.00030
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] How Do Programmers Express High-Level Concepts using Primitive Data Types?2021
- Author(s)
  Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
- Organizer
  28th Asia-Pacific Software Engineering Conference (APSEC), Dec. 2021, pp. 360-368, https://doi.org/10.1109/APSEC53868.2021.00043
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code2020
- Author(s)
  E. Tominaga, Y. Arahori, and K. Gondow
- Organizer
  SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing, March 2021, pp. 1768-1777
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] STRAB: state recovery using reverse execution at IR level for concurrent programs2020
- Author(s)
  S. Hoshino, Y. Arahori, and K. Gondow
- Organizer
  SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing, March 2021, pp. 1532-1541
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] 強化学習によるイベント駆動コードの等価性検査戦略の生成2019
- Author(s)
  冨永江奈、荒堀喜貴、権藤克彦
- Organizer
  第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] ωCatch: クラウドシステムにおけるパフォーマンスバグの正確な自動検知に向けて2019
- Author(s)
  和田智優、荒堀喜貴、権藤克彦
- Organizer
  第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] 並行バグの効率的な自動原因解析を可能にする静的解析2019
- Author(s)
  星野シンジ、荒堀喜貴、権藤克彦
- Organizer
  第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表（ライブ論文ポスター賞）
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] Typestate 解析を応用した静的解析による分散並行システムのバグの検出2019
- Author(s)
  春日涼太郎、荒堀喜貴、権藤克彦
- Organizer
  日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ，ポスター（PPL2019）
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] クラウドシステムの非決定的性能バグ検査器2019
- Author(s)
  和田智優，荒堀喜貴，権藤克彦
- Organizer
  第12回データ工学と情報マネジメントに関するフォーラム (DEIM 2020)
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] 深層学習型文法ベースファジングの比較実験(ポスター)2019
- Author(s)
  實成優馬，荒堀喜貴，権藤克彦
- Organizer
  日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing2019
- Author(s)
  Y. Jitsunari, Y. Arahori, K. Gondow
- Organizer
  Int. Conf. on Advanced Information Networking and Applications (AINA 2019) pp 470-484
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] バイナリコードを対象とした高速かつ正確な動的Use-After-Free検出2019
- Author(s)
  石山泰地，荒堀喜貴，権藤克彦
- Organizer
  情報処理学会第122回プログラミング研究会 (PRO-2018-4) (2019)
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] カバレッジ誘導機構をもつ深層学習型文法ベースファジング(ポスター)2019
- Author(s)
  實成優馬，荒堀喜貴，権藤克彦
- Organizer
  日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] イベント駆動コードの差分解析を可能にするパス探査経験則2019
- Author(s)
  冨永江奈、荒堀喜貴、権藤克彦
- Organizer
  日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] AwaitViz: a Visualizer of JavaScript's Async/Await Execution Order2019
- Author(s)
  E. Tominaga, Y. Arahori, K. Gondow
- Organizer
  SAC'19: Proc. 34th ACM/SIGAPP Sympo. on Applied Computing, pp. 2515-2524
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] Implementation of Image SuperDistribution System2019
- Author(s)
  M. Kim, K. Lee, K. Gondow
- Organizer
  3rd Int. Conf. on E-Business and Internet (ICEBI 2019), 6 pages
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] 強化学習に基づく並行バグ検知2019
- Author(s)
  李兆亮、荒堀喜貴、権藤克彦
- Organizer
  第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] 等価性検査のための入力×イベント空間の探査経験則の学習2019
- Author(s)
  冨永江奈，荒堀喜貴，権藤克彦
- Organizer
  日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] 分散並行ファジング2019
- Author(s)
  石山泰地、荒堀喜貴、権藤克彦
- Organizer
  第26回ソフトウェア工学の基礎ワークショップ(FOSE2019), ポスター発表
- Data Source
  KAKENHI-PROJECT-19K11897
[Presentation] 実行可能コ一ドを対象とするスケ一ラブルかつ部分的パス依存なバッファオ一バ一フロ一静的検知2019
- Author(s)
  黒岩将平，荒堀喜貴，権藤克彦
- Organizer
  情報処理学会第122回プログラミング研究会 (PRO-2018-4) (2019)
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] Analyzing Code Comments to Boost Program Comprehension2018
- Author(s)
  Y. Shinyama, Y. Arahori and K. Gondow
- Organizer
  25th Asia-Pacific Software Engineering Conf. (APSEC 2018), 10 pages
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] POI: Skew-Aware Parallel Race Detection2018
- Author(s)
  Y. Sakurai, Y. Arahori and K. Gondow
- Organizer
  2018 IEEE 18th Int. Working Conf. on Source Code Analysis and Manipulation (SCAM 2018), pp.215-224
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] 高脅威メモリリークのバイナリレベル動的検出法2018
- Author(s)
  小泉雄太，荒堀喜貴，権藤克彦
- Organizer
  情報処理学会研究報告ソフトウェア工学（SE）, 2018-SE-198(27), pp.1-8
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] イベント処理を考慮した正確かつ高速なデータフロー解析2018
- Author(s)
  高野健太，荒堀喜貴，権藤克彦
- Organizer
  情報処理学会研究報告ソフトウェア工学（SE）, 2018-SE-198(21), pp.1-8
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] 入力空間とイベント空間を探索するJavaScriptコードの等価性検証2018
- Author(s)
  冨永江奈，荒堀喜貴，権藤克彦
- Organizer
  情報処理学会第121回プログラミング研究会 (PRO-2018-3) (2018)
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste2018
- Author(s)
  K. Gondow, Y. Arahori, K. Yamamoto, M. Fukuyori and R. Umekawa
- Organizer
  13th Int. Conf. Software Technologies (ICSOFT 2018), pp. 221-232
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] 高品質なポインタ解析規則の自動生成に向けて2018
- Author(s)
  湯川涼太，荒堀喜貴，権藤克彦
- Organizer
  情報処理学会第121回プログラミング研究会 (PRO-2018-3) (2018)
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] サンプリング適用による動的データ構造推定の精度・効率の評価2018
- Author(s)
  小泉雄太，荒堀喜貴，権藤克彦
- Organizer
  情報処理学会第121回プログラミング研究会 (PRO-2018-3) (2018)
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] 実行順序に着目したasync/awaitの実行の可視化2018
- Author(s)
  冨永江奈，荒堀喜貴，権藤克彦
- Organizer
  情報処理学会研究報告ソフトウェア工学（SE）, 2018-SE-198(22), pp.1-8
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] CodeCAM: capturing programmer's reaction during coding session2018
- Author(s)
  Y. Shinyama, Y. Arahori and K. Gondow
- Organizer
  2018 IEEE Workshop on Mining and Analyzing Interaction Histories (MAINT) Campobasso, pp. 1-5
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] パターンマッチングのためのデータフローグラフ抽出器の実装2017
- Author(s)
  新山祐介，荒堀喜貴，権藤克彦
- Organizer
  電気情報通信学会技術研究報告信学技報， vol. 117, no. 248, SS2017-27, pp. 37-42
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] ハッシュ値を用いた軽量追跡ツール2017
- Author(s)
  権藤克彦，荒堀喜貴，山本晃治，福寄雅洋，梅川竜一
- Organizer
  電気情報通信学会技術研究報告信学技報 vol.116, no.425
- Place of Presentation
  日本，京都
- Year and Date
  2017-01-26
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] ポインタ解析問題の自動生成2017
- Author(s)
  笹田研悟, 荒堀喜貴, 権藤克彦
- Organizer
  情報処理学会システムソフトウェアとオペレーティング・システム研究会 (CompSys2017)，ポスター発表
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] Distribute digital contents within digital images on the mobile2017
- Author(s)
  M. Kim, K. Lee, K. Gondow
- Organizer
  9th Int. Conf. on E-Education, E-Business,. E-Management and E-Learning (IC4E 2018), E025
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] イベント処理を考慮した正確かつ高速なデータフロー解析2017
- Author(s)
  高野健太, 荒堀喜貴, 権藤克彦
- Organizer
  情報処理学会システムソフトウェアとオペレーティング・システム研究会 (CompSys2017)，ポスター発表
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers2016
- Author(s)
  Uchida, K. Gondow
- Organizer
  8th Int. Conf. on Computer Supported Education (CSEDU 2016)
- Place of Presentation
  イタリア，ローマ
- Year and Date
  2016-04-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] Robust Index Code with Digital Images on the Internet2016
- Author(s)
  M. Kim, K. Lee, K. Gondow, J. Imura
- Organizer
  13th Int. Conf. Signal Processing and Multimedia Applications (SIGMAP2016) 査読有り
- Place of Presentation
  ポルトガル，リスボン
- Year and Date
  2016-07-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330077
[Presentation] MieruCompiler : Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers2010
- Author(s)
  K.Gondow, N.Fukuyasu, Y.Arahori
- Organizer
  41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)
- Place of Presentation
  米国ミルウォーキー
- Year and Date
  2010-03-11
- Data Source
  KAKENHI-PROJECT-21500033
[Presentation] MieruCompiler : Integrated Visualization Tool with ``Horizontal Slicing'' for Educational Compilers2010
- Author(s)
  K. Gondow, N. Fukuyasu, Y. Arahori
- Organizer
  41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)
- Place of Presentation
  米国ミルウォーキー
- Year and Date
  2010-03-11
- Data Source
  KAKENHI-PROJECT-21500033
[Presentation] Cache-Based Bounds Checking for Multi-Threaded C Programs2009
- Author(s)
  Y.Arahori, K.Gondow, H.Maejima
- Organizer
  21st LASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)
- Place of Presentation
  米国ボストン
- Year and Date
  2009-11-03
- Data Source
  KAKENHI-PROJECT-21500033
[Presentation] Cache-Based Bounds Checking for Multi-Threaded C Programs2009
- Author(s)
  Y. Arahori, K. Gondow, H. Maejima
- Organizer
  21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)
- Place of Presentation
  米国ボストン
- Year and Date
  2009-11-03
- Data Source
  KAKENHI-PROJECT-21500033
[Presentation] TCBC : Trap Caching Bounds Checking for C2009
- Author(s)
  Y.Arahori, K.Gondow, H.Maejima
- Organizer
  8th Int. Conf. Dependable, Autonomic and Secure Computing (DASC-09) (ベストペーパー賞)
- Place of Presentation
  中国成都
- Year and Date
  2009-12-12
- Data Source
  KAKENHI-PROJECT-21500033
[Presentation] TCBC : Trap Caching Bounds Checking for C2009
- Author(s)
  Y. Arahori, K. Gondow, H. Maejima
- Organizer
  8th Int. Conf. Dependable, Autonomic and Secure Computing (DASC-09)
- Place of Presentation
  中国成都
- Year and Date
  2009-12-12
- Data Source
  KAKENHI-PROJECT-21500033
[Presentation] TBCppA : a Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors2008
- Author(s)
  K. Gondow, H. Kawashima, T. Imaizumi
- Organizer
  8th IEEE Int. Working Conf. on Source Code Analysis and Manipulation (SCAM2008)
- Place of Presentation
  中国・北京
- Year and Date
  2008-09-28
- Data Source
  KAKENHI-PROJECT-17500019
[Presentation] DRACULA : Detector of Data Races in SignalsHandlers2008
- Author(s)
  T. Tahara, K. Gondow, S. Ohsuga
- Organizer
  15th Asia-Pacific Software Engineering Conference (APSEC2008)
- Place of Presentation
  中国・北京
- Year and Date
  2008-12-03
- Data Source
  KAKENHI-PROJECT-17500019
[Presentation] DRACULA : Detector of Data Races in Signals Handlers2008
- Author(s)
  T. Tahara, K. Gondow, S. Ohsuga
- Organizer
  15th Asia-Pacific Software Engineering Conference(AI)SEC2008)
- Place of Presentation
  中国・北京
- Year and Date
  2008-12-03
- Data Source
  KAKENHI-PROJECT-17500019
[Presentation] Static Call Graph Generator for C++ using Debugging Information2007
- Author(s)
  Y. Terashima, K. Gondow
- Organizer
  14th Asia-Pacific Software Engineering Conference (APSEC2007), IEEE Computer Society Press
- Place of Presentation
  愛知県名古屋市
- Year and Date
  2007-12-05
- Data Source
  KAKENHI-PROJECT-17500019
[Presentation] Static Call Graph Generator for C++ using Debugging Information2007
- Author(s)
  Y. Terashima, K. Gondow
- Organizer
  14th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society Press
- Place of Presentation
  愛知県名古屋市
- Year and Date
  2007-12-05
- Data Source
  KAKENHI-PROJECT-17500019
[Presentation] 事例研究:ツール「簡単#include検査君」2007
- Author(s)
  権藤克彦, 冨永和人
- Organizer
  日本ソフトウェア科学会, 第14回ソフトウェア工学の基礎ワークショップ(FOSE2007),
- Place of Presentation
  山口県下関市
- Year and Date
  2007-11-09
- Data Source
  KAKENHI-PROJECT-17500019
[Presentation] Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding2006
- Author(s)
  M. Ohba, K. Gondow
- Organizer
  10th IASTED Int. Conf. Software Engineering and Applications (SEA2006)
- Place of Presentation
  Dallas, TX, USA(page-no.514-146)
- Year and Date
  2006-11-13
- Data Source
  KAKENHI-PROJECT-17500019
[Presentation] Toward Mining "Concept Keywords" from Identifiers in Large Software Projects2005
- Author(s)
  M. Ohba, K. Gondow
- Organizer
  Int'l. Workshop on Mining Software Repositories (MSR2005)
- Place of Presentation
  St. Louis, Missouri, USA(48-52)
- Year and Date
  2005-05-17
- Data Source
  KAKENHI-PROJECT-17500019
[Presentation] Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers
- Author(s)
  Y. Kojima, Y. Arahori, K. Gondow
- Organizer
  7th Int. Conf. on Computer Supported Education (CSEDU 2015)
- Place of Presentation
  ポルトガル，リスボン
- Year and Date
  2015-05-23 – 2015-05-25
- Data Source
  KAKENHI-PROJECT-26330077

1. SUZUKI Masato (30242572)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. 今泉貴史 (70242287)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. 青山幹雄 (40278073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 萩原威志 (10293200)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 友石正彦 (60262284)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. WATANABE Takuo (20222408)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. ISCHISUGI Yuuji (30356464)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. AMANO Noriki (30313703)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. TANAKA Akira (10357452)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. OHORI Atsushi (60252532)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. OGAWA Mizuhito (40362024)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. KATAYAMA Takuya (70016468)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. TAJIMA Keishi (60283876)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Gondow Katsuhiko 権藤 克彦

GONDO Katsuhiko 権藤 克彦

権藤 克彦 ゴンドウ カツヒコ

Research Projects

Research Products

Co-Researchers

ソフトウェア計装を用いたデバッグが容易なC/C++メモリ関連脆弱性検知器の開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Fusion of software traceability and software analysis techniquesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Maintaining high-accurate software traceability using language-independent/hash-based/line-based tracers.Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

High-precision traceability by write-once/character-granularity tracersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design and implementation of precise C language CASE tools based on binary-level lightweight data integrationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Framework for Integrating Programming Languages, Repository and Development Environment

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ANSI C言語用ソフトウェアスライサ開発へのXMLの応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Secure Construction Methods for Extensible and Adaptable Software

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

計算機ネットワークの発展支援機構に関する研究

Principal Investigator

Project Period (FY)

Research Category

Research Institution

UNIX上のコマンドとファイル間の意味的制約・関係を管理するデータベースの作成Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

計算機ネットワークの発展支援機構に関する研究

Principal Investigator

Project Period (FY)

Research Category

Research Institution

l-Orodered属性文法の有用性の検証に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 例解UNIXプログラミング教室2007

Author(s)

Total Pages

Publisher

Gondow Katsuhiko 権藤克彦

GONDO Katsuhiko 権藤克彦

権藤克彦ゴンドウカツヒコ

[Journal Article] ファジングのための正確で高速なプロセススナップショットの Windows 低レベルユーザーランド実装2024