:東京工業大学大学院 情報理工学研究科 計算工学専攻 講師

1997年 - 1998年

:

1994年 - 1997年

:東京工業大学大学院 情報理工学研究科 計算工学専攻 助手

1994年 - 1997年

:

1994年

:東京工業大学 工学部 情報工学科 助手

1994年

Postmortem accurate IR-level state recovery for deployed concurrent programs 査読

S. Hoshino, Y. Arahori, K. Gondow

ACM SIGAPP Applied Computing Review   Vol. 21 ( Issue. 3 )   2021年9月

DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code 査読

Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 36th Annual ACM Symposium on Applied Computing   1768 - 1777   2021年3月

STRAB: state recovery using reverse execution at IR level for concurrent programs 査読

Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 36th Annual ACM Symposium on Applied Computing   1532 - 1541   2021年3月

Implementation of Image SuperDistribution System 査読

Minsu Kim, Kunwoo Lee, Katsuhiko Gondow

Proceedings of the 2019 3rd International Conference on E-Business and Internet   45 - 52   2019年11月

AwaitViz: a Visualizer of JavaScript's Async/Await Execution Order 査読

Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing   2515 - 2524   2019年4月

Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing 査読

Yuma Jitsunari, Yoshitaka Arahori, Katsuhiko Gondow

Advances in Intelligent Systems and Computing   470 - 484   2019年3月

Analyzing Code Comments to Boost Program Comprehension 査読

Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow

2018 25th Asia-Pacific Software Engineering Conference (APSEC)   325 - 334   2018年12月

POI: Skew-Aware Parallel Race Detection 査読

Yoshitaka Sakurai, Yoshitaka Arahori, Katsuhiko Gondow

2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM)   215 - 224   2018年9月

Robust Index Code to distribute digital images and digital contents together 査読

M. Kim, K. Lee, K. Gondow, J. Imura

IEICE Transactions on Information and Systems   vol. E101.D ( no. 9 )   2018年9月

Space Saving Text Input Method for Head Mounted Display with Virtual 12-key Keyboard 査読

Taihei Ogitani, Yoshitaka Arahori, Yusuke Shinyama, Katsuhiko Gondow

2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)   2018年5月

CodeCAM: capturing programmer's reaction during coding session 査読

Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow

2018 IEEE Workshop on Mining and Analyzing Interaction Histories (MAINT)   1 - 5   2018年3月

Distribute digital contents within digital images on the mobile 査読

Minsu Kim, Kunwoo Lee, Katsuhiko Gondow

Proceedings of the 9th International Conference on E-Education, E-Business, E-Management and E-Learning   35 - 39   2018年1月

Why Do We Need the C language in Programming Courses? 査読

Katsuhiko Gondow, Yoshitaka Arahori

Proceedings of the 13th International Conference on Software Technologies   549 - 556   2018年

TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy & Paste 査読

Katsuhiko Gondow, Yoshitaka Arahori, Koji Yamamoto, Masahiro Fukuyori, Riyuuichi Umekawa

Proceedings of the 13th International Conference on Software Technologies   221 - 232   2018年

C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers 査読

Kota Uchida, Katsuhiko Gondow

Proceedings of the 8th International Conference on Computer Supported Education   321 - 329   2016年

Robust Index Code with Digital Images on the Internet 査読

Minsu Kim, Kunwoo Lee, Katsuhiko Gondow, Jun-ichi Imura

Proceedings of the 13th International Joint Conference on e-Business and Telecommunications   28 - 37   2016年

Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers 査読

Yoshitaka Kojima, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 7th International Conference on Computer Supported Education   483 - 490   2015年

整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価 査読

森川知哉, 荒堀喜貴, 権藤克彦

コンピュータソフトウェア（レター論文）   Vol. 31 ( No. 1 )   2014年1月

GPUを利用したポインタ解析の実装と評価， 査読

深谷敏邦, 権藤克彦

コンピュータソフトウェア（レター論文）   29 ( 3 )   70 - 76   2012年7月

ネイティブアセンブリコードを出力する教育用コンパイラ（XCC）と，水平スライスが可能な可視化ツール（MieruCompiler） 査読

権藤克彦, 福安 直樹, 荒堀喜貴

電子情報通信学会論文誌   Vol. J95-D ( No. 5 )   1225 - 1241   2012年5月

競合回避機構を備えた高互換かつ高精度な境界検査手法 査読

荒堀喜貴, 権藤克彦, 前島英雄

情報処理学会論文誌   Vol. 53 ( No. 3 )   1150 - 1165   2012年3月

デザインパターンへの工学的取り組み 査読

鷲崎弘宜, 坂本一憲, 大杉直樹, 権藤克彦, 服部哲, 久保淳人, 小林隆志, 大月美佳, 丸山勝久, 榊原彰

コンピュータソフトウェア   Vol. 29 ( No. 1 )   130 - 146   2012年2月

誤解放を防ぐための新しい型修飾子 strict_lifetime 査読

鮎川力也, 権藤克彦, 荒堀 喜貴

電子情報通信学会論文誌   Vol. J95-D ( No. 2 )   217 - 224   2012年2月

広範な実用Ｃプログラムに適用可能かつ高精度な動的境界検査ツール 査読

荒堀喜貴, 権藤克彦, 前島英雄

電子情報通信学会論文誌   vol. J93-D ( no. 10 )   1851 - 1865   2010年10月

Cプログラムの割り込み競合の動的検出法 査読

荒堀喜貴, 権藤克彦, 前島英雄

情報処理学会論文誌   vol. 51 ( no. 9 )   1816 - 1831   2010年9月

事例研究：ツール「簡単#include検査君」とその経験 査読

権藤克彦, 冨永和人

コンピュータソフトウェア（レター論文）   vol. 27 ( no. 2 )   93 - 99   2010年5月

MieruCompiler: Integrated Visualization Tool with ``Horizontal Slicing'' for Educational Compilers

Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori

Proceedings of the 41st ACM technical symposium on Computer science education   7 - 11   2010年3月

TCBC: Trap Caching Bounds Checking for C 査読

Y. Arahori, K. Gondow, H. Maejima

8th Int. Conf. Dependable, Autonomic and Secure Computing (DASC-09)   49 - 56   2009年

DRACULA: Detector of Data Races in Signals Handlers 査読

T. Tahara, K. Gondow, S. Ohsuga

15th Asia-Pacific Software Engineering Conference (APSEC2008)   17 - 24   2009年

Cache-Based Bounds Checking for Multi-Threaded C Programs 査読

Y. Arahori, K. Gondow, H. Maejima

21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009),   CD-ROM No.668-019   2009年

DRACULA：シグナルによるデータ競合の検出ツール 査読

田原貴光, 権藤克彦

電子情報通信学会論文誌   vol. J91-D ( no. 2 )   449 - 458   2008年2月

TBCppA: 追跡子を用いたC前処理系解析器 査読

権藤 克彦, 川島 勇人, 今泉 貴史

コンピュータ ソフトウェア   25 ( 1 )   105 - 123   2008年

TBCppA: a Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors 査読

Katsuhiko Gondow, Hayato Kawashima, Takashi Imaizumi

EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS   35 - 44   2008年

プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案 査読

大場勝, 権藤克彦

情報処理学会論文誌   Vol. 48 ( No. 8 )   2596 - 2607   2007年8月

プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法 査読

大場勝, 権藤克彦

電子情報通信学会論文誌   Vol. J90-D ( No. 6 )   1445 - 1461   2007年6月

中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装 査読

権藤克彦, 大場勝

電子情報通信学会論文誌   Vol. J90-D ( No. 5 )   1194 - 1208   2007年5月

Static Call Graph Generator for C++ using Debugging Information 査読

Y. Terashima, K. Gondow

14th Asia-Pacific Software Engineering Conference (APSEC)   127 - 134   2007年

C言語用CASEツールへのDWARF2デバッグ情報の応用 査読

権藤克彦, 鈴木朝也, 川島勇人

23 ( 2 )   175 - 198   2006年

Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding 査読

M. Ohba, K. Gondow

10th IASTED Int. Conf. Software Engineering and Applications (SEA 2006)   No.514-146   2006年

ソフトウェア工学の基礎 XII

権藤克彦, 小林隆志

Vol. レクチャーノート/ソフトウェア学   2005年11月

Toward Mining "Concept Keywords" from Identifiers in Large Software Projects 査読

M. Ohba, K. Gondow

Int. Workshop on Mining Software Repositories (MSR2005)   48 - 52   2005年

Optimizing the Execution Time for Checking the Consistency of XML Documents 査読

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Journal of Intelligent Information Systems   22 ( 3 )   257 - 279   2004年5月

ACMLに基づくプログラム情報抽出システムの設計 査読

川島勇人, 権藤克彦

コンピュータソフトウェア   Vol. 21 ( No. 5 )   65 - 70   2004年4月

Binary-level lightweight data integration to develop program understanding tools for embedded software in C 査読

K Gondow, T Suzuki, H Kawashima

11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS   336 - 345   2004年

OAG*: Improved Ordered Attribute Grammars for Less Type 3 Circularities

Shin Natori, Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama

IEICE Transactions on Information and Systems   Vol. E86-D ( No. 4 )   2003年4月

コンパクトなANSI CインタプリタXCIの設計と実装 査読

権藤克彦, 川島勇人

電子情報通信学会論文誌   Vol. J86-D-I ( No. 3 )   159 - 168   2003年3月

A case study for XML semantics checker model 査読

Y Kotb, K Gondow, T Katayama

2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS   4834 - 4839   2003年

A practical example of XML semantics 査読

Y Kotb, K Gondow, T Katayama

PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PDCAT'2003, PROCEEDINGS   146 - 150   2003年

Experience with ANSI C Markup Language for a Cross-Referencer 査読

Hayato Kawashima, Katsuhiko Gondow

Proc. Domain-Specific Language Minitrack, 36th Hawaii Int. Conf. on System Sciences (HICSS-36)   18 pages   2003年

Class Refinement for Software Evolution 査読

Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama

6th Int. Workshop on Principles of Software Evolution (IWPSE6), IEEE Computer Society Press   51 - 56   2003年

An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation 査読

Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama

10th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer;Society Press   362 - 370   2003年

A case study for XML semantics Checker Model 査読

Y. Kotb, K. Gondow, T. Katayama

In the IEEE Int. Conf. on Systems, Man and Cybernetics (SMC 03)   paper index: WD10   2003年

OAG*: Improved ordered attribute grammars for less type 3 circularities 査読

Shin Natori, Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama

IEICE Transactions on Information and Systems   E86-D ( 4 )   673 - 685   2003年

A case study of XML semantics checker model 査読

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics   5   4834 - 4839   2003年

XMLを用いたANSI CのためのCASEツールプラットフォーム 査読

川島勇人, 権藤克彦

コンピュータソフトウェア   19 ( 6 )   21 - 34   2002年

Support for Joining in Open Source Software Development Projects Using Public Data 査読

Mitsunori Fujita, Kazuhiro Fujieda, Katsuhiko Gondow

Proc. Int. Sympo. on Future Software Technology (ISFST2002)   S1A-3, 6 pages   2002年

Checking Consistency of XML Semantics Using Attribute Grammars 査読

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Int. Conf. on East-Asian Language Processing and Internet Information Technology (EALPIIT2002)   29 - 38   2002年

The SLXS Specification Language for Describing Consistency of XML Documents 査読

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

4th Int. Workshop on Information & Computer Science (WICS2002)   289 - 304   2002年

Evolutionary Prototyping Technique Using Abstract Interpretation in Java 査読

Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama

Proc. Int. Sympo. on Future Software Technology (ISFST2002)   S5A-1, 6 pages   2002年

Towards ANSI C Program Slicing using XML 査読

Katsuhiko Gondow, Hayato Kawashima

Int. Workshop on;Language Descriptions, Tools;Applications (LDTA'02). Electronic Notes in Theoretical Computer Science (ENTCS), vol.65(3)   20 pages   2002年

Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker 査読

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

3rd Int. Conf. on Internet Computing 2002 (IC'2002)   653 - 659   2002年

The XML Semantics Checker Model 査読

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

3rd Int. Conf. on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02)   430 - 438   2002年

Deriving Knowledge Base Assertions from XML Documents 査読

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Proc. Int. Sympo. on Knowledge Creation in Economics, Environmental and Societal Systems   87 - 93   2002年

An incremental evaluation approach to check the consistency of XML documents 査読

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics   6   546 - 551   2002年

Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus - 査読

Katsuhiko Gondow, Takuya Katayama

Informatica: An International Journal of Computing and Informatics   Vol. 24 ( No. 1 )   287 - 299   2000年9月

Javaによるプログラミング入門

権藤克彦

2000年7月

Using Object-Oriented Attribute Grammars as ODB System Generator 査読

Takeshi Hagiwara, Katsuhiko Gondow, Takashi Imaizumi, Takuya Katayama

3rd Int. Workshop on Attribute Grammars and their Applications (WAGA'00)   141 - 160   2000年

On Eliminating Type 3 Circularities of Ordered Attribute Grammars 査読

Shin Natori, Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama

2nd Int. Workshop on Attribute Grammars and their Applications (WAGA'99)   93 - 112   1999年

SMAF: A Framework for Future Embedded Systems 査読

Takuro Kitayama, Tatsuo Nakajima, Takuo Watanabe, Katsuhiko Gondow, Ichiro Satoh, Hideyuki Tokuda

Proc. IEEE Workshop on Networked Appliances   S2-1, 4 pages   1998年

A Tool for Constructing Software Objectbases from Language Structures 査読

Takeshi Hagiwara, Katsuhiko Gondow, Takashi Imaizumi, Takuya Katayama

Int. Conf. Information Systems and Technologies for Network Society   71 - 78   1997年

オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用 査読

権藤克彦, 今泉貴史, 萩原威志, 片山卓也

電子情報通信学会論文誌   J78-D1 ( 5 )   478 - 491   1995年5月

構造指向システムのための実行可能な仕様記述言語 査読

今泉貴史, 権藤克彦, 萩原威志, 松塚貴英, 片山卓也

情報処理学会論文誌   Vol. 36 ( No. 5 )   1126 - 1137   1995年5月

オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化 査読

権藤克彦, 片山卓也

コンピュータソフトウェア   12 ( 3 )   28 - 48   1995年

Change management and consistency maintenance in software development environments using object oriented attribute grammars 査読

Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama

1st JSSST Int. Sympo., Object Technologies for Advanced Software, Lecture Notes in Computer Science No. 742   77 - 94   1993年

構造的オブジェクト指向計算モデルとその実行方式の研究

権藤克彦

博士論文, 東京工業大学, 情報工学専攻   1994年

Toward Mining Concept Keywords from Identifiers in Large Software Projects

Int. Workshop on Mining Software Repositories (MSR2005)  2005年 

Maintaining Traceability Links between Implementation-level

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

Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding

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

Static Call Graph Generator for C++ using Debugging Information

14th Asia-Pacific Software Engineering Conference (APSEC)  2007年 

Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding

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

TBCppA: a Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors

8th IEEE Int. Working Conf. on Source Code Analysis and Manipulation (SCAM2008)  2008年 

Cache-based Bounds Checking for Multi-threaded C Programs

21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)  2009年 

TCBC: Trap Caching Bounds Checking for C

8th IEEE Int. Conf. on Dependable, Autonomic and Secure Computing (DASC-09)  2009年 

Cache-based Bounds Checking for Multi-threaded C Programs

21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)  2009年 

TCBC: Trap Caching Bounds Checking for C

8th IEEE Int. Conf. on Dependable, Autonomic and Secure Computing (DASC-09)  2009年 

MieruCompiler: Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers

41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)  2010年 

MieruCompiler: Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers

41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)  2010年 

An Incremental Evaluation Approach to Check the Consistency of XML Documents

IEEE Int. Conf. on Systems, Man and Cybernetics  2002年 

構文木に基づく細粒度ソフトウェアコンフィグレーションマネージメントでの影響解析

レクチャーノート/ソフトウェア工学19 ソフトウェア工学の基礎IV, 日本ソフトウェア科学会  1997年 

A Practical Example of XML Semantics

Int. Conf. on Parallel and Distributed Computing Applications and Technologies (PDCAT'03)  2003年 

A case study for XML semantics Checker Model

IEEE Int. Conf. On Systems, Man and Cybernetics (SMC 03)  2003年 

Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C

11th Asia-Pacific Software Engineering Conference (APSEC)  2004年 

Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C

11th Asia-Pacific Software Engineering Conference (APSEC)  2004年 

Toward Mining Concept Keywords from Identifiers in Large Software Projects

Int. Workshop on Mining Software Repositories (MSR2005)  2005年 

The SLXS Specification Language for Describing Consistency of XML Documents

4th Int. Workshop on Information Computer Science (WICS2002), IEEE Computer Society  2002年 

The SLXS Specification Language for Describing Consistency of XML Documents

4th Int. Workshop on Information Computer Science (WICS2002), IEEE Computer Society  2002年 

An Incremental Evaluation Approach to Check the Consistency of XML Documents

IEEE Int. Conf. on Systems, Man and Cybernetics  2002年 

A Practical Example of XML Semantics

Int. Conf. on Parallel and Distributed Computing Applications and Technologies (PDCAT'03)  2003年 

A case study for XML semantics Checker Model

IEEE Int. Conf. On Systems, Man and Cybernetics (SMC 03)  2003年