James R. (Jim) Cordy
Graduate Supervision
"(Topic in Formal Software Methods)", J. Bradbury, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2005. (co-supervised with J. Dingel)"Ontological Integration of Software Analysis and Transformation Systems", D. Jin, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2003.
"Unique Renaming of Java Programs", X.Guo, M.Sc. thesis, School of Computing, Queen's Unviersity at Kingston, expected 2003. (co-supervised with T.R. Dean, Electrical & Computer Engineering)
"Design Recovery and Refactoring of Web Sites", M. Synytskyy, M.Sc. thesis, School of Computing, Queen's Unviersity at Kingston, expected 2003. (co-supervised with T.R. Dean, Electrical & Computer Engineering)
"Value-Oriented Programming", S. Grant, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2003.
"Design and Implementation of an Implicit Invocation Programming Language", H. Zhang, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2003.
"(Topic in Software Analysis and Transformation)", T. Cassidy, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2003. (co-supervised with T.R. Dean, Electrical & Computer Engineering)
"Abstract User Interfaces: A Model and Notation for Semantic Interaction", K.A. Schneider, Ph.D. thesis, Department of Computing and Information Science, Queen's University at Kingston, November 2000. (Employer: Associate Professor, University of Saskatchewan)"GXL - A Graph Transformation Language with Scoping and Graph Parameters", M. Shukla Sarkar, Ph.D. thesis, Department of Computing and Information Science, Queen's University at Kingston, August 2000. (co-supervised with D. Blostein). (Employer: Assistant Professor, Middle Tennesee State University, USA)
"Modularity in TXL", M. Cha, M.Sc. thesis, Department of Computing & Information Science, Queen's University, June 1997. (Undefended due to accidental death).
"Experiment in Statistical Compilation of a Functional Language : TXL", E. Abraham, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, August 1996. (Employer: Nortel, Ottawa)
"A Visual Debugger for TXL", C. Xie, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, August 1995. (Employer: Nortel, Ottawa)
"Spezifikationsbasiertes Testen verteilter Systeme (Specification-based Testing of Distributed Systems)", F. Bieler, Ph.D. thesis, Department of Informatics (Fachbereich 20), Technical University of Berlin, Germany, February 1994. (co-supervised with S. Jähnichen) (Employer: AEG GmbH, Ulm, Germany)
"Software Characterization Using Connectivity", T.R. Dean, Ph.D. thesis, Department of Computing and Information Science, Queen's University at Kingston, October 1993. (Employer: Assistant Professor of Electrical and Computer Engineering, Queen's University)
"Automatic Schema Translation Using Structural Transformations", R. Abu-Hamdeh, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, October 1993. (co-supervised with P. Martin) (Employer: Newbridge Networks, Ottawa)
"Automatic Software Design Recovery and Re-Modularization Using Source Transformation", R. Srinivasan, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, April 1993. (Employer: Nortel, Ottawa)
"Pictures as a First Order Data Type", S. Kirkwood, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, April 1993. (Employer: Hummingbird, Kingston)
"Practical Metaprogramming Using Source Transformation", M. Shukla, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, February 1993. Departmental distinguished thesis award, 1993. (PhD student, Queen's University)
"TXL: Experiments with Pattern-Directed Tree Transformation as a Programming Paradigm", I.H. Carmichael, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, July 1990. (Employer: IBM Canada Ltd., Toronto)
"Viewing Software Solution Paradigms Across Multi-Linguistic Boundaries", K.A. Schneider, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, June 1990. (Employer: Legasys Corp., Kingston)
"Automatic Generation of Modular Semantic Analyzers from Functional Specifications", G.T. Janevski, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, April 1990. (Employer: Nortel, Ottawa)
"A Run-Time Model for Generating Semantic Transformations from Syntactic Specifications", E.M. Promislow, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, February 1990. (Employer: Software Exoterica, Ottawa)
"WeaselUI: A User Interface Design for the Weasel Programming Environment", T.D. Spetz, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, Jan 1990. (Employer: Anderson Consulting, Ottawa)
"Conceptual Views of Data Structures as a Programming Aid", T.C.N. Graham, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, July 1988. Departmental distinguished thesis award, 1988. (Employer: Associate Professor of Computer Science, Queen's University, Kingston)
"Specification and Automatic Derivation of Orthogonal Code Generators", N.L. Eliot, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, July 1988. (Employer: Self-employed consultant, Kingston)
"Experience with the NSSL Automatic Compiler Generation System", T. Milencovici, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, June 1988. (Employer: Siemens, Germany)
"Retroactive Reusability of Software Using Type Relaxation", T. Baker, M.Sc. thesis, Department of Computing and Information Science, Queen's University at Kingston, February 1988. (Employer: MacDonald-Detweiler Associates, Vancouver)
"A Production Quality Machine Independent Code Generator for Turing", C.B. Hall, M.Sc. thesis, Department of Computer Science, University of Toronto, September 1986. (Employer: IBM Canada Ltd., Toronto)
"TXL: A Rapid Prototyping Tool for Programming Language Design", C.D. Halpern, M.Sc. thesis, Department of Computer Science, University of Toronto, January 1986. (Employer: InfoDesign Corp., Toronto)
"TuringTool: An Intelligent Program Editing and Viewing Environment", M. Robertson, M.Sc. thesis, Department of Computer Science, University of Toronto, May 1985. (Employer: IBM Canada Ltd., Toronto)
"NSSL: An Automated Compiler Construction Tool Based on S/SL", J. Turner, M.Sc. thesis, Department of Computer Science, University of Toronto, January 1985. (Employer: IBM Canada Ltd., Toronto)
"Architecture of Abstract User Interfaces", K.A. Schneider, Post-doctoral fellowship, Queen's University at Kingston, 2001. (Employer: Associate Professor, University of Saskatchewan, Saskatoon)"Efficient Implementation of Graph Grammars Using Source Transformation", H. Fahmy, Post-doctoral fellowship, Queen's University / University of Waterloo, 2000-2001. (co-supervised with R.C. Holt, University of Waterloo).
"The TuringTool Software Maintenance Environment", N. Eliot, Research Associate, Queen's University at Kingston, 1987-90. (Employer: Namzak Laboratories, Kingston)
Last updated 10 February 2003