James R. (Jim) Cordy
Biographical Information
Jim Cordy is Director of the School of Computing and Professor of Computing and of Electrical and Computer Engineering at Queen's University, Kingston, Ontario, Canada. From 1995 to 2000 he was vice president and chief research scientist at Legasys Corporation, a software technology company specializing in legacy software system analysis and renovation.
Dr. Cordy is a founding member of the Software Technology Laboratory at Queen's University. From 1991 to 1997 he led the Software Design Technology project, a multi-university research project in software architecture research funded by the Information Technology Research Centre (ITRC, now CITO, an Ontario government Centre of Excellence). As project leader Dr. Cordy was winner of the 1994 ITRC Bank of Montreal Innovation Excellence Award and the 1995 ITRC Chair's Award for Entrepreneurship in Technology Innovation.
Prof. Cordy is the author or co-author of numerous contributions in computer software systems, including the PL/I subset compiler SP/k (1977), the Toronto Euclid compiler (1980), the S/SL compiler technology (1980), the Concurrent Euclid programming language (1981), the Turing programming language (1983), Turing Plus (1985), Object-Oriented Turing (1992), the orthogonal code generation compiler technology (1986), the TXL programming language (1991), the TXL source transformation system (1995), the LS/2000 year 2000 conversion system (1996), and the LS/AMT software analysis and migration system (1999). He has published more than 70 refereed academic and technical papers in software engineering, programming languages, user interfaces and compiler technology, including the books "Introduction to Compiler Construction Using S/SL" (Queen's, 1986) and "The Turing Programming Language: Design and Definition" (Prentice-Hall, 1988).
Dr. Cordy received his BSc in computer science and mathematics from the University of Toronto in 1973 and his MSc in computer science in 1976. After serving several years as chief programmer and senior research associate at the Computer Systems Research Institute of the University of Toronto, he returned to school and received his PhD from the University of Toronto in 1986.
Dr. Cordy is a recent member and past chairman of the Natural Sciences and Engineering Research Council of Canada (NSERC) grant selection committee in Computing and Information Science and an elected member of the International Federation for Information Processing (IFIP) Working Group 2.4, "software implementation technology." He is a member of the IEEE and the Association for Computing Machinery.
He served as the industrial co-chair of the IEEE 2002 International Conference on Software Maintenance (ICSM 2002), program co-chair of the IEEE 2nd International Workshop on Source Code Analysis and Manipulation (SCAM 2002) and program chair of ICCL'92, the IEEE 4th International Conference on Computer Languages. He has served on the program committees of numerous conferences and workshops in software systems and languages, including the 3rd ACM SIGPLAN Workshop on Rule-Based Programming (RULE'02), the IFIP 1998 Conference on Systems Languages (SI 2000), the IEEE 7th International Workshop on Computer-Aided Software Engineering (CASE'95), and the IEEE 5th International Conference on Computer Languages(ICCL'94), and served as program chair of ICCL'92. He has served on the editorial board of the Journal of Programming Languages and several other journals, books and special issues, and as session chair at numerous conferences.
In 1990-91 Dr. Cordy was invited to be guest researcher at GMD, the German National Institute for Computer Science, in Karlsruhe, Germany, and in 1985 he co-founded Holt Software Associates (HSA), a Toronto-based company specializing in educational software systems.
Ph.D. 1986, University of Toronto, "An Orthogonal Model for Code Generation"M.Sc. 1976, University of Toronto, "A Diagrammatic Approach to Programming Language Semantics"
B.Sc. 1973, University of Toronto, Mathematics & Computer Science
2002-present
Director
School of Computing,
Queen's University at Kingston2001-present
President and CEO
TXL Software Research Inc., Kingston
2001-present
Professor
(cross-appointed)Department of Electrical and Computer Engineering,
Queen's University at Kingston1996-present
Professor
School of Computing,
Queen's University at Kingston1986-present
Co-founder and Director
Holt Software Associates Inc., Toronto
1995-2000
Co-founder, Chairman and Vice President
Legasys Corporation, Kingston
1995-99
Adjunct Professor
Department of Computer Science, York University, Toronto
1989-96
Associate Professor
Department of Computing and Information Science, Queen's University at Kingston
1990-91
Visiting Researcher
Gesellschaft für Mathematik und Datenverarbeitung (National Research Institute in Mathematics and Computer Science), Karlsruhe, Germany
1985-89
Assistant Professor
Department of Computing and Information Science,Queen's University at Kingston
1983-85
Lecturer
Department of Computer Science, University of Toronto
1974-83
Research Associate
Computer Systems Research Institute, University of Toronto
1995
ITRC (Information Technology Research Centre, an Ontario Centre of Excellence) Chair's Award for Entrepreneurship in Technology Innovation, September 1995.
1994
ITRC Bank of Montreal Innovation Excellence Award, September 1994, as leader of the Software Design Technology Project, with R.C. Holt, D.A. Lamb and A. Malton.
1988
R.C. Holt (Project leader), Canadian Information Processing Society (CIPS) Information Technology Innovation Award, 1988, for the Turing Programming Language, with J.R. Cordy.
Conference Committees
Member of Program Committee,
SCAM 2003, IEEE 3rd International Workshop on Source Code Analysis and Manipulation, Amsterdam, October 2003.Member of Steering Committee,
SCAM, IEEE International Workshop on Source Code Analysis and Manipulation, 2002-2005.Industrial Track Co-Chair,
ICSM 2002, IEEE International Conference on Software Maintenance, Montreal, October 2002.Program Co-Chair,
SCAM 2002, IEEE 2nd International Workshop on Source Code Analysis and Manipulation, Montreal, October 2002.Member of Program Committee,
RULE'02, ACM SIGPLAN 3rd Workshop on Rule-Based Programming, Pittsburgh, October 2002.Workshop Co-Organizer,
IFIP Working Group 2.4 Meeting, Banff, September 1999.Member of Program Committee,
Systems Implementation 2000, IFIP 1998 Working Conference on Systems Implementation, Berlin, February 1998.Member of Program Committee,
CASE'95, IEEE 7th International Workshop on Computer-Aided Software Engineering, Toronto, July 1995.Member of Program Committee,
ICCL'94, IEEE 5th International Conference on Computer Languages, Toulouse, May 1994.Program Chair,
ICCL'92, IEEE 4th International Conference on Computer Languages, Oakland, April 1992.Workshop Organizer,
IFIP Working Group 2.4 Meeting, Kingston, May 1990.
Editing of Journals
Guest Co-Editor,
Special Issue on Source Code Analysis and Manipulation (SCAM 2002), Journal of Automated Software Engineering, Elsevier, Copenhagen (to appear 2003).Member of Editorial Board,
Journal of Programming Languages, Chapman and Hall, London, 1991-1998.Guest Editor,
Special Issue on ICCL'92, Computer Languages 19, 2 (April 1993).
Membership in Professional Societies and Working Groups
Elected Member,
International Federation for Information Processing (IFIP) Working Group 2.4.Member,
Institute of Electrical and Electronics Engineers (IEEE), IEEE Computer Society.
Association for Computing Machinery (ACM), ACM SIGPLAN, SIGCHI, SIGSOFT.
Refereeing of Journals, Conferences and Books
Over the past fifteen years I have served as referee for hundreds of technical papers as well as several textbooks and research monographs. Journals and conferences for which I have served as referee include:ACM Transactions on Programming Languages and Systems (TOPLAS),
Communications of the ACM,
Computer Languages,
IEEE Transactions on Software Engineering,
IEEE Software,
Information Processing Letters,
Journal of Automated Software Engineering,
Journal of Programming Languages,
Journal of Visual Languages and Computing,
Software-Practice and Experience,
Springer Verlag Lecture Notes in Computer Science (LNCS).
ACM SIGPLAN Symposium on Compiler Construction,
ACM SIGPLAN Symposium on Interpreters and Interpretive Techniques,
ACM Conference on Computer-Human Interaction (CHI),
IBM Center for Advanced Studies Conference (CASCON),
International Workshop on Computer-Aided Software Engineering (CASE),
International Conference on Computer Languages (ICCL),
International Conference on Software Engineering (ICSE),
International Workshop on Practical Software Development Environments.
Reviewing of Research Applications and Proposals
Member, College of Reviewers, Canada Research Chairs Program, 2000-present.Member, Natural Sciences and Engineering Research Council of Canada (NSERC)
Grant Selection Committee 330 (Computing & Information Science 'A'), 2000-2001.Chair, Natural Sciences and Engineering Research Council of Canada (NSERC)
Grant Selection Committee 330 (Computing & Information Science 'A'), 1999-2000.Member, NSERC Grant Selection Committee 07 (Computing & Information Science), 1997-1999.
In addition, over the past fifteen years I have served as reviewer for more than 50 operating, equipment, strategic and collaborative grant applications for NSERC, as well as for six large U.S. National Science Foundation (NSF) grant applications, three ASERC and iCORE grant applications and two ESPRIT grant applications. I have served as external reviewer for five departmental evaluations at other universities and institutes and three times provided detailed reviews of my own department.
Evaluations for Appointment, Tenure, Promotion, Scholarship and Employment
Over the past fifteen years I have written more than 60 evaluations of colleagues and others for appointment, tenure and promotion at Queen's and elsewhere. In that same time I have provided more than 275 letters of recommendation for present and former graduate students as well as hundreds of evaluations of graduates and undergraduates for scholarships, bursaries, employment and graduate school.
Last updated 10 February 2003