stringtranslate.com

Джеймс Корди

Джеймс Реджинальд Корди (родился 2 января 1950 года) — канадский компьютерный ученый и педагог , почетный профессор Школы вычислений в Университете Квинс . Как исследователь он в последнее время активно работал в областях анализа и манипуляции исходного кода, обратной и реинжиниринговой разработки программного обеспечения, анализа шаблонов и машинного интеллекта. У него большой послужной список предыдущей работы в области языков программирования, технологии компиляторов и архитектуры программного обеспечения.

Он наиболее известен своей работой над языком преобразования исходного кода TXL [1], фреймворком на основе синтаксического анализатора и функциональным языком программирования, предназначенным для поддержки задач анализа и преобразования программного обеспечения, изначально разработанным студентом магистратуры Чарльзом Халперном-Хаму в 1985 году в качестве инструмента для экспериментов с проектированием языков программирования. [2] Его недавняя работа над детектором клонов NICAD [3] с аспирантом Чанчалом Роем, языком стратегии распознавания [4] с аспирантом Ричардом Занибби и Доротеей Блоштейн , облегченной системой понимания естественного языка Cerno [5] с Джоном Милопулосом и другими в Университете Тренто и детектором клонов модели SIMONE с Манаром Алалфи, Томасом Р. Дином, Мэтью Стефаном и Эндрю Стивенсоном [6] основана на TXL.

Статья 1995 года «Синтаксическая теория архитектуры программного обеспечения» [7] совместно с аспирантом Томасом Р. Дином широко цитировалась как основополагающая работа в этой области и послужила толчком к его работе с Томасом Р. Дином, Кевином А. Шнайдером и Эндрю Дж. Малтоном по анализу унаследованных систем. [8]

Работа над языками программирования включала разработку Concurrent Euclid [9] (1980) и Turing [10] [11] (1983) совместно с RC Holt , а также реализацию языков Euclid [12] (1978) и SP/k [13] (1974) совместно с RC Holt , DB Wortman, DT Barnard и другими. В рамках этих проектов он разработал технологию компилятора S/SL [14] совместно с RC Holt и DB Wortman на основе своей магистерской диссертации [15] и метод генерации ортогонального кода на основе своей докторской диссертации. [16]

Он был соавтором и соредактором книг «Язык программирования Тьюринга: проектирование и определение» [17] (1988), «Введение в построение компиляторов с использованием S/SL» [18] (1986), «Умный Интернет» [19] (2010) и «Персональная сеть» [20] (2013).

С 2002 по 2007 год он был директором Школы вычислительной техники Королевы . В 2008 году он был избран выдающимся ученым Ассоциации вычислительной техники . [21] Он является плодовитым научным руководителем и в 2008 году был отмечен Премией за выдающиеся достижения в области руководства аспирантами Королевского университета . [22] В 2016 году он получил Премию за выдающиеся достижения в области исследований Королевского университета . [23] В 2019 году он был отмечен Премией за выдающиеся достижения в области исследований CS-Can/Info-Can. [24]

Ссылки

  1. ^ JR Cordy, «Язык преобразования исходного кода TXL», Science of Computer Programming 61,3 (август 2006 г.), стр. 190-210
  2. ^ JR Cordy, CD Halpern и E. Promislow, TXL: Система быстрого прототипирования для диалектов языка программирования, Computer Languages ​​16,1 (январь 1991 г.), стр. 97-107
  3. ^ CK Roy и JR Cordy, NICAD: Точное обнаружение клонов, близких к клонам, с использованием гибкой красивой печати и нормализации кода, Proc. ICPC 2008, Международная конференция IEEE по пониманию программ, Амстердам, июнь 2008 г., стр. 172-181
  4. ^ Р. Занибби, Д. Блоштейн и Дж. Р. Корди, «Язык стратегии распознавания», Труды ICDAR 2005 - IAPR 8-я Международная конференция по анализу и распознаванию документов, Сеул, Корея, август 2005 г., стр. 565-569
  5. ^ Н. Киявицкая, Н. Зени, Дж. Р. Корди, Л. Мич и Дж. Милопулос, Cerno: облегченный инструмент поддержки семантической аннотации текстовых документов, Data & Knowledge Engineering 68,12 (декабрь 2009 г.), стр. 1470-1492
  6. ^ MH Alalfi, JR Cordy, TR Dean, M. Stephan и A. Stevenson, «Models are Too Code: Near-miss Clone Detection for Simulink Models», Proc. ICSM 2012 — Международная конференция IEEE по обслуживанию программного обеспечения, Рива-дель-Гарда, Италия, сентябрь 2012 г., стр. 295-304
  7. ^ TR Dean и JR Cordy, «Синтаксическая теория архитектуры программного обеспечения», IEEE Transactions on Software Engineering 21,4 (январь 1995 г.), стр. 302-313.
  8. ^ TR Dean, JR Cordy, KA Schneider и AJ Malton, «Опыт использования методов восстановления дизайна для преобразования устаревших систем», Proc. ICSM 2001 — Международная конференция IEEE по обслуживанию программного обеспечения, Флоренция, ноябрь 2001 г., стр. 622-631
  9. ^ JR Cordy и RC Holt, The Concurrent Euclid Report, Технические отчеты CSRI-115 и CSRI-133, Исследовательский институт компьютерных систем, Университет Торонто, июль 1980 г.
  10. ^ RC Holt и JR Cordy, «Отчет о языке Тьюринга», Технический отчет CSRI-153, Исследовательский институт компьютерных систем, Университет Торонто, декабрь 1983 г.
  11. ^ RC Holt и JR Cordy, Язык программирования Тьюринга, Сообщения Ассоциации вычислительной техники 31,12 (декабрь 1988 г.), стр. 1410-1423
  12. ^ DB Wortman и JR Cordy, Early Experiences with Euclid, Proc. ICSE-5, IEEE 5-я Международная конференция по программной инженерии, Сан-Диего, март 1981 г., стр. 27-32
  13. ^ RC Holt, DB Wortman, DT Barnard и JR Cordy, «SP/k: Система обучения компьютерному программированию», Comm. of the Association for Computing Machinery 20,5 (май 1977 г.), стр. 301-309.
  14. ^ RC Holt, JR Cordy и DB Wortman, Введение в S/SL: Синтаксис/Семантический язык, ACM Transactions on Programming Languages ​​and Systems 4,2 (апрель 1982 г.), стр. 149-178
  15. ^ JR Cordy, RC Holt и DB Wortman, Семантические диаграммы: диаграммный подход к семантической обработке, Proc. ACM 1979 SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices Vol. 14, No. 8, August 1979, pp. 39-49
  16. ^ JR Cordy и RC Holt, «Генерация кода с использованием ортогональной модели», Software-Practice and Experience 20,3 (март 1990 г.), стр. 301-320
  17. ^ RC Holt, PA Matthews, JA Rosselet и JR Cordy, Язык программирования Тьюринга: разработка и определение, Prentice-Hall, 1988
  18. ^ JR Cordy, Введение в построение компилятора с использованием S/SL: синтаксический/семантический язык, Университет Квинс, 1986, (5-е издание, август 2006 г.)
  19. ^ M. Chignell, JR Cordy, J. Ng и Y. Yesha (ред.), The Smart Internet: Current Research and Future Applications, Lecture Notes in Computer Science 6400, Springer Verlag, 2010
  20. ^ M. Chignell, JR Cordy, R.Kealey, J. Ng и Y. Yesha (ред.), Персональная сеть: исследовательская программа, Lecture Notes in Computer Science 7855, Springer Verlag, 2013
  21. ^ "ACM Awards". Архивировано из оригинала 2012-04-02 . Получено 2011-03-31 .
  22. ^ "University Wide Awards | Centre for Teaching and Learning". Архивировано из оригинала 2015-10-01.
  23. ^ «Премии за выдающиеся достижения в исследованиях | Университет Квинс».
  24. ^ "Джеймс Р. Корди".

Внешние ссылки