ジェームズ・コーディ

ジェームズ・コーディ
ジェームズ・コーディ
生まれる	ジェームズ・レジナルド・コーディ; 1950年1月2日（74歳）
市民権	カナダ
母校	ビクトリアカレッジ ; トロント大学
知られている	チューリング、TXL、S/SL、NICADクローン検出器
受賞歴	ACM 優秀科学者(2008) ; IBM CAS 年間最優秀教員フェロー (2008、2013) ; CS-Can/Info-Can 生涯功労賞 (2019)
	科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	トロント大学 ; クイーンズ大学
博士課程の指導教員	リチャード・C・ホルト

ジェームズ・レジナルド・コーディ（1950年1月2日生まれ）は、カナダのコンピュータ科学者、教育者であり、クイーンズ大学コンピューティング学部の名誉教授です。研究者として、彼は最近、ソースコード分析と操作、ソフトウェアリバースエンジニアリングとリエンジニアリング、パターン分析と機械知能の分野で活躍しています。彼は、プログラミング言語、コンパイラ技術、ソフトウェアアーキテクチャの分野で長年の研究実績を持っています。

彼は、 TXLソース変換言語^[1]に関する研究で最もよく知られています。TXLは、ソフトウェアの分析と変換タスクをサポートするために設計されたパーサーベースのフレームワークと関数型プログラミング言語で、もともとは1985年に修士課程の学生であるCharles Halpern-Hamuとプログラミング言語設計の実験ツールとして開発されました^[2] 。彼の最近の研究である、博士課程の学生であるChanchal RoyとのNICADクローン検出器^[3] 、博士課程の学生であるRichard ZanibbiとDorothea Blosteinとの認識戦略言語^{[4] 、}トレント大学の John Mylopoulosらとの軽量自然言語理解システムCerno ^[5]、Manar Alalfi、Thomas R. Dean、Matthew Stephan、Andrew StevensonとのSIMONEモデルクローン検出器^[6]は、TXLに基づいています。

1995年に博士課程の学生トーマス・R・ディーンと共同で発表した論文「ソフトウェアアーキテクチャの統語理論」^[7]は、この分野における先駆的な研究として広く引用されており、トーマス・R・ディーン、ケビン・A・シュナイダー、アンドリュー・J・マルトンとのレガシーシステム分析に関する研究につながった。^[8]

プログラミング言語に関する研究には、RC Holtとの並行ユークリッド^[9] (1980) とチューリング^[10]^[11] (1983) の設計、RC Holt 、 DB Wortman 、 DT Barnard らとのユークリッド^[12] (1978) とSP/k ^[13] (1974) 言語の実装などがある。これらのプロジェクトの一環として、彼はRC Holtと DB Wortmanとともに、修士論文^{[15]に基づいた}S/SLコンパイラ技術^[14]と、博士論文^{[16]に基づいた直交コード生成法を開発した。}

彼は、The Turing Programming Language: Design and Definition ^[17] (1988)、Introduction to Compiler Construction Using S/SL ^[18] (1986)、The Smart Internet ^[19] (2010)、The Personal Web ^[20] (2013) の共著者または共編集者です。

2002年から2007年まで、クイーンズ・スクール・オブ・コンピューティングのディレクターを務めた。2008年には、計算機協会の著名な科学者に選出された。^[21] 彼は優れた学術指導者であり、2008年にはクイーンズ大学大学院指導優秀賞を受賞した。^{[22] 2016年には}クイーンズ大学研究優秀賞を受賞した。 ^[23] 2019年には、CS-Can/Info-Can生涯功労賞を受賞した。^[24]

参考文献

^ JR Cordy、「TXL ソース変換言語」、コンピュータプログラミングの科学 61,3 (2006 年 8 月)、pp. 190-210
^ JR Cordy、CD Halpern、E. Promislow、「TXL: プログラミング言語方言のラピッドプロトタイピングシステム」、コンピュータ言語 16,1 (1991 年 1 月)、pp. 97-107
^ CK Roy および JR Cordy、「NICAD: 柔軟なプリティプリントとコード正規化を使用したニアミスクローンの正確な検出」、Proc. ICPC 2008、IEEE 国際プログラム理解会議、アムステルダム、2008 年 6 月、pp. 172-181
^ R. Zanibbi、D. Blostein、JR Cordy、「認識戦略言語」、ICDAR 2005 - IAPR 第 8 回国際文書分析および認識会議、韓国ソウル、2005 年 8 月、565-569 ページ
^ N. Kiyavitskaya、N. Zeni、JR Cordy、L. Mich、J. Mylopoulos、「Cerno: テキスト文書の意味的注釈付けをサポートする軽量ツール」、データ & ナレッジエンジニアリング 68、12 (2009 年 12 月)、pp. 1470-1492
^ MH Alalfi、JR Cordy、TR Dean、M. Stephan、A. Stevenson、「モデルもコードです: Simulink モデルのニアミスクローン検出」、Proc. ICSM 2012 - IEEE 国際ソフトウェア保守会議、イタリア、リーヴァデルガルダ、2012 年 9 月、pp. 295-304
^ TR Dean および JR Cordy、「ソフトウェアアーキテクチャの構文理論」、IEEE Transactions on Software Engineering 21,4 (1995 年 1 月)、pp. 302-313。
^ TR Dean、JR Cordy、KA Schneider、AJ Malton、「設計回復技術を使用したレガシーシステムの変換の経験」、Proc. ICSM 2001 - IEEE 国際ソフトウェア保守会議、フィレンツェ、2001 年 11 月、pp. 622-631
^ JR Cordy および RC Holt、「The Concurrent Euclid Report」、技術レポート CSRI-115 および CSRI-133、コンピュータシステム研究所、トロント大学、1980 年 7 月
^ RC Holt および JR Cordy、「チューリング言語レポート」、技術レポート CSRI-153、コンピュータシステム研究所、トロント大学、1983 年 12 月
^ RC Holt と JR Cordy、「チューリングプログラミング言語」、Communications of the Association for Computing Machinery 31,12 (1988 年 12 月)、pp. 1410-1423
^ DB Wortman および JR Cordy、「Euclid の初期の経験」、Proc. ICSE-5、IEEE 第 5 回国際ソフトウェア工学会議、サンディエゴ、1981 年 3 月、pp. 27-32
^ RC Holt、DB Wortman、DT Barnard、JR Cordy、「SP/k: コンピュータプログラミング教育システム」、Comm. of the Association for Computing Machinery 20,5 (1977 年 5 月)、301-309 ページ。
^ RC Holt、JR Cordy、DB Wortman、「S/SL入門：構文/意味言語」、ACM Transactions on Programming Languages and Systems 4,2（1982年4月）、149-178ページ
^ JR Cordy、RC Holt、DB Wortman、「セマンティックチャート: セマンティック処理へのダイアグラム的アプローチ」、Proc. ACM 1979 SIGPLAN Symposium on Compiler Construction、ACM SIGPLAN Notices Vol. 14、No. 8、1979 年 8 月、pp. 39-49
^ JR Cordy および RC Holt、「直交モデルを使用したコード生成」、Software-Practice and Experience 20,3 (1990 年 3 月)、301-320 ページ
^ RC Holt、PA Matthews、JA Rosselet、JR Cordy、「チューリングプログラミング言語：設計と定義」、Prentice-Hall、1988年
^ JR Cordy、S/SL を使用したコンパイラ構築入門: 構文/意味言語、クイーンズ大学、1986 年、(第 5 版、2006 年 8 月)
^ M. Chignell、JR Cordy、J. Ng、Y. Yesha（編）、スマートインターネット：現在の研究と将来のアプリケーション、コンピュータサイエンスの講義ノート6400、Springer Verlag、2010年
^ M. Chignell、JR Cordy、R.Kealey、J. Ng、Y. Yesha（編）、パーソナルウェブ：研究アジェンダ、コンピュータサイエンスの講義ノート7855、Springer Verlag、2013年
^ 「ACM Awards」。2012年4月2日時点のオリジナルよりアーカイブ。2011年3月31日閲覧。
^ 「University Wide Awards | Centre for Teaching and Learning」。2015年10月1日時点のオリジナルよりアーカイブ。
^ 「優秀研究賞 | クイーンズ大学」.
^ 「ジェームズ・R・コーディ」.

外部リンク

クイーンズ大学の個人ページ

[1] JR Cordy、「TXL ソース変換言語」、コンピュータプログラミングの科学 61,3 (2006 年 8 月)、pp. 190-210

[2] JR Cordy、CD Halpern、E. Promislow、「TXL: プログラミング言語方言のラピッドプロトタイピングシステム」、コンピュータ言語 16,1 (1991 年 1 月)、pp. 97-107

[3] CK Roy および JR Cordy、「NICAD: 柔軟なプリティプリントとコード正規化を使用したニアミスクローンの正確な検出」、Proc. ICPC 2008、IEEE 国際プログラム理解会議、アムステルダム、2008 年 6 月、pp. 172-181

[4] R. Zanibbi、D. Blostein、JR Cordy、「認識戦略言語」、ICDAR 2005 - IAPR 第 8 回国際文書分析および認識会議、韓国ソウル、2005 年 8 月、565-569 ページ

[5] N. Kiyavitskaya、N. Zeni、JR Cordy、L. Mich、J. Mylopoulos、「Cerno: テキスト文書の意味的注釈付けをサポートする軽量ツール」、データ & ナレッジエンジニアリング 68、12 (2009 年 12 月)、pp. 1470-1492

[6] MH Alalfi、JR Cordy、TR Dean、M. Stephan、A. Stevenson、「モデルもコードです: Simulink モデルのニアミスクローン検出」、Proc. ICSM 2012 - IEEE 国際ソフトウェア保守会議、イタリア、リーヴァデルガルダ、2012 年 9 月、pp. 295-304

[7] TR Dean および JR Cordy、「ソフトウェアアーキテクチャの構文理論」、IEEE Transactions on Software Engineering 21,4 (1995 年 1 月)、pp. 302-313。

[8] TR Dean、JR Cordy、KA Schneider、AJ Malton、「設計回復技術を使用したレガシーシステムの変換の経験」、Proc. ICSM 2001 - IEEE 国際ソフトウェア保守会議、フィレンツェ、2001 年 11 月、pp. 622-631

[9] JR Cordy および RC Holt、「The Concurrent Euclid Report」、技術レポート CSRI-115 および CSRI-133、コンピュータシステム研究所、トロント大学、1980 年 7 月

[10] RC Holt および JR Cordy、「チューリング言語レポート」、技術レポート CSRI-153、コンピュータシステム研究所、トロント大学、1983 年 12 月

[11] RC Holt と JR Cordy、「チューリングプログラミング言語」、Communications of the Association for Computing Machinery 31,12 (1988 年 12 月)、pp. 1410-1423

[12] DB Wortman および JR Cordy、「Euclid の初期の経験」、Proc. ICSE-5、IEEE 第 5 回国際ソフトウェア工学会議、サンディエゴ、1981 年 3 月、pp. 27-32

[13] RC Holt、DB Wortman、DT Barnard、JR Cordy、「SP/k: コンピュータプログラミング教育システム」、Comm. of the Association for Computing Machinery 20,5 (1977 年 5 月)、301-309 ページ。

[14] RC Holt、JR Cordy、DB Wortman、「S/SL入門：構文/意味言語」、ACM Transactions on Programming Languages and Systems 4,2（1982年4月）、149-178ページ

[15] JR Cordy、RC Holt、DB Wortman、「セマンティックチャート: セマンティック処理へのダイアグラム的アプローチ」、Proc. ACM 1979 SIGPLAN Symposium on Compiler Construction、ACM SIGPLAN Notices Vol. 14、No. 8、1979 年 8 月、pp. 39-49

[16] JR Cordy および RC Holt、「直交モデルを使用したコード生成」、Software-Practice and Experience 20,3 (1990 年 3 月)、301-320 ページ

[17] RC Holt、PA Matthews、JA Rosselet、JR Cordy、「チューリングプログラミング言語：設計と定義」、Prentice-Hall、1988年

[18] JR Cordy、S/SL を使用したコンパイラ構築入門: 構文/意味言語、クイーンズ大学、1986 年、(第 5 版、2006 年 8 月)

[19] M. Chignell、JR Cordy、J. Ng、Y. Yesha（編）、スマートインターネット：現在の研究と将来のアプリケーション、コンピュータサイエンスの講義ノート6400、Springer Verlag、2010年

[20] M. Chignell、JR Cordy、R.Kealey、J. Ng、Y. Yesha（編）、パーソナルウェブ：研究アジェンダ、コンピュータサイエンスの講義ノート7855、Springer Verlag、2013年

[21] 「ACM Awards」。2012年4月2日時点のオリジナルよりアーカイブ。2011年3月31日閲覧。

[22] 「University Wide Awards | Centre for Teaching and Learning」。2015年10月1日時点のオリジナルよりアーカイブ。

[23] 「優秀研究賞 | クイーンズ大学」.

[24] 「ジェームズ・R・コーディ」.