James R. Cordy

Graduate Supervision


Graduate Work Currently In Progress

PhD

"Model-Driven Engineering and Analysis of Build Systems", D. Martin, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2017.

"Co-Evolution of Model-Based Tests for Industrial Automotive Software", E. Rapos, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2017.

"Model-based Verification of Self-adaptive Systems", N. Kahani, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2018.

"(Topic in deep learning in the Cloud)", T. Ahmed, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2018. (Co-superivsed with F. Zulkernine)

"(Topic in software analysis)", A. Rahman, Ph.D. thesis, School of Computing, Queen's University at Kingston, expected 2020.

MSc

"(Topic in deep learning)", R. Shaw Muthaly, M. Sc. thesis, School of Computing, Queen's University at Kingston, expected 2017. (Co-supervised with D. Skillicorn)

"(Topic in software modelling)", N. Ahmadi, M. Sc. thesis, School of Computing, Queen's University at Kingston, expected 2017.

MSc Project

"(Topic in ULSS)", P. Luk, M. Sc. project, School of Computing, Queen's University at Kingston, expected 2017.

Graduate Theses Previously Supervised and Completed

PhD

"Source Transformation with Boolean Grammars", A. Stevenson, Ph.D. thesis, School of Computing, Queen's University at Kingston, October 2015.

"Formal Verification of Graph-Based Model Transformations", G. Selim, Ph.D. thesis, School of Computing, Queen's University at Kingston, June 2015. (co-supervised with J. Dingel) (Employer: Post-doctoral Fellow, Queen's University)

"A Mutation Analysis Based Model Clone Detector Evaluation Framework", M. Stephan, Ph.D. thesis, School of Computing, Queen's University at Kingston, August 2014. (Employer: Assistant Professor, Miami University, USA)

"A Framework for Migrating Web Applications to Web Services", A. Almonaies, Ph.D. thesis, School of Computing, Queen's University at Kingston, March 2013. (co-supervised with T. Dean and M. Alalfi) (Employer: Assistant Professor, Kuwait University)

"Using Topic Models to Support Software Maintenance", S. Grant, Ph.D. thesis, School of Computing, Queen's University at Kingston, April 2012. (Employer: Post-doctoral Fellow, Queen's University)

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

"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) (Employer: Assistant Professor, Alfaisal University, Saudi Arabia)

"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

"Code Pattern Analysis of Object-oriented Programming Languages", X. Miao, M. Sc. thesis, School of Computing, Queen's University at Kingston, November 2016.

"Pattern Analysis of TXL Programs", A. Rahman, M. Sc. thesis, School of Computing, Queen's University at Kingston, November 2015.

"An Approach to Clone Detection in Behavioural Models", E. Antony, M.Sc. thesis, School of Computing, Queen's University at Kingston, February 2014. (Co-supervised with M. Alalfi)

"An Exploration of the Architecture of First Person Shooter Games", C. Prashar, M.Sc. thesis, School of Computing, Queen's University at Kingston, December 2013. (Co-supervised with S. Grant)

"NeCO:Ontology Alignment Using Near-miss Clone Detection", P. Geesaman, M.Sc. thesis, School of Computing, Queen's University at Kingston, December 2013. (co-supervised with A. Zouaq, Royal Military College of Canada)

"SimITK: Model-driven Engineering for Medical Imaging", M. Trezise, M.Sc. thesis, School of Computing, Queen's University at Kingston, July 2013. (co-supervised with P. Mousavi, P. Abolmaesumi and D. Gobbi)

"Normalizing Object-oriented Class Styles in Javascript", W. Gama, M.Sc. thesis, School of Computing, Queen's University at Kingston, January 2013. (co-supervised with T. Dean)

"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

"Verification of Model Transformations", Gehan Selim, CREATE ULSS post-doctoral fellowship, Queen's University at Kingston, 2015-16.

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

"Model Pattern Engineering", M. Alalfi, NECSIS research scientist, Queen's University at Kingston, 2011-14.

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


Cordy Home

Last updated 2 Sep 2016