Jamesa Cordy'ego

Jamesa Cordy'ego
Cordy2008.jpg
Urodzić się
Jamesa Reginalda Cordy'ego

( 02.01.1950 ) 2 stycznia 1950 (wiek 73)
Obywatelstwo Kanada
Alma Mater Uniwersytet Victoria College w Toronto
Znany z Wykrywacz klonów Turinga , TXL , S/SL , NICAD
Nagrody

ACM Distinguished Scientist (2008) Stypendysta roku wydziału IBM CAS (2008, 2013) Nagroda CS-Can/Info-Can za całokształt twórczości (2019)
Kariera naukowa
Pola Informatyka
Instytucje Uniwersytet Królowej Toronto
Doradca doktorski Richarda C. Holta

James Reginald Cordy (urodzony 2 stycznia 1950) to kanadyjski informatyk i pedagog , który jest emerytowanym profesorem w Szkole Informatyki na Queen's University . Jako naukowiec jest ostatnio aktywny w dziedzinie analizy i manipulacji kodem źródłowym, odwracania i przebudowy oprogramowania oraz analizy wzorców i inteligencji maszynowej. Ma długą historię wcześniejszej pracy w językach programowania, technologii kompilatorów i architekturze oprogramowania.

Najbardziej znany jest ze swojej pracy nad językiem transformacji źródeł TXL , frameworkiem opartym na parserze i funkcjonalnym językiem programowania zaprojektowanym do obsługi zadań analizy i transformacji oprogramowania, pierwotnie opracowanych z mgr inż. student Charles Halpern-Hamu w 1985 roku jako narzędzie do eksperymentowania z projektowaniem języków programowania. Jego ostatnia praca nad detektorem klonów NICAD z Ph.D. student Chanchal Roy, Recognition Strategy Language z Ph.D. student Richard Zanibbi i Dorothea Blostein , lekki system rozumienia języka naturalnego Cerno z Johnem Mylopoulosem i innymi na University of Trento i modelowy detektor klonów SIMONE z Manarem Alalfim, Thomasem R. Deanem, Matthew Stephanem i Andrew Stevensonem jest oparty na TXL.

Artykuł z 1995 roku A Syntaktyczna teoria architektury oprogramowania z doktoratem. student Thomas R. Dean był powszechnie cytowany jako przełomowa praca w tej dziedzinie i doprowadził do jego pracy z Thomasem R. Deanem, Kevinem A. Schneiderem i Andrew J. Maltonem nad analizą starszych systemów.

Praca nad językami programowania obejmowała projektowanie języków Concurrent Euclid (1980) i Turing (1983) z RC Holtem oraz implementację języków Euclid (1978) i SP/k (1974) z RC Holtem , DB Wortmanem, DT Barnardem i inni. W ramach tych projektów opracował S/SL z RC Holtem i DB Wortmanem w oparciu o jego mgr inż. praca dyplomowa i metoda generowania kodu ortogonalnego na podstawie jego rozprawy doktorskiej. praca dyplomowa.

Jest współautorem lub współredaktorem książek The Turing Programming Language: Design and Definition (1988), Introduction to Compiler Construction using S/SL (1986), The Smart Internet (2010) i The Personal Web (2013).

Od 2002 do 2007 był dyrektorem Queen's School of Computing . W 2008 roku został wybrany Distinguished Scientist Association for Computing Machinery . Jest płodnym opiekunem akademickim, aw 2008 roku został wyróżniony nagrodą Queen's University Award of Excellence in Graduate Supervision. W 2016 roku zdobył nagrodę Queen's University Prize for Excellence in Research. W 2019 roku został wyróżniony nagrodą CS-Can/Info-Can Lifetime Achievement Award.

  1. ^ JR Cordy, „The TXL Source Transformation Language”, Science of Computer Programming 61,3 (sierpień 2006), s. 190-210
  2. ^ JR Cordy, CD Halpern i E. Promislow, TXL: A Rapid Prototyping System for Programming Language Dialects, Computer Languages ​​16,1 (styczeń 1991), s. 97-107
  3. ^ CK Roy i JR Cordy, NICAD: Dokładne wykrywanie klonów, które byłyby w pobliżu, przy użyciu elastycznego ładnego drukowania i normalizacji kodu, Proc. ICPC 2008, IEEE International Conference on Program Comprehension, Amsterdam, czerwiec 2008, s. 172-181
  4. ^ R. Zanibbi, D. Blostein i JR Cordy, „Język strategii rozpoznawania”, Proc. ICDAR 2005 - IAPR 8th Intl. konf. on Document Analysis and Recognition, Seul, Korea, sierpień 2005, s. 565-569
  5. ^ N. Kiyavitskaya, N. Zeni, JR Cordy, L. Mich i J. Mylopoulos, Cerno: Lekka obsługa narzędzi do semantycznej adnotacji dokumentów tekstowych, inżynieria danych i wiedzy 68,12 (grudzień 2009), s. 1470-1492
  6. Bibliografia Linki zewnętrzne ICSM 2012 – IEEE International Conference on Software Maintenance, Riva del Garda, Włochy, wrzesień 2012, s. 295-304
  7. ^ TR Dean i JR Cordy, „A Syntactic Theory of Software Architecture”, IEEE Transactions on Software Engineering 21,4 (styczeń 1995), s. 302-313.
  8. ^ TR Dean, JR Cordy, KA Schneider i AJ Malton, „Doświadczenie w używaniu technik odzyskiwania projektu do przekształcania starszych systemów”, Proc. ICSM 2001 - Międzynarodowa konferencja IEEE na temat konserwacji oprogramowania, Florencja, listopad 2001, s. 622-631
  9. ^ JR Cordy i RC Holt, The Concurrent Euclid Report, Technical Reports CSRI-115 i CSRI-133, Computer Systems Research Institute, University of Toronto, lipiec 1980
  10. ^ RC Holt i JR Cordy, „The Turing Language Report”, Technical Report CSRI-153, Computer Systems Research Institute, University of Toronto, grudzień 1983
  11. ^ RC Holt i JR Cordy, The Turing Programming Language, Communications of the Association for Computing Machinery 31,12 (grudzień 1988), s. 1410-1423
  12. ^ DB Wortman i JR Cordy, Wczesne doświadczenia z Euclid, Proc. ICSE-5, IEEE 5th International Conference on Software Engineering, San Diego, marzec 1981, s. 27-32
  13. ^ RC Holt, DB Wortman, DT Barnard i JR Cordy, „SP/k: System nauczania programowania komputerowego”, Comm. of the Association for Computing Machinery 20,5 (maj 1977), s. 301-309.
  14. ^ RC Holt, JR Cordy i DB Wortman, Wprowadzenie do S / SL: Język składni / semantyczny, ACM Transactions on Programming Languages ​​and Systems 4,2 (kwiecień 1982), s. 149-178
  15. ^ JR Cordy, RC Holt i DB Wortman, wykresy semantyczne: schematyczne podejście do przetwarzania semantycznego, Proc. Sympozjum ACM 1979 SIGPLAN na temat budowy kompilatorów, uwagi ACM SIGPLAN, tom. 14, nr 8, sierpień 1979, s. 39-49
  16. ^ JR Cordy i RC Holt, „Generowanie kodu za pomocą modelu ortogonalnego”, Software-Practice and Experience 20,3 (marzec 1990), s. 301-320
  17. ^ RC Holt, PA Matthews, JA Rosselet i JR Cordy, Język programowania Turinga: projektowanie i definicja, Prentice-Hall, 1988
  18. ^ JR Cordy, Wprowadzenie do konstrukcji kompilatora przy użyciu S / SL: the Syntax / Semantic Language , Queen's University, 1986, (5. wydanie, sierpień 2006)
  19. ^ M. Chignell, JR Cordy, J. Ng i Y. Yesha (red.), 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 i Y. Yesha (red.), The Personal Web: A Research Agenda, Lecture Notes in Computer Science 7855, Springer Verlag, 2013
  21. ^ „Nagrody ACM” . Zarchiwizowane od oryginału w dniu 2012-04-02 . Źródło 2011-03-31 .
  22. ^ „Nagrody uniwersyteckie | Centrum nauczania i uczenia się” . Zarchiwizowane od oryginału w dniu 01.10.2015.
  23. ^ „Nagrody za wybitne osiągnięcia w badaniach | Queen's University” .
  24. Bibliografia _ _

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=James_Cordy&oldid=1106132516 ”