James R. (Jim) Cordy

Graduate Supervision

Current Graduate Students Supervised Graduate Theses Post-doctoral Fellows and Research Associates

Graduate Work Currently In Progress

PhD

"A Framework for Migrating Web Applications to Web Services", A. Almonaies, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2012. (co-supervised with T. Dean)

"(Topic in Software Analysis", D. Martin, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2014.

"(Topic in Model-Driven Software Enginering)", G. Selim, Ph.D. thesis, School of Com201puting, Queen's University at Kingston, expected 2013. (co-supervised with J. Dingel)

"(Topic in Model Transformation)", M. Stephan, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2013.

"(Topic in Source Analysis and Transformation)", A. Stevenson, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2013.

MSc

"Class Patterns in Web Applications", W. Gama, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2012. (co-supervised with T. Dean)

"(Topic in Natural Language Analysis)", P. Geesaman, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2012. (co-supervised with A. Zouaq)

"(Topic in Software Engineering)", C. Prashar, M.Sc. thesis, School of Computing, Queen's University at Kingston, expected 2013.

Graduate Theses Previously Supervised and Completed

PhD

"Using Topic Models to Support Software Maintenance", S. Grant, Ph.D. thesis, School of Computing, Queen's University at Kingston, April 2012.

"Clone Evolution", N. Göde, Ph.D. thesis, Faculty of Mathematics and Computer Science, University of Bremen, May 2011. (co-supervised with R. Koschke)

"A Verification Framework for Access Control in Dynamic Web Applications", M. Alalfi, Ph.D. thesis, School of Computing, Queen's University at Kingston, April 2010. (co-supervised with T. Dean)

"Detection and Analysis of Near-miss Software Clones", C.K. Roy, Ph.D. thesis, School of Computing, Queen's University at Kingston, August 2009. (Employer: Assistant Professor, University of Saskatchewan)

"A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing", A. Thurston, Ph.D. thesis, School of Computing, Queen's University at Kingston, December 2008. (Employer: eSentire Inc., Cambridge, Ontariio)

"Ontology Analysis for Lightweight Semantic Markup", N. Zeni, Ph.D. thesis, Department of Information and Communication Technology, University of Trento, Italy, May 2008. (secondary supervisor, with J. Mylopoulos and L. Mich) (Employer: Post-doctoral Fellow, University of Trento, Italy)

"Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of Concurrency Testing and Model Checking",J. Bradbury, Ph.D. thesis, School of Computing, Queen's University at Kingston, June 2007 (co-supervised with J. Dingel). (Employer: Assistant Professor, Unviersity of Ontatio Institute of Technology)

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

"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: Associate Professor, Electrical and Computer Engineering, Queen's University)

MSc

"Towards Web Service Tagging by Similarity Detection", D. Martin, M.Sc. thesis, School of Computing, Queen's University at Kingston, October 2011. (Employer: PhD student, Queen's University)

"Recovering Software Tuning Parameters", N. Brake, M.Sc. thesis, School of Computing, Queen's University at Kingston, June 2008. (Employer: IBM Watchfire, Ottawa)

"Log File Categorization and Anomaly Detection Using Grammar Inference", A. Memon, M.Sc. thesis, School of Computing, Queen's University at Kingston, May 2008. (co-supervised with T. Dean) (Employer: IBM Canada, Toronto)

"Language Implementation by Source Transformation", P. Dayanand, M.Sc. thesis, School of Computing, Queen's University at Kingston, January 2008. (Employer: IBM Canada, Toronto)

"Relational Views of XML for the Semantic Web", S. Atre, M.Sc. thesis, School of Computing, Queen's University at Kingston, September 2007. (co-supervised with T.P. Martin) (Employer: IBM Canada, Toronto)

"Translating Table Layout to Cascading Style Sheets", A. Mao, M.Sc. thesis, School of Computing, Queen's University at Kingston, March 2007. (co-supervised with T. Dean) (Employer: IBM Canada, Vancouver)

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

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

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

"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

"Topic Models in Software Maintenance", Scott Grant, CREATE ULSS post-doctoral fellowship, Queen's University at Kingston, 2012-14.

"Model Pattern Engineering", M. Alalfi, NECSIS post-doctoral fellowship, Queen's University at Kingston, 2011-13.

"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 3 May 2012