"Synthesis and
Verification of Models Using Satisfiability
Modulo Theories", N. Kahani, Ph.D. thesis,
School of Computing, Queen's University at
Kingston, January 2020.
"Software Defect
Prediction Using Rich Contextualized Language
Use Vectors", A. Rahman, Ph.D. thesis, School of
Computing, Queen's University at Kingston,
November 2019. (Employer: Post-doctoral Fellow,
Queen's University)
"An Empirical Analysis of
GNU Make in Open Source Projects", D. Martin,
Ph.D. thesis, School of Computing, Queen's
University at Kingston, April 2017. (Employer:
School of Computing, Queen's
University)
"Supporting Simulink Model
Management", E. Rapos, Ph.D. thesis, School of
Computing, Queen's University at Kingston, April
2017. (Employer: Assistant Professor, Miami
University, USA)
"Source Transformation
with Boolean Grammars", A. Stevenson, Ph.D.
thesis, School of Computing, Queen's University
at Kingston, October 2015. (Employer: Amazon Web
Services, Seattle, USA)
"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, McMaster
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, Ryerson
University)
"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)
"Software Security
Flaw Prediction Using Rich Contextualized
Language Use Vectors: A Case Study on the Linux
Kernel", G. Fouladfard, M. Sc. thesis, School of
Computing, Queen's University at Kingston, March
2020.
"Automated Generation of
Language Use Vector Extractors from TXL
Grammars", K. Vishwambar, M. Sc. thesis, School
of Computing, Queen's University at Kingston,
April 2019.
"An Empirical Analysis of
Java Language Use in Open Source Applications",
F. Shahjamali, M. Sc. thesis, School of
Computing, Queen's University at Kingston, April
2019.
"An Empirical Study of
Android API Use in Google and Non-Google
Applications", N. Ahmadi, M. Sc. thesis, School
of Computing, Queen's University at Kingston,
March 2018.
"An Empirical Analysis of
PHP in Open Source Applications", P. Luk, M. Sc.
thesis, School of Computing, Queen's University
at Kingston, November 2017.
"Using Deep Learning to
Predict the Mortality of Leukemia Patients", R.
Shaw Muthalaly, M. Sc. thesis, School of
Computing, Queen's University at Kingston, June
2017. (Co-supervised with D. Skillicorn)
"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)