UCDetector:ユーザ空間で実装した Swift 言語用の 循環参照検知器.
権藤 克彦, 新山 祐介, 荒堀 喜貴.
コンピュータソフトウェア. Vol. 39. No. 4. pp. 97-128.
論文. 査読あり. 国内.
Nov. 2022.

Postmortem accurate IR-level state recovery for deployed concurrent programs.
S. Hoshino, Y. Arahori, K. Gondow.
ACM SIGAPP Applied Computing Review. Vol. 21. Issue. 3. pp. 33-48.
論文. 査読あり. 海外.
Sept. 2021.

STRAB: state recovery using reverse execution at IR level for concurrent programs.
S. Hoshino, Y. Arahori, K. Gondow.
SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing.
pp. 1532–1541.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Mar. 2021.

DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code.
E. Tominaga, Y. Arahori, K. Gondow..
SAC '21: Proc. 36th Annual ACM Sympo. on Applied Computing.
pp. 1768–1777.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Mar. 2021.

Implementation of Image SuperDistribution System.
M. Kim, K. Lee, K. Gondow.
ICEBI 2019: Proc. 3rd Int. Conf. on E-Business and Internet.
pp. 45–52.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Nov. 2019.

AwaitViz: a Visualizer of JavaScript's Async/Await Execution Order.
E. Tominaga, Y. Arahori, K. Gondow.
SAC'19: Proc. 34th ACM/SIGAPP Sympo. on Applied Computing.
pp. 2515–-2524.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Apr. 2019.

Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing.
Y. Jitsunari, Y. Arahori, K. Gondow.
Int. Conf. on Advanced Information Networking and Applications (AINA 2019).
pp. 470-484.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Mar. 2019.

Analyzing Code Comments to Boost Program Comprehension.
Y. Shinyama, Y. Arahori, K. Gondow.
25th Asia-Pacific Software Engineering Conf. (APSEC 2018).
pp. 325-334.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Dec. 2018.

Robust Index Code to distribute digital images and digital contents together.
M. Kim, K. Lee, K. Gondow, J. Imura.
IEICE Transactions on Information and Systems. vol. E101.D. no. 9. pp. 2179-2189.
論文. 査読あり. 国内.
Sept. 2018.

POI: Skew-Aware Parallel Race Detection.
Y. Sakurai, Y. Arahori, K. Gondow.
2018 IEEE 18th Int. Working Conf. on Source Code Analysis and Manipulation (SCAM 2018).
pp. 215-224.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Sept. 2018.

Why Do We Need the C language in Programming Courses?.
K. Gondow, Y. Arahori.
13th Int. Conf. Software Technologies (ICSOFT 2018).
pp. 549-556.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
July 2018.

TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste.
K. Gondow, Y. Arahori, K. Yamamoto, M. Fukuyori, R. Umekawa.
13th Int. Conf. Software Technologies (ICSOFT 2018).
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
July 2018.

Space Saving Text Input Method for Head Mounted Display with Virtual 12-key Keyboard.
T. Ogitani, Y. Arahori, Y. Shinyama, K. Gondow.
32nd IEEE Int. Conf. on Advanced Information Networking and Applications (AINA-2018).
会議発表論文 - 一般講演（口頭発表）. 査読なし. 海外.
May 2018.

CodeCAM: capturing programmer's reaction during coding session.
Y. Shinyama, Y. Arahori, K. Gondow:.
2018 IEEE Workshop on Mining and Analyzing Interaction Histories (MAINT).
pp. 1-5.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Mar. 2018.

東京工業大学における実践的 IT 人材育成の試み - IT システムの価値探索とチームビルディング.
小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 西崎真也, 森本千佳子, 脇田建, 渡部卓雄 (50音順).
第 4 回実践的 IT 教育シンポジウム (rePiT2018).
第 4 回実践的 IT 教育シンポジウム (rePiT2018) 予稿集. pp. 40-48.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 国内.
Jan. 2018.

Distribute digital contents within digital images on the mobile.
M. Kim, K. Lee, K. Gondow.
9th Int. Conf. on E-Education, E-Business,. E-Management and E-Learning (IC4E 2018).
pp. 35-39.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Jan. 2018.

初心者にやさしいコンパイラ警告メッセージを目指して.
権藤克彦, 内田公太, 小島吉貴, 荒堀喜貴.
情報処理学会誌. vol. 58. no. 11. pp. 1022-1023.
解説・総説. 査読なし. 国内.
Oct. 2017.

東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning.
小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 西崎真也, 森本千佳子, 脇田建, 渡部卓雄.
日本ソフトウェア科学会 第34回大会.
日本ソフトウェア科学会 第34回大会 論文集. 4 pages.
会議発表論文 - 一般講演（口頭発表）. 査読なし. 国内.
Sept. 18, 2017.

静的コード解析に基づくプルリクエスト品質即時計測.
佐々木俊亮, 荒堀喜貴, 権藤克彦.
日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ.
会議発表梗概（要旨） - 一般講演. 査読なし. 国内.
Dec. 14, 2016.

Code Oriented Diagram Editorを用いた並行バグの可視化.
大村裕, 荒堀喜貴, 権藤克彦, 渡部卓雄.
日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016).
会議発表梗概（要旨） - 一般講演. 査読なし. 国内.
Dec. 14, 2016.
公式リンク  

動的バイナリ計装に基づく正確なヒープ検査.
長田晃太朗, 荒堀喜貴, 権藤克彦.
日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ.
会議発表梗概（要旨） - 一般講演. 査読なし. 国内.
Dec. 14, 2016.

Robust Index Code with Digital Images on the Internet.
M. Kim, Kunwoo Lee, K. Gondow, Jun-ichi Imura.
13th Int. Conf. Signal Processing and Multimedia Applications (SIGMAP2016).
pp. 28-37.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
July 2016.

C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers.
K. Uchida, K. Gondow:.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Apr. 2016.

Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers.
Y. Kojima, Y. Arahori, K. Gondow.
7th Int. Conf. on Computer Supported Education (CSEDU 2015).
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
May 2015.

整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価.
森川知哉, 荒堀喜貴, 権藤克彦.
コンピュータソフトウェア（レター論文）. Vol. 31. No. 1.
論文. 査読あり. 国内.
Jan. 2014.

Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み.
小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 田中康, 西崎真也, 森本千佳子, 米崎直樹, 渡部卓雄.
日本ソフトウェア科学会第30回大会.
会議発表論文 - 一般講演（口頭発表）. 査読なし. 国内.
Sept. 10, 2013.

GPUを利用したポインタ解析の実装と評価.
深谷敏邦, 権藤克彦.
コンピュータソフトウェア（レター論文）. Vol. 29. No. 3. pp. 70-76.
論文. 査読あり. 国内.
Aug. 2012.

ネイティブアセンブリコードを出力する教育用コンパイラ（XCC）と，水平スライスが可能な可視化ツール（MieruCompiler）.
権藤克彦, 福安 直樹, 荒堀喜貴.
電子情報通信学会論文誌. Vol. J95-D. No. 5. pp. 1225-1241. 一般社団法人電子情報通信学会.
論文. 査読あり. 国内.
May 1, 2012.

競合回避機構を備えた高互換かつ高精度な境界検査手法.
荒堀喜貴, 権藤克彦, 前島英雄.
情報処理学会論文誌. Vol. 53. No. 3. pp. 1150-1165.
論文. 査読あり. 国内.
Mar. 15, 2012.

誤解放を防ぐための新しい型修飾子 strict_lifetime.
鮎川力也, 権藤克彦, 荒堀 喜貴.
電子情報通信学会論文誌. Vol. J95-D. No. 2.
論文. 査読あり. 国内.
Feb. 2012.

デザインパターンへの工学的取り組み.
鷲崎弘宜, 坂本一憲, 大杉直樹, 権藤克彦, 服部哲, 久保淳人, 小林隆志, 大月美佳, 丸山勝久, 榊原彰.
コンピュータソフトウェア. Vol. 29. No. 1.
論文. 査読あり. 国内.
Feb. 2012.

広範な実用Ｃプログラムに適用可能かつ高精度な動的境界検査ツール.
荒堀喜貴, 権藤克彦, 前島英雄.
電子情報通信学会論文誌. vol. J93-D. no. 10. pp. 1851-1865.
論文. 査読あり. 国内.
Oct. 2010.

Cプログラムの割り込み競合の動的検出法.
荒堀喜貴, 権藤克彦, 前島英雄.
情報処理学会論文誌. vol. 51. no. 9. pp. 1816-1831.
論文. 査読あり. 国内.
Sept. 2010.

事例研究：ツール「簡単#include検査君」とその経験.
権藤克彦, 冨永和人.
コンピュータソフトウェア. vol. 27. no. 2. pp. 93-99.
論文. 査読あり. 国内.
May 2010.

MieruCompiler: Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers.
Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori.
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.

TCBC: Trap Caching Bounds Checking for C.
Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima.
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.

Cache-based Bounds Checking for Multi-threaded C Programs.
Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima.
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.

DRACULA: Detector of Data Races in Signals Handlers.
T. Tahara, K. Gondow, S. Ohsuga.
15th Asia-Pacific Software Engineering Conference (APSEC2008).
15th Asia-Pacific Software Engineering Conference (APSEC2008).
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Dec. 2008.

MieruPCプロジェクト：中身が見える計算機システムを構築する研究・教育プロジェクト.
吉瀬謙二, 佐藤真平, 森谷章, 藤枝直輝, 若杉祐太, 渡邉伸平, 植原昂, 森洋介, 高前田伸也, 高橋朝英, 棟岡朋也, 山田裕介, 権藤克彦, 小林良太郎, 三好健文, 中條拓伯.
コンピュータシステム・シンポジウム（ComSys2008）.
会議発表論文 - 一般講演（ポスター発表）. 査読なし. 国内.
Nov. 2008.

TBCppA: a Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors.
K. Gondow, H. Kawashima, T. Imaizumi.
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.

DRACULA：シグナルによるデータ競合の検出ツール.
田原貴光, 権藤克彦.
電子情報通信学会論文誌. vol. J91-D. no. 2. pp. 449-458.
論文. 査読あり. 国内.
Feb. 2008.

TBCppA: 追跡子を用いたC前処理系解析器.
権藤克彦, 川島勇人, 今泉貴史.
コンピュータソフトウェア. vol. 25. no. 1. pp. 105-123.
論文. 査読あり. 国内.
Feb. 2008.

Static Call Graph Generator for C++ using Debugging Information.
Yui Terashima, Katsuhiko Gondow.
14th Asia-Pacific Software Engineering Conference (APSEC).
14th Asia-Pacific Software Engineering Conference (APSEC). pp. 127-134. IEEE Computer Society Press.
会議発表論文 - 一般講演（口頭発表）. 査読あり. 海外.
Dec. 2007.

例解UNIXプログラミング教室.
冨永和人, 権藤克彦.
472ページ. ピアソンエデュケーション.
著書.
Sept. 2007.
公式リンク  公式リンク  

プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案.
大場勝, 権藤克彦:.
情報処理学会論文誌. Vol. 48. No. 8. pp. 2596-2607.
論文. 査読あり. 国内.
Aug. 2007.

プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法.
大場勝, 権藤克彦.
電子情報通信学会論文誌. Vol. J90-D. No. 6. pp. 1445-1461.
論文. 査読あり. 国内.
June 2007.

中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装.
権藤克彦, 大場勝.
電子情報通信学会論文誌. Vol. J90-D. No. 5. pp. 1194-1208.
論文. 査読あり. 国内.
May 2007.

Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding.
Masaru Ohba, Katsuhiko Gondow.
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.

C言語用CASEツールへのDWARF2デバッグ情報の応用.
権藤克彦, 鈴木朝也, 川島勇人.
コンピュータソフトウェア. Vol. 23. No. 2. pp. 175-198.
論文. 査読あり. 国内.
May 2006.

ソフトウェア工学の基礎 XII.
権藤克彦, 小林隆志.
Vol. レクチャーノート/ソフトウェア学. No. 31. 近代科学社.
著書.
Nov. 2005.