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

1997 - 1998

:

1994 - 1997

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

1994 - 1997

:

1994

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

1994

Postmortem accurate IR-level state recovery for deployed concurrent programs Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Yuma Jitsunari, Yoshitaka Arahori, Katsuhiko Gondow

Advances in Intelligent Systems and Computing   470 - 484   2019.3

Analyzing Code Comments to Boost Program Comprehension Reviewed

Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow

2018 25th Asia-Pacific Software Engineering Conference (APSEC)   325 - 334   2018.12

POI: Skew-Aware Parallel Race Detection Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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? Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Yoshitaka Kojima, Yoshitaka Arahori, Katsuhiko Gondow

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

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

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

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

Implementation and Evaluation for GPU Accelerating Points-to Analisys. Reviewed

Toshikuni Fukaya, Katsuhiko Gondow

29 ( 3 )   70 - 76   2012.7

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

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

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

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

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

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

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

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

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

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

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

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

A Precise Dynamic Bounds Checker Applicable to a Wide Range of Real C Programs Reviewed

vol. J93-D ( no. 10 )   1851 - 1865   2010.10

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

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

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

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

権藤克彦, 冨永和人

コンピュータソフトウェア（レター論文）   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 Reviewed

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 Reviewed

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 Reviewed

Y. Arahori, K. Gondow, H. Maejima

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

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

田原貴光, 権藤克彦

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

TBCppA: Tracer-Based C Preprocessor Analyzer Reviewed

GONDOW Katsuhiko, KAWASHIMA Hayato, IMAIZUMI Takashi

Computer Software   25 ( 1 )   105 - 123   2008

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

Katsuhiko Gondow, Hayato Kawashima, Takashi Imaizumi

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

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

大場勝, 権藤克彦

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

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

大場勝, 権藤克彦

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

Design and Implementation of Compact Educational Operating System udos by Practice of Middle-level Abstraction, Thin Middle Layers and Traceability Reviewed

Vol. J90-D ( No. 5 )   1194 - 1208   2007.5

Static Call Graph Generator for C++ using Debugging Information Reviewed

Y. Terashima, K. Gondow

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

On applying DWARF2 debugging information to CASE tools for C language Reviewed

Katsuhiko Gondow, Tomoya Suzuki, Hayato Kawashima

Computer Software   23 ( 2 )   175 - 198   2006

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

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 Reviewed

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 Reviewed

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Journal of Intelligent Information Systems   22 ( 3 )   257 - 279   2004.5

Designing Program Information Extraction System based on ACML Reviewed

Vol. 21 ( No. 5 )   65 - 70   2004.4

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

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

Design and Implementation of Compact ANSI C Interpreter XCI Reviewed

Vol. J86-D-I ( No. 3 )   159 - 168   2003.3

A case study for XML semantics checker model Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

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

XML-based CASE Tool Platform for ANSI C Programs Reviewed

19 ( 6 )   21 - 34   2002

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

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

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

The XML Semantics Checker Model Reviewed

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 Reviewed

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 Reviewed

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 - Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Takeshi Hagiwara, Katsuhiko Gondow, Takashi Imaizumi, Takuya Katayama

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

On Application of Object Oriented Attribute Grammars (OOAG) to Software Development Environments Reviewed

K Gondow, T Imaizumi, T Hagiwara, T Katayama

J78-D1 ( 5 )   478 - 491   1995.5

An Executable Specification Language for Structure Oriented Systems Reviewed

Vol. 36 ( No. 5 )   1126 - 1137   1995.5

On Formalization of Object Oriented Attribute Grammars OOAG and Higher Order Attribute Grammars Using Record Calculus Reviewed

12 ( 3 )   28 - 48   1995

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

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