Katsuhiko Gondow

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