"権藤 克彦,新山 祐介,荒堀 喜貴","UCDetector:ユーザ空間で実装した Swift 言語用の 循環参照検知器",,"コンピュータソフトウェア",,"Vol. 39","No. 4","pp. 97-128",2022,Nov.
"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",2021,Sept.
"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",2021,Mar.
"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",2021,Mar.
"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",2019,Nov.
"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",2019,Apr.
"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",2019,Mar.
"Y. Shinyama,Y. Arahori,K. Gondow","Analyzing Code Comments to Boost Program Comprehension","25th Asia-Pacific Software Engineering Conf. (APSEC 2018)",,,,,"pp. 325-334",2018,Dec.
"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",2018,Sept.
"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",2018,Sept.
"K. Gondow,Y. Arahori","Why Do We Need the C language in Programming Courses?","13th Int. Conf. Software Technologies (ICSOFT 2018)",,,,,"pp. 549-556",2018,July
"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)",,,,,,2018,July
"T. Ogitani,Y. Arahori,Y. Shinyama,K. Gondow","Space Saving Text Input Method for Head Mounted Display with Virtual 12-key Keyboard","32nd IEEE Int. Conf. on Advanced Information Networking and Applications (AINA-2018)",,,,,,2018,May
"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",2018,Mar.
"小林隆志,権藤克彦,佐伯元司,首藤一幸,西崎真也,森本千佳子,脇田建,渡部卓雄 (50音順)","東京工業大学における実践的 IT 人材育成の試み - IT システムの価値探索とチームビルディング","第 4 回実践的 IT 教育シンポジウム (rePiT2018)","第 4 回実践的 IT 教育シンポジウム (rePiT2018) 予稿集",,,,"pp. 40-48",2018,Jan.
"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",2018,Jan.
"権藤克彦,内田公太,小島吉貴,荒堀喜貴","初心者にやさしいコンパイラ警告メッセージを目指して",,"情報処理学会誌",,"vol. 58","no. 11","pp. 1022-1023",2017,Oct.
"小林隆志,権藤克彦,佐伯元司,首藤一幸,西崎真也,森本千佳子,脇田建,渡部卓雄","東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning","日本ソフトウェア科学会 第34回大会","日本ソフトウェア科学会 第34回大会 論文集",,,,"  4 pages",2017,Sept.
"佐々木俊亮,荒堀喜貴,権藤克彦","静的コード解析に基づくプルリクエスト品質即時計測","日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ",,,,,,2016,Dec.
"大村裕,荒堀喜貴,権藤克彦,渡部卓雄","Code Oriented Diagram Editorを用いた並行バグの可視化","日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)",,,,,,2016,Dec.
"長田晃太朗,荒堀喜貴,権藤克彦","動的バイナリ計装に基づく正確なヒープ検査","日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ",,,,,,2016,Dec.
"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",2016,July
"K. Uchida,K. Gondow:","C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers",,,,,,,2016,Apr.
"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)",,,,,,2015,May
"森川知哉,荒堀喜貴,権藤克彦","整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価",,"コンピュータソフトウェア（レター論文）",,"Vol. 31","No. 1",,2014,Jan.
"小林隆志,権藤克彦,佐伯元司,首藤一幸,田中康,西崎真也,森本千佳子,米崎直樹,渡部卓雄","Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み","日本ソフトウェア科学会第30回大会",,,,,,2013,Sept.
"深谷敏邦,権藤克彦","GPUを利用したポインタ解析の実装と評価",,"コンピュータソフトウェア（レター論文）",,"Vol. 29","No. 3","pp. 70-76",2012,Aug.
"権藤克彦,福安 直樹,荒堀喜貴","ネイティブアセンブリコードを出力する教育用コンパイラ（XCC）と，水平スライスが可能な可視化ツール（MieruCompiler）",,"電子情報通信学会論文誌","一般社団法人電子情報通信学会","Vol. J95-D","No. 5","pp. 1225-1241",2012,May
"荒堀喜貴,権藤克彦,前島英雄","競合回避機構を備えた高互換かつ高精度な境界検査手法",,"情報処理学会論文誌",,"Vol. 53","No. 3","pp. 1150-1165",2012,Mar.
"鮎川力也,権藤克彦,荒堀 喜貴","誤解放を防ぐための新しい型修飾子 strict_lifetime",,"電子情報通信学会論文誌",,"Vol. J95-D","No. 2",,2012,Feb.
"鷲崎弘宜,坂本一憲,大杉直樹,権藤克彦,服部哲,久保淳人,小林隆志,大月美佳,丸山勝久,榊原彰","デザインパターンへの工学的取り組み",,"コンピュータソフトウェア",,"Vol. 29","No. 1",,2012,Feb.
"荒堀喜貴,権藤克彦,前島英雄","広範な実用Ｃプログラムに適用可能かつ高精度な動的境界検査ツール",,"電子情報通信学会論文誌",,"vol. J93-D","no. 10","pp. 1851-1865",2010,Oct.
"荒堀喜貴,権藤克彦,前島英雄","Cプログラムの割り込み競合の動的検出法",,"情報処理学会論文誌",,"vol. 51","no. 9","pp. 1816-1831",2010,Sept.
"権藤克彦,冨永和人","事例研究：ツール「簡単#include検査君」とその経験",,"コンピュータソフトウェア",,"vol. 27","no. 2","pp. 93-99",2010,May
"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",2010,Mar.
"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",2009,Dec.
"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",2009,Sept.
"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)",,,,,2008,Dec.
"吉瀬謙二,佐藤真平,森谷章,藤枝直輝,若杉祐太,渡邉伸平,植原昂,森洋介,高前田伸也,高橋朝英,棟岡朋也,山田裕介,権藤克彦,小林良太郎,三好健文,中條拓伯","MieruPCプロジェクト：中身が見える計算機システムを構築する研究・教育プロジェクト","コンピュータシステム・シンポジウム（ComSys2008）",,,,,,2008,Nov.
"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",2008,Sept.
"田原貴光,権藤克彦","DRACULA：シグナルによるデータ競合の検出ツール",,"電子情報通信学会論文誌",,"vol. J91-D","no. 2","pp. 449-458",2008,Feb.
"権藤克彦,川島勇人,今泉貴史","TBCppA: 追跡子を用いたC前処理系解析器",,"コンピュータソフトウェア",,"vol. 25","no. 1","pp. 105-123",2008,Feb.
"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",2007,Dec.
"冨永和人,権藤克彦","例解UNIXプログラミング教室",,,"ピアソンエデュケーション",,,"  472ページ",2007,Sept.
"大場勝,権藤克彦:","プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案",,"情報処理学会論文誌",,"Vol. 48","No. 8","pp. 2596-2607",2007,Aug.
"大場勝,権藤克彦","プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法",,"電子情報通信学会論文誌",,"Vol. J90-D","No. 6","pp. 1445-1461",2007,June
"権藤克彦,大場勝","中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装",,"電子情報通信学会論文誌",,"Vol. J90-D","No. 5","pp. 1194-1208",2007,May
"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",2006,Nov.
"権藤克彦,鈴木朝也,川島勇人","C言語用CASEツールへのDWARF2デバッグ情報の応用",,"コンピュータソフトウェア",,"Vol. 23","No. 2","pp. 175-198",2006,May
"権藤克彦,小林隆志","ソフトウェア工学の基礎 XII",,,"近代科学社","Vol. レクチャーノート/ソフトウェア学","No. 31",,2005,Nov.
"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",2005,May
"鷲崎弘宜,大杉直樹,権藤克彦,服部哲,久保淳人,下滝亜里,小林隆志,藤枝和宏,大月美佳,丸山勝久,榊原彰","ソフトウェアパターン研究の発展経緯と最近の動向",,"情報処理学会 情処研報(ソフトウェア工学)",,"Vol. 2005","No. 29","pp. 127-134",2005,Mar.
"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",2004,Nov.
"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",2004,May
"川島勇人,権藤克彦","ACMLに基づくプログラム情報抽出システムの設計",,"コンピュータソフトウェア",,"Vol. 21","No. 5","pp. 65-70",2004,Apr.
"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",2003,Dec.
"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",2003,Oct.
"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",2003,Sept.
"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",2003,Aug.
"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",2003,Apr.
"権藤克彦,川島勇人","コンパクトなANSI CインタプリタXCIの設計と実装",,"電子情報通信学会論文誌",,"Vol. J86-D-I","No. 3","pp. 159-168",2003,Mar.
"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",2003,Jan.
"川島勇人,権藤克彦","XMLを用いたANSI CのためのCASEツールプラットフォーム",,"コンピュータソフトウェア",,"Vol. 19","No. 6","pp. 21-34",2002,Nov.
"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)",2002,Oct.
"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",2002,Oct.
"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",2002,Oct.
"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",2002,Sept.
"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",2002,Sept.
"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",2002,June
"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",2002,Apr.
"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",2002,Mar.
"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",2002,Jan.
"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",2000,Sept.
"権藤克彦","Javaによるプログラミング入門",,,"サイエンス社",,,"  224ページ",2000,July
"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",2000,July
"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",1999,Mar.
"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",1998,Nov.
"Katsuhiko Gondow,Takuya Katayam","A Formal Semantics of Object Oriented Attribute Grammars",,"Int. Sympo. on Biologically Inspired Computation (IMSA'97)",,,,"pp. 32-40",1998,Oct.
"小林隆志,権藤克彦","構文木に基づく細粒度ソフトウェアコンフィグレーションマネージメントでの影響解析",,"レクチャーノート/ソフトウェア工学19  ソフトウェア工学の基礎IV, 日本ソフトウェア科学会",,,,"pp. 119-126",1997,Nov.
"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",1997,Sept.
"権藤克彦,片山卓也","オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化",,"コンピュータソフトウェア",,"Vol. 12","No. 3","pp. 28-48",1995,May
"権藤克彦,今泉貴史,萩原威志,片山卓也","オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用",,"電子情報通信学会論文誌",,"Vol. J78-D-I","No. 5","pp. 478-491",1995,May
"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",1993,Nov.