Джеймс Корди

Джеймс Корди
Джеймс Корди
Рожденный	Джеймс Реджинальд Корди ; 2 января 1950 г. (74 года)
Гражданство	Канада
Альма-матер	Колледж Виктории ; Университет Торонто
Известный	Тьюринга , TXL , S/SL , NICAD Детектор клонов
Награды	Заслуженный ученый ACM (2008 г.) ; Сотрудник факультета IBM CAS года (2008, 2013) ; CS-Can/Info-Can за выслугу лет (2019) Премия
	Научная карьера
Поля	Информатика
Учреждения	Университет Торонто ; Королевский университет
Докторантура	Ричард С. Холт

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

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

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

Работа над языками программирования включала разработку Concurrent Euclid. ^[9] (1980) и Тьюринг ^[10]^[11] (1983), с Р. К. Холтом и реализацией Евклида ^[12] (1978) и СП/к ^[13] (1974) языки с Р. К. Холтом , Д. Б. Вортманом, Д. Т. Барнардом и другими. В рамках этих проектов он разработал S/SL. технологию компилятора ^[14] с Р. К. Холтом и Д. Б. Вортманом на основе его степени магистра наук. дипломная работа ^[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 Lifetime Achievement Award. ^[24]

Ссылки

^ Дж. Р. Корди, «Язык преобразования исходного кода TXL», Science of Computer Programming 61,3 (август 2006 г.), стр. 190-210.
^ Дж. Р. Корди, К. Д. Халперн и Э. Промислоу, TXL: Система быстрого прототипирования для языковых диалектов программирования, Компьютерные языки 16,1 (январь 1991 г.), стр. 97-107
^ К. К. Рой и Дж. Р. Корди, NICAD: Точное обнаружение потенциально промахнувшихся клонов с использованием гибкой красивой печати и нормализации кода, Proc. ICPC 2008, Международная конференция IEEE по пониманию программ, Амстердам, июнь 2008 г., стр. 172–181.
^ Р. Занибби, Д. Блоштейн и Дж. Р. Корди, «Язык стратегии распознавания», Proc. ИКДАР 2005 – 8-й Международный конгресс МАПР. Конф. по анализу и распознаванию документов, Сеул, Корея, август 2005 г., стр. 565–569.
^ Н. Киявицкая, Н. Зени, Дж. Р. Корди, Л. Мич и Дж. Милопулос, Черно: Легкая поддержка инструментов для семантической аннотации текстовых документов, Data & Knowledge Engineering 68,12 (декабрь 2009 г.), стр. 1470 -1492
^ М. Х. Алалфи, Дж. Р. Корди, Т. Р. Дин, М. Стефан и А. Стивенсон, «Модели тоже являются кодом: обнаружение клонов, близких к промаху, для моделей Simulink», Proc. ICSM 2012 — Международная конференция IEEE по обслуживанию программного обеспечения, Рива-дель-Гарда, Италия, сентябрь 2012 г., стр. 295–304.
^ Т. Р. Дин и Дж. Р. Корди, «Синтаксическая теория архитектуры программного обеспечения», IEEE Transactions on Software Engineering 21,4 (январь 1995 г.), стр. 302-313.
^ Т. Р. Дин, Дж. Р. Корди, К. А. Шнайдер и А. Дж. Малтон, «Опыт использования методов восстановления конструкции для преобразования устаревших систем», Proc. ICSM 2001 — Международная конференция IEEE по сопровождению программного обеспечения, Флоренция, ноябрь 2001 г., стр. 622–631.
^ Дж. Р. Корди и Р. К. Холт, Параллельный отчет Евклида, Технические отчеты CSRI-115 и CSRI-133, Институт исследований компьютерных систем, Университет Торонто, июль 1980 г.
^ Р. К. Холт и Дж. Р. Корди, «Отчет о языке Тьюринга», Технический отчет CSRI-153, Институт исследования компьютерных систем, Университет Торонто, декабрь 1983 г.
^ Р. К. Холт и Дж. Р. Корди, Язык программирования Тьюринга, Сообщения Ассоциации вычислительной техники 31,12 (декабрь 1988 г.), стр. 1410-1423.
^ Д.Б. Вортман и Дж.Р. Корди, Ранний опыт работы с Евклидом, Proc. ICSE-5, 5-я Международная конференция IEEE по разработке программного обеспечения, Сан-Диего, март 1981 г., стр. 27–32.
^ RC Holt, DB Wortman, DT Barnard и JR Cordy, «SP/k: Система обучения компьютерному программированию», Comm. Ассоциации вычислительной техники 20,5 (май 1977 г.), стр. 301–309.
^ Р. К. Холт, Дж. Р. Корди и Д. Б. Вортман, Введение в S/SL: синтаксис/семантический язык, Транзакции ACM в языках и системах программирования 4,2 (апрель 1982 г.), стр. 149-178
^ Дж. Р. Корди, Р. К. Холт и Д. Б. Вортман, Семантические диаграммы: диаграммный подход к семантической обработке, Proc. Симпозиум ACM 1979 SIGPLAN по построению компиляторов, Уведомления ACM SIGPLAN Vol. 14, № 8, август 1979 г., стр. 39-49.
^ Дж. Р. Корди и Р. К. Холт, «Генерация кода с использованием ортогональной модели», Software-Practice and Experience 20,3 (март 1990 г.), стр. 301-320.
^ Р. К. Холт, П. А. Мэтьюз, Дж. А. Росселе и Дж. Р. Корди, Язык программирования Тьюринга: дизайн и определение, Prentice-Hall, 1988
^ Дж. Р. Корди, Введение в построение компилятора с использованием S/SL: синтаксис/семантический язык, Королевский университет, 1986 г. (5-е издание, август 2006 г.)
^ М. Чигнелл, Дж. Р. Корди, Дж. Нг и Ю. Йеша (ред.), «Умный Интернет: текущие исследования и будущие приложения», конспекты лекций по информатике 6400, Springer Verlag, 2010 г.
^ М. Чигнелл, Дж. Р. Корди, Р. Кили, Дж. Нг и Ю. Йеша (ред.), Персональная сеть: программа исследований, Конспекты лекций по информатике 7855, Springer Verlag, 2013 г.
^ «Премия АКМ» . Архивировано из оригинала 02 апреля 2012 г. Проверено 31 марта 2011 г.
^ «Всеуниверситетские награды | Центр преподавания и обучения» . Архивировано из оригинала 1 октября 2015 г.
^ «Премии за выдающиеся достижения в области исследований | Королевский университет» .
^ «Джеймс Р. Корди» .

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

Персональная страница в Королевском университете

[1] Дж. Р. Корди, «Язык преобразования исходного кода TXL», Science of Computer Programming 61,3 (август 2006 г.), стр. 190-210.

[2] Дж. Р. Корди, К. Д. Халперн и Э. Промислоу, TXL: Система быстрого прототипирования для языковых диалектов программирования, Компьютерные языки 16,1 (январь 1991 г.), стр. 97-107

[3] К. К. Рой и Дж. Р. Корди, NICAD: Точное обнаружение потенциально промахнувшихся клонов с использованием гибкой красивой печати и нормализации кода, Proc. ICPC 2008, Международная конференция IEEE по пониманию программ, Амстердам, июнь 2008 г., стр. 172–181.

[4] Р. Занибби, Д. Блоштейн и Дж. Р. Корди, «Язык стратегии распознавания», Proc. ИКДАР 2005 – 8-й Международный конгресс МАПР. Конф. по анализу и распознаванию документов, Сеул, Корея, август 2005 г., стр. 565–569.

[5] Н. Киявицкая, Н. Зени, Дж. Р. Корди, Л. Мич и Дж. Милопулос, Черно: Легкая поддержка инструментов для семантической аннотации текстовых документов, Data & Knowledge Engineering 68,12 (декабрь 2009 г.), стр. 1470 -1492

[6] М. Х. Алалфи, Дж. Р. Корди, Т. Р. Дин, М. Стефан и А. Стивенсон, «Модели тоже являются кодом: обнаружение клонов, близких к промаху, для моделей Simulink», Proc. ICSM 2012 — Международная конференция IEEE по обслуживанию программного обеспечения, Рива-дель-Гарда, Италия, сентябрь 2012 г., стр. 295–304.

[7] Т. Р. Дин и Дж. Р. Корди, «Синтаксическая теория архитектуры программного обеспечения», IEEE Transactions on Software Engineering 21,4 (январь 1995 г.), стр. 302-313.

[8] Т. Р. Дин, Дж. Р. Корди, К. А. Шнайдер и А. Дж. Малтон, «Опыт использования методов восстановления конструкции для преобразования устаревших систем», Proc. ICSM 2001 — Международная конференция IEEE по сопровождению программного обеспечения, Флоренция, ноябрь 2001 г., стр. 622–631.

[9] Дж. Р. Корди и Р. К. Холт, Параллельный отчет Евклида, Технические отчеты CSRI-115 и CSRI-133, Институт исследований компьютерных систем, Университет Торонто, июль 1980 г.

[10] Р. К. Холт и Дж. Р. Корди, «Отчет о языке Тьюринга», Технический отчет CSRI-153, Институт исследования компьютерных систем, Университет Торонто, декабрь 1983 г.

[11] Р. К. Холт и Дж. Р. Корди, Язык программирования Тьюринга, Сообщения Ассоциации вычислительной техники 31,12 (декабрь 1988 г.), стр. 1410-1423.

[12] Д.Б. Вортман и Дж.Р. Корди, Ранний опыт работы с Евклидом, Proc. ICSE-5, 5-я Международная конференция IEEE по разработке программного обеспечения, Сан-Диего, март 1981 г., стр. 27–32.

[13] RC Holt, DB Wortman, DT Barnard и JR Cordy, «SP/k: Система обучения компьютерному программированию», Comm. Ассоциации вычислительной техники 20,5 (май 1977 г.), стр. 301–309.

[14] Р. К. Холт, Дж. Р. Корди и Д. Б. Вортман, Введение в S/SL: синтаксис/семантический язык, Транзакции ACM в языках и системах программирования 4,2 (апрель 1982 г.), стр. 149-178

[15] Дж. Р. Корди, Р. К. Холт и Д. Б. Вортман, Семантические диаграммы: диаграммный подход к семантической обработке, Proc. Симпозиум ACM 1979 SIGPLAN по построению компиляторов, Уведомления ACM SIGPLAN Vol. 14, № 8, август 1979 г., стр. 39-49.

[16] Дж. Р. Корди и Р. К. Холт, «Генерация кода с использованием ортогональной модели», Software-Practice and Experience 20,3 (март 1990 г.), стр. 301-320.

[17] Р. К. Холт, П. А. Мэтьюз, Дж. А. Росселе и Дж. Р. Корди, Язык программирования Тьюринга: дизайн и определение, Prentice-Hall, 1988

[18] Дж. Р. Корди, Введение в построение компилятора с использованием S/SL: синтаксис/семантический язык, Королевский университет, 1986 г. (5-е издание, август 2006 г.)

[19] М. Чигнелл, Дж. Р. Корди, Дж. Нг и Ю. Йеша (ред.), «Умный Интернет: текущие исследования и будущие приложения», конспекты лекций по информатике 6400, Springer Verlag, 2010 г.

[20] М. Чигнелл, Дж. Р. Корди, Р. Кили, Дж. Нг и Ю. Йеша (ред.), Персональная сеть: программа исследований, Конспекты лекций по информатике 7855, Springer Verlag, 2013 г.

[21] «Премия АКМ» . Архивировано из оригинала 02 апреля 2012 г. Проверено 31 марта 2011 г.

[22] «Всеуниверситетские награды | Центр преподавания и обучения» . Архивировано из оригинала 1 октября 2015 г.

[23] «Премии за выдающиеся достижения в области исследований | Королевский университет» .

[24] «Джеймс Р. Корди» .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Соединенные Штаты
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии Скопус zbMATH