Katsuhiko Gondow

According to our database, Katsuhiko Gondow authored at least 37 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Field-sensitive Data Flow Integrity.

So Shizukuishi, Yoshitaka Arahori, Katsuhiko Gondow

CoRR, 2023

Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code.

Ryutaro Kodama, Yoshitaka Arahori, Katsuhiko Gondow

CoRR, 2023

2021

DiverJS: path exploration heuristic for difference analysis of event-driven code.

Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

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

Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

How Do Programmers Express High-Level Concepts using Primitive Data Types?

Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis.

Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2019

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, 2019

Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing.

Yuma Jitsunari, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the Advanced Information Networking and Applications, 2019

2018

Robust Index Code to Distribute Digital Images and Digital Contents Together.

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

IEICE Trans. Inf. Syst., 2018

CodeCAM: capturing programmer's reaction during coding session.

Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 2018 IEEE Workshop on Mining and Analyzing Interaction Histories, 2018

[Research Paper] POI: Skew-Aware Parallel Race Detection.

Yoshitaka Sakurai, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

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

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

Proceedings of the 13th International Conference on Software Technologies, 2018

Why Do We Need the C language in Programming Courses?

Katsuhiko Gondow, Yoshitaka Arahori

Proceedings of the 13th International Conference on Software Technologies, 2018

Distribute digital contents within digital images on the mobile.

Minsu Kim, Kunwoo Lee, Katsuhiko Gondow

Proceedings of the 9th International Conference on E-Education, 2018

Analyzing Code Comments to Boost Program Comprehension.

Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

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

Taihei Ogitani, Yoshitaka Arahori, Yusuke Shinyama, Katsuhiko Gondow

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

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 (ICETE 2016), 2016

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

Kota Uchida, Katsuhiko Gondow

Proceedings of the CSEDU 2016, 2016

2015

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

Yoshitaka Kojima, Yoshitaka Arahori, Katsuhiko Gondow

Proceedings of the CSEDU 2015, 2015

2010

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, 2010

2009

TCBC: Trap Caching Bounds Checking for C.

Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima

Proceedings of the Eighth IEEE International Conference on Dependable, 2009

2008

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

Katsuhiko Gondow, Hayato Kawashima, Takashi Imaizumi

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

DRACULA: Detector of Data Races in Signals Handlers.

Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

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

Yui Terashima, Katsuhiko Gondow

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2005

Toward mining "concept keywords" from identifiers in large software projects.

Masaru Ohba, Katsuhiko Gondow

ACM SIGSOFT Softw. Eng. Notes, 2005

2004

Optimizing the Execution Time for Checking the Consistency of XML Documents.

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

J. Intell. Inf. Syst., 2004

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

Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashima

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

A case study for XML semantics checker model.

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Proceedings of the IEEE International Conference on Systems, 2003

Class Refinement for Software Evolution.

Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama

Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Experience with ANSI C Markup Language for a Cross-Referencer.

Hayato Kawashima, Katsuhiko Gondow

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.

Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Towards ANSI C Program Slicing using XML.

Katsuhiko Gondow, Hayato Kawashima

Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 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: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker.

Yasser Kotb, Katsuhiko Gondow, Takuya Katayama

Proceedings of the International Conference on Internet Computing, 2002

2000

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

Katsuhiko Gondow, Takuya Katayama

Informatica (Slovenia), 2000

1996

Application of object-oriented attribute grammars (OOAG) to software development environments.

Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama

Syst. Comput. Jpn., 1996

1993

Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars.

Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama

Proceedings of the Object Technologies for Advanced Software, 1993