James R. (Jim) Cordy

Graduate Supervision

Current Graduate Students Supervised Graduate Theses

Opportunities for New Students Post-doctoral Fellows and Research Associates

Graduate Work Currently In Progress

PhD

"Using Mutation for the Assessment and Optimization of Tests and Properties", J. Bradbury, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2007. (co-supervised with J. Dingel)

"Context Dependent Parsing and Transformation", A. Thurston, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2007.

"Identification and Analysis of Semantic Software Clones", C. Roy, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2008.

"Formal Models of Web Applications", M. Alalfi, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2008. (co-supervised with T. Dean)

"Tool Support for Semantic Annotation", N. Kiyavitskaya, Ph.D. thesis, Department of Information and Communication Technology, University of Trento, Italy, expected 2006. (co-supervised with J. Mylopoulos and L. Mich)

"Ontology Analysis for Lightweight Semantic Markup", N. Zeni, Ph.D. thesis, Department of Information and Communication Technology, University of Trento, Italy, expected 2007. (secondary supervisor, with J. Mylopoulos and L. Mich)

MSc

"Automated Migration of Legacy Websites to CSS", A. Mao, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2006. (co-supervised with T. Dean)

"Efficient Relational Querying for the Semantic Web", S.Atre, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2007. (co-supervised with T.P. Martin)

"(Topic in Programming Languages and Systems)", P. Dayanand, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2007.

"(Topic in Programming Languages and Systems)", N. Brake, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2007.

Graduate Theses Previously Supervised and Completed

PhD

"A Language for Specifying and Comparing Table Recognition Strategies", R. Zanibbi, Ph.D. thesis, School of Computing, Queen's University at Kingston, December 2004. (co-supervised with D. Blostein). (Employer: Assistant Professor, Rochester Institute of Technology, USA)

"Ontological Adaptive Integration of Reverse Engineering Tools", D. Jin, Ph.D. thesis, School of Computing, Queen's University at Kingston, July 2004. (Employer: Assistant Professor, University of Manitoba)

"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 Tennessee State University, USA)

"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. (secondary supervisor, 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, Electrical and Computer Engineering, Queen's University)

MSc

"Model Checking of Models of Real-Time Systems", D. Yau, M.Sc. thesis, School of Computing, Queen's University at Kingston, May 2006. (co-supervised with J. Dingel) (Employer: Nortel)

"Software Tuning Panels for Autonomic Control", L. Dancy, M.Sc. thesis, School of Computing, Queen's University at Kingston, May 2006. (Employer: IBM Canada)

"A Test-Driven Environment for Source Transformation", D. Shimozawa, M.Sc. thesis, School of Computing, Queen's University at Kingston, September 2005. (Employer: IBM Canada)

"Enhancing Security Using Legality Assertions", L. Wang, M.Sc. thesis, School of Computing, Queen's University at Kingston, April 2005. (co-supervised with T.R. Dean, Electrical & Computer Engineering) (Employer: Redmane Technology, Chicago)

"Evolving TXL", A. Thurston, M.Sc. thesis, School of Computing, Queen's University at Kingston, January 2005. (Employer: Ph.D. student, Queen's University)

"Design and Implementation of an Implicit Invocation Programming Language", H. Zhang, M.Sc. thesis, School of Computing, Queen's University at Kingston, February 2004. (Employer: Namzak Labs Inc., Kingston)

"Transforming Standard Java Objects into Value Objects", S. Grant, M.Sc. thesis, School of Computing, Queen's University at Kingston, December 2003. (Employer: Google Inc., California)

"Concurrency Analysis of Java RMI Using Source Transformation and Verisoft", T. Cassidy, M.Sc. thesis, School of Computing, Queen's University at Kingston, December 2003. (co-supervised with T.R. Dean, Electrical & Computer Engineering) (Employer: Electronic Arts Inc., Vancouver)

"XML Unique Renaming of Java Source", X. Guo, M.Sc. thesis, School of Computing, Queen's University at Kingston, October 2003. (co-supervised with T.R. Dean, Electrical & Computer Engineering) (Employer: Teradata division, NCR Corp., California)

"An Approach for Robust Multilingual Parsing", M. Synytskyy, M.Sc. thesis, School of Computing, Queen's University at Kingston, October 2003. (co-supervised with T.R. Dean, Electrical & Computer Engineering) (Employer: Researcher, University of Waterloo)

"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)

"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. (Ph.D. 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)

Post-Doctoral Fellows and Research Associates Supervised

"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)

Opportunities for New Graduate Students

I am always looking for excellent new MSc and PhD students with strong programming and communication skills to work with me in the Software Technology Laboratory and the Source Transformation Project. I am looking for special people to work on particular projects and lines of work - see this page for details. My students enjoy, and are expected to handle, a great deal of independence and individual initiative.

Last updated 10 July 2006