| 2021 | APSEC | Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis. | Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow |
| 2021 | APSEC | How Do Programmers Express High-Level Concepts using Primitive Data Types? | Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow |
| 2021 | SAC | STRAB: state recovery using reverse execution at IR level for concurrent programs. | Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow |
| 2021 | SAC | DiverJS: path exploration heuristic for difference analysis of event-driven code. | Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow |
| 2019 | AINA | Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing. | Yuma Jitsunari, Yoshitaka Arahori, Katsuhiko Gondow |
| 2019 | SAC | AwaitViz: a visualizer of JavaScript's async/await execution order. | Ena Tominaga, Yoshitaka Arahori, Katsuhiko Gondow |
| 2018 | AINA | Space Saving Text Input Method for Head Mounted Display with Virtual 12-key Keyboard. | Taihei Ogitani, Yoshitaka Arahori, Yusuke Shinyama, Katsuhiko Gondow |
| 2018 | APSEC | Analyzing Code Comments to Boost Program Comprehension. | Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow |
| 2018 | ICSoft | Why Do We Need the C language in Programming Courses? | Katsuhiko Gondow, Yoshitaka Arahori |
| 2018 | ICSoft | TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste. | Katsuhiko Gondow, Yoshitaka Arahori, Koji Yamamoto, Masahiro Fukuyori, Ryuichi Umekawa |
| 2018 | SCAM | [Research Paper] POI: Skew-Aware Parallel Race Detection. | Yoshitaka Sakurai, Yoshitaka Arahori, Katsuhiko Gondow |
| 2016 | CSEDU | C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers. | Kota Uchida, Katsuhiko Gondow |
| 2015 | CSEDU | Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers. | Yoshitaka Kojima, Yoshitaka Arahori, Katsuhiko Gondow |
| 2010 | SIGCSE | MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers. | Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori |
| 2009 | DASC | TCBC: Trap Caching Bounds Checking for C. | Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima |
| 2008 | APSEC | DRACULA: Detector of Data Races in Signals Handlers. | Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga |
| 2008 | SCAM | TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors. | Katsuhiko Gondow, Hayato Kawashima, Takashi Imaizumi |
| 2007 | APSEC | Static Call Graph Generator for C++ using Debugging Information. | Yui Terashima, Katsuhiko Gondow |
| 2005 | MSR | Toward mining "concept keywords" from identifiers in large software projects. | Masaru Ohba, Katsuhiko Gondow |
| 2004 | APSEC | Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C. | Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashima |
| 2003 | APSEC | An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. | Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama |
| 2003 | SMC | A case study for XML semantics checker model. | Yasser Kotb, Katsuhiko Gondow, Takuya Katayama |
| 2002 | SMC | An incremental evaluation approach to check the consistency of XML documents. | Yasser Kotb, Katsuhiko Gondow, Takuya Katayama |