|
Publication List - Katsuhiko Gondow (83 entries)
Journal Paper
-
Katsuhiko Gondow,
Yusuke Shinyama Shinyama,
Yoshitaka Arahori.
UCDetector:ユーザ空間で実装した Swift 言語用の 循環参照検知器,
コンピュータソフトウェア,
Vol. 39,
No. 4,
pp. 97-128,
Nov. 2022.
-
S. Hoshino,
Y. Arahori,
K. Gondow.
Postmortem accurate IR-level state recovery for deployed concurrent programs,
ACM SIGAPP Applied Computing Review,
Vol. 21,
Issue. 3,
pp. 33-48,
Sept. 2021.
-
M. Kim,
K. Lee,
K. Gondow,
J. Imura.
Robust Index Code to distribute digital images and digital contents together,
IEICE Transactions on Information and Systems,
vol. E101.D,
no. 9,
pp. 2179-2189,
Sept. 2018.
-
Tomoya Morikawa,
Yoshitaka Arahori,
Katsuhiko Gondow.
整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価,
コンピュータソフトウェア(レター論文),
Vol. 31,
No. 1,
Jan. 2014.
-
Toshikuni Fukaya,
Katsuhiko Gondow.
GPUを利用したポインタ解析の実装と評価,
コンピュータソフトウェア(レター論文),
Vol. 29,
No. 3,
pp. 70-76,
Aug. 2012.
-
Katsuhiko Gondow,
Naoki Fukuyasu,
Yoshitaka Arahori.
ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と,水平スライスが可能な可視化ツール(MieruCompiler),
電子情報通信学会論文誌,
一般社団法人電子情報通信学会,
Vol. J95-D,
No. 5,
pp. 1225-1241,
May 2012.
-
Yoshitaka Arahori,
Katsuhiko Gondow,
Hideo Maejima.
競合回避機構を備えた高互換かつ高精度な境界検査手法,
情報処理学会論文誌,
Vol. 53,
No. 3,
pp. 1150-1165,
Mar. 2012.
-
Rikiya Ayukawa,
Katsuhiko Gondow,
Yoshitaka Arahori.
誤解放を防ぐための新しい型修飾子 strict_lifetime,
電子情報通信学会論文誌,
Vol. J95-D,
No. 2,
Feb. 2012.
-
鷲崎弘宜,
坂本一憲,
大杉直樹,
Katsuhiko Gondow,
Satoshi Hattori,
久保淳人,
Takashi Kobayashi,
大月美佳,
丸山勝久,
榊原彰.
デザインパターンへの工学的取り組み,
コンピュータソフトウェア,
Vol. 29,
No. 1,
Feb. 2012.
-
Yoshitaka Arahori,
Katsuhiko Gondow,
Hideo Maejima.
広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール,
電子情報通信学会論文誌,
vol. J93-D,
no. 10,
pp. 1851-1865,
Oct. 2010.
-
Yoshitaka Arahori,
Katsuhiko Gondow,
Hideo Maejima.
Cプログラムの割り込み競合の動的検出法,
情報処理学会論文誌,
vol. 51,
no. 9,
pp. 1816-1831,
Sept. 2010.
-
Katsuhiko Gondow,
Kazuto Tominaga.
事例研究:ツール「簡単#include検査君」とその経験,
コンピュータソフトウェア,
vol. 27,
no. 2,
pp. 93-99,
May 2010.
-
Takamitsu TAHARA,
Katsuhiko Gondow.
DRACULA:シグナルによるデータ競合の検出ツール,
電子情報通信学会論文誌,
vol. J91-D,
no. 2,
pp. 449-458,
Feb. 2008.
-
Katsuhiko Gondow,
川島勇人,
Takashi IMAIZUMI.
TBCppA: 追跡子を用いたC前処理系解析器,
コンピュータソフトウェア,
vol. 25,
no. 1,
pp. 105-123,
Feb. 2008.
-
Masaru Ohba,
Katsuhiko Gondow.
プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案,
情報処理学会論文誌,
Vol. 48,
No. 8,
pp. 2596-2607,
Aug. 2007.
-
Masaru Ohba,
Katsuhiko Gondow.
プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法,
電子情報通信学会論文誌,
Vol. J90-D,
No. 6,
pp. 1445-1461,
June 2007.
-
Katsuhiko Gondow,
Masaru Ohba.
中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装,
電子情報通信学会論文誌,
Vol. J90-D,
No. 5,
pp. 1194-1208,
May 2007.
-
Katsuhiko Gondou,
鈴木朝也,
川島勇人.
C言語用CASEツールへのDWARF2デバッグ情報の応用,
コンピュータソフトウェア,
Vol. 23,
No. 2,
pp. 175-198,
May 2006.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama.
Optimizing the Execution Time for Checking the Consistency of XML Documents,
Journal of Intelligent Information System (JIIS),
Kluwer Academic Publishers,
Vol. 22,
No. 3,
pp. 257-279,
May 2004.
-
川島勇人,
Katsuhiko Gondou.
ACMLに基づくプログラム情報抽出システムの設計,
コンピュータソフトウェア,
Vol. 21,
No. 5,
pp. 65-70,
Apr. 2004.
-
Shin Natori,
Katsuhiko Gondow,
Takashi Imaizumi,
Takeshi Hagiwara,
Takuya Katayama.
OAG*: Improved Ordered Attribute Grammars for Less Type 3 Circularities,
IEICE Transactions on Information and Systems,
Vol. E86-D,
No. 4,
pp. 673-685,
Apr. 2003.
-
Katsuhiko Gondou,
川島勇人.
コンパクトなANSI CインタプリタXCIの設計と実装,
電子情報通信学会論文誌,
Vol. J86-D-I,
No. 3,
pp. 159-168,
Mar. 2003.
-
川島勇人,
Katsuhiko Gondow.
XMLを用いたANSI CのためのCASEツールプラットフォーム,
コンピュータソフトウェア,
Vol. 19,
No. 6,
pp. 21-34,
Nov. 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: An International Journal of Computing and Informatics,
Vol. 24,
No. 1,
pp. 287-299,
Sept. 2000.
-
Katsuhiko Gondou,
片山卓也.
オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化,
コンピュータソフトウェア,
Vol. 12,
No. 3,
pp. 28-48,
May 1995.
-
Katsuhiko Gondou,
今泉貴史,
萩原威志,
片山卓也.
オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用,
電子情報通信学会論文誌,
Vol. J78-D-I,
No. 5,
pp. 478-491,
May 1995.
Book
-
冨永和人,
Katsuhiko Gondow.
例解UNIXプログラミング教室,
ピアソンエデュケーション,
472ページ,
Sept. 2007.
Official location Official location
-
Katsuhiko Gondow,
Takashi Kobayashi.
ソフトウェア工学の基礎 XII,
近代科学社,
Vol. レクチャーノート/ソフトウェア学,
No. 31,
Nov. 2005.
-
Katsuhiko Gondow.
Javaによるプログラミング入門,
サイエンス社,
224ページ,
July 2000.
Official location
International Conference (Reviewed)
-
S. Hoshino,
Y. Arahori,
K. Gondow.
STRAB: state recovery using reverse execution at IR level for concurrent programs,
SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing,
pp. 1532–1541,
Mar. 2021.
-
E. Tominaga,
Y. Arahori,
K. Gondow..
DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code,
SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing,
pp. 1768–1777,
Mar. 2021.
-
M. Kim,
K. Lee,
K. Gondow.
Implementation of Image SuperDistribution System,
ICEBI 2019: Proc. 3rd Int. Conf. on E-Business and Internet,
pp. 45–52,
Nov. 2019.
-
E. Tominaga,
Y. Arahori,
K. Gondow.
AwaitViz: a Visualizer of JavaScript's Async/Await Execution Order,
SAC'19: Proc. 34th ACM/SIGAPP Sympo. on Applied Computing,
pp. 2515–-2524,
Apr. 2019.
-
Y. Jitsunari,
Y. Arahori,
K. Gondow.
Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing,
Int. Conf. on Advanced Information Networking and Applications (AINA 2019),
pp. 470-484,
Mar. 2019.
-
Y. Shinyama,
Y. Arahori,
K. Gondow.
Analyzing Code Comments to Boost Program Comprehension,
25th Asia-Pacific Software Engineering Conf. (APSEC 2018),
pp. 325-334,
Dec. 2018.
-
Y. Sakurai,
Y. Arahori,
K. Gondow.
POI: Skew-Aware Parallel Race Detection,
2018 IEEE 18th Int. Working Conf. on Source Code Analysis and Manipulation (SCAM 2018),
pp. 215-224,
Sept. 2018.
-
K. Gondow,
Y. Arahori.
Why Do We Need the C language in Programming Courses?,
13th Int. Conf. Software Technologies (ICSOFT 2018),
pp. 549-556,
July 2018.
-
K. Gondow,
Y. Arahori,
K. Yamamoto,
M. Fukuyori,
R. Umekawa.
TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste,
13th Int. Conf. Software Technologies (ICSOFT 2018),
July 2018.
-
Y. Shinyama,
Y. Arahori,
K. Gondow:.
CodeCAM: capturing programmer's reaction during coding session,
2018 IEEE Workshop on Mining and Analyzing Interaction Histories (MAINT),
pp. 1-5,
Mar. 2018.
-
M. Kim,
K. Lee,
K. Gondow.
Distribute digital contents within digital images on the mobile,
9th Int. Conf. on E-Education, E-Business,. E-Management and E-Learning (IC4E 2018),
pp. 35-39,
Jan. 2018.
-
M. Kim,
Kunwoo Lee,
K. Gondow,
Jun-ichi Imura.
Robust Index Code with Digital Images on the Internet,
13th Int. Conf. Signal Processing and Multimedia Applications (SIGMAP2016),
pp. 28-37,
July 2016.
-
K. Uchida,
K. Gondow:.
C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers,
Apr. 2016.
-
Y. Kojima,
Y. Arahori,
K. Gondow.
Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers,
7th Int. Conf. on Computer Supported Education (CSEDU 2015),
May 2015.
-
Katsuhiko Gondow,
Naoki Fukuyasu,
Yoshitaka Arahori.
MieruCompiler: Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers,
41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010),
41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010),
pp. 7-11,
Mar. 2010.
-
Yoshitaka Arahori,
Katsuhiko Gondow,
Hideo Maejima.
TCBC: Trap Caching Bounds Checking for C,
8th IEEE Int. Conf. on Dependable, Autonomic and Secure Computing (DASC-09),
8th IEEE Int. Conf. on Dependable, Autonomic and Secure Computing (DASC-09),
pp. 49-56,
Dec. 2009.
-
Yoshitaka Arahori,
Katsuhiko Gondow,
Hideo Maejima.
Cache-based Bounds Checking for Multi-threaded C Programs,
21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009),
21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009),
CD-ROM No. 668-019, pp. 1-8,
Sept. 2009.
-
T. Tahara,
K. Gondow,
S. Ohsuga.
DRACULA: Detector of Data Races in Signals Handlers,
15th Asia-Pacific Software Engineering Conference (APSEC2008),
15th Asia-Pacific Software Engineering Conference (APSEC2008),
Dec. 2008.
-
K. Gondow,
H. Kawashima,
T. Imaizumi.
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),
8th IEEE Int. Working Conf. on Source Code Analysis and Manipulation (SCAM2008),
pp. 35-44,
Sept. 2008.
-
Yui Terashima,
Katsuhiko Gondow.
Static Call Graph Generator for C++ using Debugging Information,
14th Asia-Pacific Software Engineering Conference (APSEC),
14th Asia-Pacific Software Engineering Conference (APSEC),
IEEE Computer Society Press,
pp. 127-134,
Dec. 2007.
-
Masaru Ohba,
Katsuhiko Gondow.
Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding,
10th IASTED Int. Conf. Software Engineering and Applications (SEA 2006),
10th IASTED Int. Conf. Software Engineering and Applications (SEA 2006),
pp. No.514-146,
Nov. 2006.
-
Masaru Ohba,
Katsuhiko Gondow:.
Toward Mining "Concept Keywords" from Identifiers in Large Software Projects,
Int. Workshop on Mining Software Repositories (MSR2005),
Int. Workshop on Mining Software Repositories (MSR2005),
pp. 48-52,
May 2005.
-
Katsuhiko Gondow,
Tomoya Suzuki,
Hayato Kawashima:.
Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C,
11th Asia-Pacific Software Engineering Conference (APSEC),
11th Asia-Pacific Software Engineering Conference (APSEC),
pp. 336-345,
Nov. 2004.
-
Hiroyuki Ozaki,
Shingo Ban,
Katsuhiko Gondow,
Takuya Katayama.
An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation,
10th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society Press,
pp. 362-370,
Dec. 2003.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama:.
A case study for XML semantics Checker Model,
IEEE Int. Conf. On Systems, Man and Cybernetics (SMC 03),
IEEE Int. Conf. On Systems, Man and Cybernetics (SMC 03),
pp. WD10,
Oct. 2003.
-
Hiroyuki Ozaki,
Katsuhiko Gondow,
Takuya Katayama.
Class Refinement for Software Evolution,
6th Int. Workshop on Principles of Software Evolution (IWPSE6), IEEE Computer Society Press,
pp. 51-56,
Sept. 2003.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama:.
A Practical Example of XML Semantics,
Int. Conf. on Parallel and Distributed Computing Applications and Technologies (PDCAT'03),
Int. Conf. on Parallel and Distributed Computing Applications and Technologies (PDCAT'03),
pp. 146-150,
Aug. 2003.
-
Hayato Kawashima,
Katsuhiko Gondow.
Experience with ANSI C Markup Language for a Cross-Referencer,
Proc. Domain-Specific Language Minitrack, 36th Hawaii Int. Conf. on System Sciences (HICSS-36),
pp. 18 pages,
Jan. 2003.
-
Hiroyuki Ozaki,
Katsuhiko Gondow,
Takuya Katayama.
Evolutionary Prototyping Technique Using Abstract Interpretation in Java,
Proc. Int. Sympo. on Future Software Technology (ISFST2002),
pp. S5A-1 (6 pages),
Oct. 2002.
-
Mitsunori Fujita,
Kazuhiro Fujieda,
Katsuhiko Gondow,
Koichiro Ochimizu.
Support for Joining in Open Source Software Development Projects Using Public Data,
Proc. Int. Sympo. on Future Software Technology (ISFST2002),
pp. S1A-3, 6 pages,
Oct. 2002.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama:.
An Incremental Evaluation Approach to Check the Consistency of XML Documents,
IEEE Int. Conf. on Systems, Man and Cybernetics,
IEEE Int. Conf. on Systems, Man and Cybernetics,
pp. vol.6, WA2Q1,
Oct. 2002.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama.
Deriving Knowledge Base Assertions from XML Documents,
Proc. Int. Sympo. on Knowledge Creation in Economics, Environmental and Societal Systems,
pp. 87-93,
Sept. 2002.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama.
The XML Semantics Checker Model,
3rd Int. Conf. on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02),
pp. 430-438,
Sept. 2002.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama.
Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker,
3rd Int. Conf. on Internet Computing 2002 (IC'2002),
pp. 653-659,
June 2002.
-
Katsuhiko Gondow,
Hayato Kawashima.
Towards ANSI C Program Slicing using XML,
2nd Int. Workshop on Language Descriptions, Tools and Applications (LDTA02), Electronic Notes in Theoretical Computer Science (ENTCS),
Vol. 5,
No. 3,
pp. 20,
Apr. 2002.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama.
The SLXS Specification Language for Describing Consistency of XML Documents,
4th Int. Workshop on Information Computer Science (WICS2002), IEEE Computer Society,
pp. 289-304,
Mar. 2002.
-
Yasser Kotb,
Katsuhiko Gondow,
Takuya Katayama.
Checking Consistency of XML Semantics Using Attribute Grammars,
Int. Conf. on East-Asian Language Processing and Internet Information Technology (EALPIIT2002),
pp. 29-38,
Jan. 2002.
-
Takeshi Hagiwara,
Katsuhiko Gondow,
Takashi Imaizumi,
Takuya Katayama.
Using Object-Oriented Attribute Grammars as ODB System Generator,
3rd Int. Workshop on Attribute Grammars and their Applications (WAGA'00),
pp. 141-160,
July 2000.
-
Shin Natori,
Katsuhiko Gondow,
Takashi Imaizumi,
Takeshi Hagiwara,
Takuya Katayama.
On Eliminating Type 3 Circularities of Ordered Attribute Grammars,
2nd Int. Workshop on Attribute Grammars and their Applications (WAGA'99),
pp. 93-112,
Mar. 1999.
-
Takuro Kitayama,
Tatsuo Nakajima,
Ichiro Satoh,
Hideyuki Tokuda,
Takuo Watanabe,
Katsuhiko Gondow.
SMAF: A Framework for Future Embedded Systems,
IEEE International Workshop on Networked Appliances,
No. S2-1,
pp. 1-4,
Nov. 1998.
-
Katsuhiko Gondow,
Takuya Katayam.
A Formal Semantics of Object Oriented Attribute Grammars,
Int. Sympo. on Biologically Inspired Computation (IMSA'97),
pp. 32-40,
Oct. 1998.
-
Takeshi Hagiwara,
Katsuhiko Gondow,
Takashi Imaizumi,
Takuya Katayama.
A Tool for Constructing Software Objectbases from Language Structures,
Int. Conf. Information Systems and Technologies for Network Society,
pp. 71-78,
Sept. 1997.
-
Katsuhiko Gondow,
Takashi Imaizumi,
Yoichi Shinoda,
Takuya Katayama.
Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars,
1st JSSST Int. Sympo., Object Technologies for Advanced Software, Lecture Notes in Computer Science, No.742,
pp. 77-94,
Nov. 1993.
Domestic Conference (Reviewed)
-
Takashi Kobayashi,
Katsuhiko Gondow,
MOTOSHI SAEKI,
Kazuyuki Shudo,
Shin-ya Nishizaki,
Chikako Morimoto,
KEN WAKITA,
渡部卓雄 (50音順).
東京工業大学における実践的 IT 人材育成の試み - IT システムの価値探索とチームビルディング,
第 4 回実践的 IT 教育シンポジウム (rePiT2018),
第 4 回実践的 IT 教育シンポジウム (rePiT2018) 予稿集,
pp. 40-48,
Jan. 2018.
-
Takashi Kobayashi,
Katsuhiko Gondou.
構文木に基づく細粒度ソフトウェアコンフィグレーションマネージメントでの影響解析,
レクチャーノート/ソフトウェア工学19 ソフトウェア工学の基礎IV, 日本ソフトウェア科学会,
pp. 119-126,
Nov. 1997.
International Conference (Not reviewed / Unknown)
Domestic Conference (Not reviewed / Unknown)
-
Takashi Kobayashi,
Katsuhiko Gondow,
MOTOSHI SAEKI,
Kazuyuki Shudo,
Shin-ya Nishizaki,
Chikako Morimoto,
KEN WAKITA,
Takuo Watanabe.
東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning,
日本ソフトウェア科学会 第34回大会,
日本ソフトウェア科学会 第34回大会 論文集,
4 pages,
Sept. 2017.
-
Shunsuke Sasaki,
Yoshitaka Arahori,
Katsuhiko Gondow.
静的コード解析に基づくプルリクエスト品質即時計測,
日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ,
Dec. 2016.
-
Ohmura Yuu,
Yoshitaka Arahori,
Katsuhiko Gondow,
Takuo Watanabe.
Code Oriented Diagram Editorを用いた並行バグの可視化,
日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016),
Dec. 2016.
Official location
-
Kotaro Osada,
Yoshitaka Arahori,
Katsuhiko Gondow.
動的バイナリ計装に基づく正確なヒープ検査,
日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ,
Dec. 2016.
-
Takashi Kobayashi,
Katsuhiko Gondow,
MOTOSHI SAEKI,
Kazuyuki Shudo,
Yasushi Tanaka,
Shin-ya Nishizaki,
Chikako Morimoto,
NAOKI YONEZAKI,
Takuo Watanabe.
Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み,
日本ソフトウェア科学会第30回大会,
Sept. 2013.
-
Kenji Kise,
Shimpei Sato,
Akira Moriya,
Naoki Fujieda,
Yuta Wakasugi,
Shinpei Watanabe,
Koh Uehara,
Yousuke Mori,
Shinya Takamaeda,
高橋朝英,
棟岡朋也,
山田裕介,
Katsuhiko Gondow,
小林良太郎,
takefumi miyoshi,
中條拓伯.
MieruPCプロジェクト:中身が見える計算機システムを構築する研究・教育プロジェクト,
コンピュータシステム・シンポジウム(ComSys2008),
Nov. 2008.
-
鷲崎弘宜,
大杉直樹,
Katsuhiko Gondow,
服部哲,
久保淳人,
下滝亜里,
Takashi Kobayashi,
藤枝和宏,
大月美佳,
丸山勝久,
榊原彰.
ソフトウェアパターン研究の発展経緯と最近の動向,
情報処理学会 情処研報(ソフトウェア工学),
Vol. 2005,
No. 29,
pp. 127-134,
Mar. 2005.
Other Publication
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|