Katsuhiko Gondow

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 21

Top Topics

Watermarking Technique

Novice Programmers

Top Venues

Publications

So Shizukuishi, Yoshitaka Arahori, Katsuhiko Gondow
Field-sensitive Data Flow Integrity. CoRR (2023)
Ryutaro Kodama, Yoshitaka Arahori, Katsuhiko Gondow
Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code. CoRR (2023)
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis. CoRR (2022)
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
How Do Programmers Express High-Level Concepts using Primitive Data Types? CoRR (2022)
Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow
STRAB: state recovery using reverse execution at IR level for concurrent programs. SAC (2021)
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis. APSEC (2021)
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
How Do Programmers Express High-Level Concepts using Primitive Data Types? APSEC (2021)
Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow
DiverJS: path exploration heuristic for difference analysis of event-driven code. SAC (2021)
Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow
AwaitViz: a visualizer of JavaScript's async/await execution order. SAC (2019)
Yuma Jitsunari, Yoshitaka Arahori, Katsuhiko Gondow
Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing. AINA (2019)
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
Analyzing Code Comments to Boost Program Comprehension. CoRR (2019)
Taihei Ogitani, Yoshitaka Arahori, Yusuke Shinyama, Katsuhiko Gondow
Space Saving Text Input Method for Head Mounted Display with Virtual 12-key Keyboard. AINA (2018)
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
CodeCAM: capturing programmer's reaction during coding session. MAINT@SANER (2018)
Minsu Kim, Kunwoo Lee, Katsuhiko Gondow, Jun-ichi Imura
Robust Index Code to Distribute Digital Images and Digital Contents Together. IEICE Trans. Inf. Syst. (9) (2018)
Minsu Kim, Kunwoo Lee, Katsuhiko Gondow
Distribute digital contents within digital images on the mobile. IC4E (2018)
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
Analyzing Code Comments to Boost Program Comprehension. APSEC (2018)
Katsuhiko Gondow, Yoshitaka Arahori
Why Do We Need the C language in Programming Courses? ICSOFT (2018)
Katsuhiko Gondow, Yoshitaka Arahori, Koji Yamamoto, Masahiro Fukuyori, Ryuichi Umekawa
TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste. ICSOFT (2018)
Yoshitaka Sakurai, Yoshitaka Arahori, Katsuhiko Gondow
[Research Paper] POI: Skew-Aware Parallel Race Detection. SCAM (2018)
Minsu Kim, Kunwoo Lee, Katsuhiko Gondow, Jun-ichi Imura
Robust Index Code with Digital Images on the Internet. SIGMAP (2016)
Kota Uchida, Katsuhiko Gondow
C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers. CSEDU (1) (2016)
Yoshitaka Kojima, Yoshitaka Arahori, Katsuhiko Gondow
Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers. CSEDU (2) (2015)
Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori
MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers. SIGCSE (2010)
Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima
TCBC: Trap Caching Bounds Checking for C. DASC (2009)
Katsuhiko Gondow, Hayato Kawashima, Takashi Imaizumi
TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors. SCAM (2008)
Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga
DRACULA: Detector of Data Races in Signals Handlers. APSEC (2008)
Yui Terashima, Katsuhiko Gondow
Static Call Graph Generator for C++ using Debugging Information. APSEC (2007)
Masaru Ohba, Katsuhiko Gondow
Toward mining "concept keywords" from identifiers in large software projects. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Masaru Ohba, Katsuhiko Gondow
Toward mining "concept keywords" from identifiers in large software projects. MSR (2005)
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
Optimizing the Execution Time for Checking the Consistency of XML Documents. J. Intell. Inf. Syst. 22 (3) (2004)
Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashima
Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C. APSEC (2004)
Hayato Kawashima, Katsuhiko Gondow
Experience with ANSI C Markup Language for a Cross-Referencer. HICSS (2003)
Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama
An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. APSEC (2003)
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
A case study for XML semantics checker model. SMC (2003)
Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama
Class Refinement for Software Evolution. IWPSE (2003)
Katsuhiko Gondow, Hayato Kawashima
Towards ANSI C Program Slicing using XML. Electron. Notes Theor. Comput. Sci. 65 (3) (2002)
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. International Conference on Internet Computing (2002)
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama
An incremental evaluation approach to check the consistency of XML documents. SMC (2002)
Katsuhiko Gondow, Takuya Katayama
Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus. Informatica (Slovenia) 24 (3) (2000)
Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama
Application of object-oriented attribute grammars (OOAG) to software development environments. Systems and Computers in Japan 27 (7) (1996)
Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama
Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars. ISOTAS (1993)