James R. Cordy

Selected Publications

Refereed Publications

Most recent papers are linked to downloadable Adobe Acrobat Reader portable document format (PDF) preprints. All papers are copyright by their respective publishers (IEEE, ACM, Elsevier, Springer, Wiley and so on) - see the publishers' websites for copyright restrictions and definitive published versions.

2024

B. Nazzal, M.H. Alalfi, J.R. Cordy, "A Survey on the Verification and Validation of Artificial Pancreas Software Systems", Proc. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2024, pp. 1-9.

2022

M. Ling, Y. Yu, H. Wu, Y. Wang, J.R. Cordy, A.E. Hassan, "In Rust we trust: a transpiler from unsafe C to safer Rust", Proc. ACM/IEEE 44th Intl. Conf. on Software Engineering: Companion Proceedings, 2022, pp. 354-355.

2021

M. Mondal, C.K. Roy and J.R. Cordy, "NiCad: A Modern Clone Detector", Code Clone Analysis: Research, Tools, and Practices, Springer Verlag, Berlin, 2021, pp. 45-50.

2020

N. Kahani and J.R. Cordy, "Bounded Verification of State Machine Models", Proc. SAM 2020, 12th International System Analysis and Modelling Conference, Montréal, Canada, October 2020, pp. 23-32.

N. Kahani, M. Bagherzadeh and J.R. Cordy, "Synthesis of State Machine Models", Proc. MODELS 2020, 23rd International Conference on Model-Driven Engineering Languages and Systems, Montréal, Canada, October 2020, pp. 274-284.

2019

M. Stephan and J.R. Cordy, "MuMonDE: A Framework for Evaluating Model Clone Detectors Using Model Mutation Analysis", Software Testing, Verification & Reliability 29,1-2 (Jan-March 2019), e1669 (18 pp.)

N. Kahani, M. Bagherzadeh, J.R. Cordy, J. Dingel and D. Varró, "Survey and Classification of Model Transformation Tools", Software and Systems Modelling 18,4 (August 2019), article 1 (37 pp.)

2018

M.H. Alalfi, E.P. Antony and J.R. Cordy, "An Approach to Clone Detection in Sequence Diagrams and Its Application to Security Analysis", Software and Systems Modelling 17,4 (October 2018), pp. 1287-1309.

M. Bagherzadeh, N. Kahani, C-P. Bezemer, A. Hassan, J. Dingel and J.R. Cordy, "Analyzing a Decade of Linux System Calls", Empirical Software Engineering, 23,3 (June 2018), pp. 1519-1551. Also appears in journal first track at ICSE 2018, 40th International Conference on Software Engineering, Gothenburg, Sweden, May-June 2018.

C.K. Roy and J.R. Cordy, "Adventuures in NICAD: A Ten-year Retrospective", Proc. ICPC 2018, ACM/IEEE 26th International Conference on Program Comprehension, Gothenburg, Sweden, May 2018, pp. 19 (MIP abstract).

E. Rapos and J.R. Cordy, "SimEvo: A Toolset for Simulink Test Evolution and Maintenance", Proc. ICST 2018, IEEE 11th International Conference on Software Testing, Validation and Verification, Västerås, Sweden, April 2018, pp. 410-415.

C.K. Roy and J.R. Cordy, "Benchmarks for Software Clone Detection: A Ten-year Retrospective", Proc. SANER 2018, IEEE 25th International Conference on Software Analysis,Evolution and Reengineering, Campobasso, Italy, March 2018, pp. 26-37.

2017

E. Rapos and J.R. Cordy, "SimPact: Impact Analysis for Simulink Models", Proc. ICSME 2017, IEEE 33rd International Conference on Software Maintenance and Evolution, Shanghai, China, September 2017, pp. 489-493.

G.M.K. Selim, J.R. Cordy and J. Dingel, "How is ATL Really Used? Language Feature Use in the ATL Zoo", Proc. MODELS 2017, ACM / IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin TX, USA, September 2017, pp. 34-44. (Best paper award)

N. Kahani, N. Hili, J. Dingel and J.R. Cordy, "Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems", Proc. MiSE 2017, 9th International Workshop on Modelling in Software Engineering, Buenos Aires, Argentina, May 2017, pp. 12-18.

2016

T.M. Ahmed, F. Zulkernine and J.R. Cordy, "Proactive Auto-scaling of Resources for Data Stream Processing Systems in the Cloud", Proc. CASCON'16, 26th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto, November 2016, pp. 226-231.

N. Kahani, M. Bagherzadeh, J. Dingel and J.R. Cordy, "The Problems with Eclipse Modeling Tools: A Topic Analysis of Eclipse Forums", Proc. MODELS 2016, ACM / IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint Malo, France, October 2016, pp. 227-237.

M. Stephan and J.R. Cordy, "Model-Driven Evaluation of Software Architecture Quality Using Model Clone Detection", Proc. QRS 2016, IEEE International Conference on Software Quality, Reliability and Security, Vienna, Austria, August 2016, pp. 92-99.

E.J. Rapos and J.R. Cordy, "Examining the Co-Evolution Relationship Between Simulink Models and their Test Cases", Proc. MiSE 2016, 8th International Workshop on Modelling in Software Engineering, Austin, TX, May 2016, pp. 34-40.

D. Martin and J.R. Cordy, "On the Maintenance Complexity of Makefiles", Proc. WETSoM 2016, 7th Interenational Workshop on Emerging Trends in Software Metrics, Austin, TX, May 2016, pp. 50-56.

N. Kahani, K. Elgazzar and J.R. Cordy, "Authentication and Access Control in e-Health Systems in the Cloud", Proc. BigDataSecurity 2016, 2nd IEEE International Conference on Big Data Security on Cloud, New York, NY, April 2016, pp. 13-23.

A. Rahman and J.R. Cordy, "Pattern Analysis of TXL Programs", Proc. IWSC 2016, 10th International Workshop on Software Clones, Osaka, Japan, March 2016, pp. 37-43.

2015

M. Stephan and J.R. Cordy, "Identification of Simulink Model Antipattern Instances Using Model Clone Detection", Proc. MODELS 2015, 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa, Canada, September 2015, pp. 276-285.

L. Lúcio, B.J. Oakes, C. Gomes, G.M.K.Selim, J. Dingel, J.R. Cordy and H. Vangheluwe, "SyVOLT: Full Model Transformation Verification Using Contracts, Proc. MODELS 2015 18th International Conference on Model Driven Engineering Languages and Systems, Posters and Demos Track, Ottawa, Canada, September 2015, CEUR Workshop Proceedings Volume 1554, pp. 24-27.

G.M.K.Selim, J.R. Cordy, J. Dingel, L. Lúcio and B.J. Oakes, "Finding and Fixing Bugs in Model Transformations: An Experience Report", Proc. AMT 2015, 4th MODELS Workshop on the Analysis of Model Transformations, Ottawa, Canada, September 2015, pp. 26-35.

E.J. Rapos, A. Stevenson, M. Alalfi and J.R. Cordy, "SimNav: Simulink Navigation of Model Clone Classes", Proc. SCAM 2015, 15th International Working Conference on Source Code Analysis and Manipulation, Bremen, Germany, September 2015, pp. 241-246.

M. Amrani, B. Combemale, L. Lucio, G.K.Selim, J. Dingel, Y. Le Traon, H. Vangheluwe and J.R. Cordy, "Formal Verification Techniques for Model Transformations: a Tridimensional Classification", Journal of Object Tecnhology 14,3 (August 2015), pp. 1:1-43.

J.R.Cordy, "SIMONE: Architecture-Sensitive Near-Miss Clone Detection for Simulink Models", Proc. WASA 2015, 1st International Workshop on Automotive Software Architecture, Montréal, Québec, May 2015, pp. 1-2. (Keynote abstract)

M. Famelis, L. Lúcio, G. Selim, A. Di Sandro, R. Salay, M. Chechik, J.R. Cordy, J. Dingel, H. Vangheluwe, and R. S, "Migrating Automotive Product Lines: a Case Study", Proc. ICMT 2015, 8th International Conference on Model Transformaton, L'Aquila Italy, July 2015, pp. 82-97. (Best paper award)

D.H. Martin, J.R. Cordy, B. Adams and G. Antoniol, "Make It Simple - An Empirical Analysis of GNU Makefile Feature Use in Open Source Projects", Proc. ICPC 2015, 23rd IEEE International Conference on Program Comprehension, Florence, Italy, May 2015, pp. 207-217.

M. Stephan and J.R. Cordy, "Identifying Instances of Model Design Patterns and Antipatterns Using Model Clone Detection", Proc. MiSE 2015, 7th International Workshop on Modelling in Software Engineering, Florence, Italy, May 2015, pp. 48-53.

J.R. Cordy, "TXL Source Transformation in Practice" (Tutorial summary), Proc. SANER 2015, 22nd International Conference on Software Ananlysis, Evolution, and Reengineering, Montréal, Québec, March 2015, pp. 590-591.

L. Eshkevari, F. Dos Santos, J.R. Cordy and G. Antoniol, "Are PHP Applications Ready for Hack?", Proc. SANER 2015, 22nd International Conference on Software Ananlysis, Evolution, and Reengineering, Montréal, Québec, March 2015, pp. 63-72.

G.K. Selim, S. Wang, J.R. Cordy and J. Dingel, "Model Transformations for Migrating Legacy Deployment Models in the Automotive Industry", Software and Systems Modelling 14,1 (February 2015), pp. 365-381.

N. Zeni, N. Kiyavitskaya, L. Mich, J.R. Cordy and J. Mylopoulos, "GaiusT: Supporting the Extraction of Rights and Obligations for Regulatory Compliance", Requirements Engineering 20,1 (January 2015), pp. 1-22.

A. Stevenson and J.R. Cordy, "Parse Views with Boolean Grammars", Science of Computer Programming 97,1 (January 2015), pp. 59-63.

2014

A. Stevenson and J.R. Cordy, "A Survey of Grammatical Inference in Software Engineering", Science of Computer Programming 96,4 (December 2014), pp. 444-459.

M.H. Alalfi, E.J. Rapos, A. Stevenson, M. Stephan, T.R. Dean and J.R. Cordy, "Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models", Proc. ICSME 2014, 30th International Conference on Software Maintenance and Evolution, Victoria, BC, September 2014, pp. 486-490.

G.M.K. Selim, L. Lucio, J.R. Cordy, J. Dingel and B.J. Oakes, "Specification and Verification of Graph-Based Model Transformation Properties", Proc. ICGT 2014, 7th International Conference on Graph Transformation, York, UK, July 2014, Lecture Notes in Computer Science 8571, pp. 113-129.

M. Ceccato, Z. Li and J.R. Cordy, "Guest Editorial for the Special Issue on Source Code Analysis and Manipulation", Journal of Software: Evolution and Process 26,6 (June 2014), pp. 531-532.

L. Eshkavari, G. Antoniol, J.R. Cordy and M. di Penta, "Identifying and Locating Interference Issues in Content Management Systems", Proc. ICPC 2014, 22nd International Conference on Program Comprehension, Hyerabad, India, June 2014, pp. 157-167.

M. Stephan, M.H. Alalfi and J.R. Cordy, "Towards a Taxonomy for Simulink Model Transformations", Proc. Mutation 2014, 9th International Workshop on Mutation Analysis, at ICST'14, Cleveland, OH, USA, March 2014, pp. 206-215.

M. Treszise, P. Mousavi, D. Gobbi, J.R. Cordy, and P. Abolmaesumi, "SimITK: Model-driven Engineering for Medical Imaging", Proc. Medical Imaging 2014: Image-Guided Procedures, Robotic Interventions, and Modelling, San Diego, California, February 2014, SPIE Proceedings 9036, March 2014, 903622.

M.H. Alalfi, J.R. Cordy, and T. Dean, "Analysis and Clustering of Model Clones: An Automotive Industrial Experience", Proc. Industry Track of CSMR-WCRE 2014, IEEE CSMR-WCRE Software Evolution Week, Antwerp, Belgium, February 2014, pp. 375-378.

S. Grant and J.R. Cordy, "Examining the Relationship Between Topic Model Similarity and Software Maintenance", Proc. Early Results and Achievements Track of CSMR-WCRE 2014, IEEE CSMR-WCRE Software Evolution Week, Antwerp, Belgium, February 2014, pp. 303-307.

J.R. Cordy and C.K. Roy, "Tuning Research Tools for Scalability and Performance: The NICAD Experience", Science of Computer Programming 79,1 (January 2014), pp. 158-171.

2013

J.R. Cordy, and P.Tonella, "Introduction to the Special Section on ICSM 2011", Journal of Software: Evolution and Process 25,11 (November 2013), pp. 1137-1138.

E.P. Antony, M.H. Alalfi and J.R. Cordy, "An Approach to Clone Detection in Behavioural Models", Proc. WCRE 2013, 20th International Working Conference in Reverse Engineering, Koblenz, Germany, October 2013, pp. 472-476.

M. Stephan, M.H. Alalfi, J.R. Cordy and A. Stevenson, "Evolution of Model Clones in Simulink", Proc. ME 2013, 2013 Models and Evolution Workshop, at MODELS'13, Miami, Florida, USA, September 2013, pp. 38-47.

G.K. Selim, F. Büttner, J.R. Cordy, J. Dingel and S. Wang, "Automated Verification of Model Transformations in the Automotive Industry", Proc. MODELS'13, 16th International Conference on Model Driven Engineering Languages and Systems, Miami, Florida, USA, September 2013, pp. 690-706.

S. Grant, J.R. Cordy and D.B. Skillicorn, "Using Heuristics to Estimate an Appropriate Number of Latent Topics in Source Code Analysis", Science of Computer Programming 78,9 (Sept 2013), pp. 1663-1678.

J.R. Cordy, "Submodel Pattern Extraction for Simulink Models", Proc. SPLC'13, 17th International Software Product Line Conference, Tokyo, Japan, August 2013, pp. 7-10 (Keynote extended abstract).

N. Zeni, L. Mich, J. Mylopoulos and J.R. Cordy, "Applying GaiusT to Extract Requirements from Legal Documents", Proc. RELAW'13, 6th International Workshop on Requirements Engineering, and Law, Rio de Janiero, Brasil, July 2013, pp. 65-68.

A. Almonaies, M.H. Alalfi, J.R. Cordy and T.R. Dean, "A Framework for Migrating Web Applications to Web Services", Proc. ICWE'13, 13th International Conference on Web Engineering, Aalborg, Denmark, July 2013, pp. 384-399.

P. Geesaman, J.R. Cordy, and A. Zouaq, "Ontology Alignment Using Best-match Clone Detection", Proc. IWSC 2013, ICSE 7th International Workshop on Software Clones, San Francisco, May 2013, pp. 1-7.

J. Svajlenko , C.K. Roy and J.R. Cordy, "A Mutation Analysis Based Benchmarking Framework for Clone Detectors", Proc. IWSC 2013, ICSE 7th International Workshop on Software Clones, San Francisco, May 2013, pp. 8-9.

M. Stephan, M.H. Alalfi, A. Stevenson and J.R. Cordy, "Using Mutation Analysis for a Model Clone Detector Comparison Framework", Proc. ICSE 2013 New Ideas and Emerging Results, San Francisco, USA, May 2013, pp. 1261-1264.

M. Stephan and J.R. Cordy, "A Survey of Model Comparison Approaches and Applications", Proc. Modelsward 2013, 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, February 2013, pp. 265-277. (Best student paper award)

M. Stephan and J.R. Cordy, "Application of Model Comparison Techniques to Model Transformation Testing", Proc. Modelsward 2013, 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, February 2013, pp. 307-311.

2012

G.M.K. Selim, J.R. Cordy and J. Dingel, "Model Transformation Testing: The State of the Art", Proc. AMT 2012, 1st MODELS Workshop on the Analysis of Model Transformations, Innsbruck, Austria, October 2012, pp. 21-26.

A. Stevenson ad J.R. Cordy, "Grammatical Inference in Software Engineering: An Overview of the State of the Art", Proc. SLE 2012, 5th International Conference on Software Language Engineering, Dresden, Germany, September 2012, pp. 204-223.

M.H. Alalfi, J.R. Cordy, T.R. Dean, M. Stephan and A. Stevenson, "Models are Code Too: Near-miss Clone Detection for Simulink Models", Proc. ICSM 2012, IEEE 28th International Conference on Software Maintenance, Riva del Garda, Italy, September 2012, pp. 295-304.

M.H. Alalfi, J.R. Cordy and T.R. Dean, , "Automated Verification of Role-based Access Control Security Models Recovered from Dynamic Web Applications", Proc. WSE 2012, 14th IEEE International Symposium on Web Systems Evolution, Riva del Garda, Italy, September 2012, pp. 1-10.

W. Gama, M.H. Alalfi, J.R. Cordy and T.R. Dean, , "Normalizing Object-oriented Class Styles in JavaScript", Proc. WSE 2012, 14th IEEE International Symposium on Web Systems Evolution, Riva del Garda, Italy, September 2012, pp. 79-83.

M.H. Alalfi, J.R. Cordy and T.R. Dean, , "Recovering Role-based Access Control Security Models from Dynamic Web Applications", Proc. ICWE 2012, 12th International Conference on Web Engineering, Berlin, July 2012, pp. 121-136.

G.M.K. Selim, S. Wang, J.R. Cordy and J. Dingel, "Model Transformations for Migrating Legacy Models: An Industrial Case Study", Proc. ECMFA 2012, 8th European Conference on Modelling Foundations and Applications, Kgs. Lyngby, Denmark, July 2012, Lecture Notes in Computer Science 7349, pp. 90-101. (Best industrial paper award)

M. Stephan , M.H. Alalfi, A. Stevenson and J.R. Cordy, "Towards Qualitative Comparison of Simulink Model Clone Detection Approaches", Proc. IWSC 2012, ICSE 6th International Workshop on Software Clones, Zürich, Switzerland, June 2012, pp. 84-85.

M.H. Alalfi, J.R. Cordy, T.R. Dean, M. Stephan and A. Stevenson, "Near-miss Model Clone Detection for Simulink Models", Proc. IWSC 2012, ICSE 6th International Workshop on Software Clones, Zürich, Switzerland, June 2012, pp. 78-79.

L. Lucio, M. Amrani, G. Selim, B. Combemale, J. Dingel, H. Vangheluwe, Y. Le Traon and J.R. Cordy, "A Tridimensional Approach for Studying the Formal Verification of Model Transformations", Proc. VOLT'12, 1st Workshop on the Verification and Validation of Model Transformations, in Proc. ICST 2012, IEEE 5th International Conference on Software Testing, Verification and Validation, Montréal, pp. 915-922.

S. Grant, J.R. Cordy and D.B. Skillicorn, "Using Topic Models to Support Software Maintenance", Proc. CSMR'12, 16th European Conference on Software Maintenance, Szeged, Hungary, pp. 403-408.

2011

A. Almonaies, M. Alalfi, J.R. Cordy and T.R. Dean, "Towards a Framework for Migrating Web Applications to Web Services", Proc. CASCON'11, 21st IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto, November 2011, pp. 229-241.

S. Grant, J.R. Cordy and D. Skillicorn, "Reverse Engineering Co-maintenance Relationships Using Conceptual Analysis of Source Code", Proc. WCRE 2011, 18th Working Conference on Reverse Engineering, Limerick, Ireland, October 2011, pp. 87-91.

S. Grant, D. Martin, J.R. Cordy and D. Skillicorn, "Contextualized Semantic Analysis of Web Services", Proc. WSE 2011, 13th International Symposium on Web Systems Evolution, Williamsburg, Virginia, USA, September 2011, pp. 33-42. (Best paper award)

J.R. Cordy, "Exploring Large-scale System Similarity Using Incremental Clone Detection and Live Scatterplots", Proc. ICPC 2011, 19th International Conference on Program Comprehension, Kingston, Canada, June 2011, pp. 151-160.

J.R. Cordy and C.K. Roy, "The NiCad Clone Detector", Proc. ICPC 2011, 19th International Conference on Program Comprehension, Kingston, Canada, June 2011, pp. 219-220.

J.R. Cordy and C.K. Roy, "DebCheck: Efficient Checking for Open Source Clones in Software Systems", Proc. ICPC 2011, 19th International Conference on Program Comprehension, Kingston, Canada, June 2011, 217-218.

D. Martin and J.R. Cordy, "Analyzing Web Service Similarity Using Contextual Clones", Proc. IWSC 2011, ICSE 5th International Workshop on Software Clones, Waikiki, Hawaii, May 2011, pp. 41-46.

J.R. Cordy, "Live Scatterplots", Proc. IWSC 2011, ICSE 5th International Workshop on Software Clones, Waikiki, Hawaii, May 2011, pp. 79-80.

J.R. Cordy, K. Inoue, S. Jarzabek and R. Koschke, "Fifth International Workshop on Software Clones (IWSC 2011)", Proc. ICSE 2011, 33rd International Conference on Software Engineering, Waikiki, Hawaii, May 2011, pp. 1210-1211.

J.R. Cordy, "Excerpts from the TXL Cookbook", Generative and Transformational Techniques in Software Engineering, Lecture Notes in Computer Science 6491, January 2011, pp. 27-91.

2010

S. Grant and J.R. Cordy, "Estimating the Optimal Number of Latent Concepts in Source Code Analysis", Proc. SCAM 2010, IEEE 10th International Working Conference on Source Code Analysis and Manipulation, Timisoara, Romania, September 2010, pp. 65-74.

C.K. Roy and J.R. Cordy, "Are Scripting Languages Really Different?", Proc. IWSC 2010, ICSE 4th International Workshop on Software Clones, Cape Town, South Africa, May 2010, pp. 17-24.

K. Inoue, S. Jarzabek, J.R. Cordy and R. Koschke, "Fourth International Workshop on Software Clones (IWSC)", Proc. ICSE 2010, 32nd International Conference on Software Engineering, Cape Town, South Africa, May 2010, pp. 465-466.

C.K. Roy and J.R. Cordy, "Near-miss Function Clones in Open Source Software: An Empirical Study", Journal of Software Maintenance and Evolution 22,3 (April 2010), pp. 165-189.

F. Durán, M. Roldán, J.-C. Bach, E. Balland, M. van den Brand, J.R. Cordy, S. Eker, L. Engelen, M. de Jonge, K.T. Kalleberg, "The Third Rewrite Engines Competition", Proc. WRLA 2010, Rewriting Logic and Its Applications - 8th International Workshop, Cyprus, March 2010, Lecture Notes in Computer Science 6381, pp. 243-261.

A. Almonaies, J.R. Cordy and T.R. Dean, "Legacy System Evolution Towards Service-Oriented Architecture", Proc. SOAME 2010, Interrnational Workshop on SOA Migration and Evolution, Madrid, Spain, March 2010, pp. 53-62.

M. Alalfi, J.R. Cordy and T.R. Dean, "Automating Coverage Metrics for Dynamic Web Applications", Proc. CSMR 2010, 15th European Conference on Software Maintenance and Reengineering, Madrid, Spain, March 2010, pp. 51-60.

J.R. Cordy, "Eating our Own Dog Food: DSLs for Generative and Transformational Engineering", Software Language Engineering, Lecture Notes in Computer Science 5969, pp. 1 (Keynote abstract).

2009

M. Alalfi, J.R. Cordy and T.R. Dean, "Modeling Methods for Web Application Verification and Testing: State of the Art", Software Testing, Verification and Reliability 19,4 (Dec. 2009), pp. 265-296.

N. Kiyavitskaya, N. Zeni, J.R. Cordy ,L. Mich and J. Mylopoulos, "Cerno: Light-Weight Tool Support for Semantic Annotation of Textual Documents", Data & Knowledge Engineering 68,12 (Dec. 2009), pp. 1470-1492.

R. Zanibbi, D. Blostein and J.R. Cordy, "White Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making", Proc. ICVS 2009, 7th International Conference on Computer Vision Systems, Liège, Belgium, October 2009, Lecture Notes in Computer Science 5815, pp. 287-294.

M. Alalfi, J.R. Cordy and T.R.Dean, "WAFA: Fine-grained Dynamic Analysis of Web Applications", Proc. WSE 2009, 11th International Symposium on Web Systems Evolution, Edmonton, Canada, September 2009, pp. 41-50.

J.R. Cordy, and L. Zhang, "Guest Editorial for the Special Issue on Source Code Analysis and Manipulation, SCAM 2008", Journal of Information and Software Technology 51,10 (October 2009), pp.1377-1378.

M.H. Alalfi, J.R. Cordy, and T.R. Dean, "A Verification Framework for Access Control in Dynamic Web Applications", Proc. C3S2E, Canadian Conference on Computer Science and Software Engineering, Montréal, May 2009, pp.109-113.

S. Grant and J.R. Cordy, "Vector Space Analysis of Software Clones", Proc. ICPC 2009, 17th IEEE International Conference on Program Comprehension, Vancouver, May 2009, pp. 233-237.

C.K. Roy, J.R. Cordy and R. Koschke, "Comparison and Evaluation of Code Clone Detection Techniques and Tools: A Qualitative Approach", Science of Computer Programming 74,7 (May 2009), pp. 470-495.

M. Alalfi, J.R. Cordy and T.R. Dean, "Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications", Proc. WebTest 2009, 1st International Workshop on Web Testing, Denver, USA, April 2009, pp. 295-302.

C.K. Roy and J.R. Cordy, "A Mutation / Injection-based Automatic Framework for Evaluating Code Clone Detection Tools", Proc.4th International Workshop on Mutation Analysis, Denver, USA, April 2009, pp. 157-166. (Best paper award)

R. Koschke, S. Jarzabek, J.R. Cordy and K. Inoue, "3rd International Workshop on Software Clones", Proc. CSMR 2009, 13th European Conference on Software Maintenance and Reengineering, Kaiserslautern, Germany, March 2009, pp. 269-270.

2008

C.K. Roy and J.R. Cordy, "An Empirical Study of Function Clones in Open Source Software", Proc. WCRE 2008, 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 2008, pp. 81-90.

M. Alalfi, J.R. Cordy and T.R. Dean, "SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas", Proc. WCRE 2008, 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 2008, pp. 187-191.

S. Grant, J.R. Cordy and D.B. Skillicorn, "Automated Concept Location Using Independent Component Analysis", Proc. WCRE 2008, 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 2008, pp. 138-142.

N. Kiyavitskaya, N. Zeni, T.D. Breaux, A.I. Antón, J.R. Cordy, L. Mich and J. Mylopoulos, "Automating the Extraction of Rights and Obligations for Regulatory Compliance", Proc. ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, October 2008, Lecture Notes in Computer Science 5231, pp. 154-168.

C.K. Roy and J.R. Cordy, "NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization", Proc. ICPC 2008, IEEE International Conference on Program Comprehension, Amsterdam, June 2008, pp. 172-181.

C.K. Roy and J.R. Cordy, "Scenario-based Comparison of Clone Detection Techniques", Proc. ICPC 2008, IEEE International Conference on Program Comprehension, Amsterdam, June 2008, pp. 153-162.

C.K. Roy and J.R. Cordy, "Towards a Mutation-Based Automatic Framework for Evaluating Clone Detection Tools", C3S2E, Canadian Conference on Computer Science and Software Engineering, Montréal, May 2008, pp. 137-140. (Best poster award)

N. Brake, J.R. Cordy, E. Dancy, M. Litoiu and V. Popescu, "Automating Discovery of Software Tuning Parameters", Proc. SEAMS 2008, ICSE Workshop on Software Engineering for Adaptive and Self-managing Systems, Leipzig, Germany, May 2008, pp. 65-72.

S. Grant, D.B. Skillicorn and J.R. Cordy, "Topic Detection Using Independent Component Analysis", Proc. LACTS 2008, Workshop on Link Analysis, Counterterrorism and Security, Atlanta, April 2008, pp. 23-28.

N. Zeni, N. Kiyavitskaya, J.R. Cordy, L. Mich and J. Mylopoulos, "Annotating Regulations Using Cerno: An Application to Italian Documents", Proc. ARES 2008, 3rd International Conference on Availability, Reliability and Security, Barcelona, March 2008, pp. 1437-1442.

2007

N. Kiyavitskaya, N. Zeni, T.D. Breaux, A.I. Antón, J.R. Cordy, L. Mich and J. Mylopoulos, "Extracting Rights and Obligations from Regulations: Towards a Tool-Supported Process", Proc. ASE 2007, 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, November 2007, pp. 429-432.

A. Mao, J.R. Cordy and T.R. Dean, "Automated Conversion of Table-based Websites to Structured Stylesheets Using Table Recognition and Clone Detection", Proc. CASCON'07, 17th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto, October 2007, pp. 12-26.

J. Bradbury, J.R. Cordy and J. Dingel, "Comparative Assessment of Testing and Model Checking Using Program Mutation", Proc. Mutation 2007, 3rd Workshop on Mutation Analysis, Windsor, U.K., September 2007. pp. 210-219.

M. Alalfi, J.R. Cordy and T.R. Dean, "A Survey of Analysis Models and Methods in Website Verification and Testing", Proc. ICWE'07, 7th International Conference on Web Engineering, Como, Italy, July 2007, Lecture Notes in Computer Science 4607, pp. 306-311.

N. Zeni, N. Kiyavitskaya, L. Mich, J. Mylopoulos and J.R. Cordy, "A Lightweight Approach to Semantic Annotation of Research Papers", Proc. NLDB 2007, 12th International Conference on Applications of Natural Language to Information Systems, Paris, June 2007, Lecture Notes in Computer Science 4592, pp. 61-72.

N. Zeni, N. Kiyavitskaya, L. Mich, J.R. Cordy and J. Mylopoulos, "Annotating Accommodation Advertisements using CERNO", Proc. ENTER 2007, IFITT 14th International Conference on Information Technology and Travel & Tourism, Ljubljana, Slovenia, January 2007, pp. 389-400.

2006

C.K. Roy and J.R. Cordy, "Evaluating the Evolution of Small Scale Open Source Software Systems", Special issue on CIC 2006, 15th International Conference on Computing, Mexico City, November 2006, Research in Computing Science 23, pp. 123-136.

N. Kiyavitskaya, N. Zeni, L. Mich, J.R. Cordy and J. Mylopoulos, "Text Mining through Semi-Automatic Semantic Annotation", Proc. PAKM 2006, 6th International Conference on Practical Aspects of Knowledge Management, Vienna, November 2006, Lecture Notes in Computer Science 4333, pp. 143-154.

J.S. Bradbury, J.R. Cordy and J. Dingel, "Mutation Operators for Concurrent Java (J2SE 5.0)", Proc. Mutation 2006, 2nd Workshop on Mutation Analysis, Raleigh, North Carolina, November 2006, pp. 83-92.

J.S. Bradbury, J.R. Cordy and J. Dingel, "ExMAn : A Generic and Customizable Framework for Experimental Mutation Analysis", Proc. Mutation 2006, 2nd Workshop on Mutation Analysis, Raleigh, North Carolina, November 2006, pp. 57-62.

A. Thurston and J.R. Cordy, "A Backtracking LR Algorithm for Parsing Ambiguous Context-Dependent Languages", Proc. CASCON'06, 16th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto, October 2006, pp. 39-53.

E. Dancy and J.R. Cordy, "STAC: Software Tuning Panels For Autonomic Control", Proc. CASCON'06, 16th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto, October 2006, pp. 146-160.

H. Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel, "Using Source Transformation to Test and Model Check Implicit-Invocation Systems", Science of Computer Programming 62,3 (October 2006), pp. 209-227.

A. Thurston and J.R. Cordy, "Evolving TXL", Proc. SCAM 2006 - IEEE 6th International Workshop on Source Code Analysis and Manipulation, Philadelphia, September 2006, pp. 117-126.

C.K. Roy, T. Noll, B. Roy and J.R. Cordy, "Towards Automatic Verification of Erlang Programs by π-Calculus Translation", Proc. Erlang'06, ACM SIGPLAN 5th Erlang Workshop, Portland, September 2006, pp. 38-50.

J.R. Cordy, H.C. Gall and J.I. Maletic (as guest editors), "Introduction to the Special Issue on Program Comprehension", Software Quality Journal 14,3 (September 2006), pp. 185-186.

J.R. Cordy, "The TXL Source Transformation Language", Science of Computer Programming 61,3 (August 2006), pp. 190-210.

D. Jin and J.R. Cordy, "Integrating Reverse Engineering Tools Using a Service-Sharing Methodology", Proc. ICPC 2006, 14th International Conference on Program Comprehension, Athens, Greece, June 2006, pp. 94-99.

D. Shimozawa and J.R. Cordy, "TETE: A Non-Invasive Unit Testing Framework for Source Transformation", Post-proc. STEP 2005: 12th International Workshop on Software Technology and Engineering Practice, Budapest, September 2005, pp. 137-146.

D. Jin and J.R. Cordy, "A Service-Sharing Methodology for Integrating COTS-Based Software Systems", Proc. ICCBSS 2006, IEEE 5th International Conference on COTS-Based Software Systems, Orlando, Florida, February 2006, pp. 177-186.

J.R. Cordy, "Source Transformation, Analysis and Generation in TXL", Proc. PEPM'06, ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, Charleston, South Carolina, January 2006, pp. 1-11 (Keynote paper).

2005

N. Kiyavitskaya, N. Zeni, J.R. Cordy, L. Mich and J. Mylopoulos, "Semi-Automatic Semantic Annotations for Web Documents", Proc. SWAP 2005, 2nd Italian Semantic Web Workshop, Trento, Italy, December 2005, CEUR Workshop Proceedings ISSN 1613-0073, ch. 14 (15 pp.)

L. Wang, J.R. Cordy and T.R. Dean, "Enhancing Security Using Legality Assertions", Proc. WCRE 2005 - IEEE 12th International Working Conference on Reverse Engineering, Pittsburgh, November 2005, pp. 35-44.

H. Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel, "Implementation and Verification of Implicit-Invocation Systems Using Source Transformation", Proc. SCAM 2005 - IEEE 5th International Workshop on Source Code Analysis and Manipulation, Budapest, September 2005, pp. 87-96.

D. Jin and J.R. Cordy, "Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology", Proc. ICSM 2005, IEEE 21st International Conference on Software Maintenance, Budapest, September 2005, pp. 613-616.

J.S. Bradbury, J.R. Cordy and J. Dingel, "An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis", Proc. PASTE 2005 ACM SIGPLAN-SIGSOFT 5th Workshop on Program Analysis for Software Tools and Engineering, Lisbon, Portugal, September 2005, pp. 1-4.

N. Kiyavitskaya, N. Zeni, J.R. Cordy, L. Mich and J. Mylopoulos, "Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text", Proc. ICAPR 2005, 3rd International Conference on Advances in Pattern Recognition, Bath, U.K., August 2005, Lecture Notes in Computer Science 3686, pp. 590-600.

R. Zanibbi, D. Blostein and J.R. Cordy, "Recognition Tasks are Imitation Games", Proc. ICAPR 2005, 3rd International Conference on Advances in Pattern Recognition, Bath, U.K., August 2005, Lecture Notes in Computer Science 3686, pp. 209-218.

R. Zanibbi, D. Blostein and J.R. Cordy, "The Recognition Strategy Language", Proc. ICDAR 2005 - IAPR 8th International Conference on Document Analysis and Recognition, Seoul, Korea, August 2005, pp. 565-569.

R. Zanibbi, D. Blostein and J.R. Cordy, "Historical Recall and Precision: Summarizing Generated Hypotheses", Proc. ICDAR 2005 - IAPR 8th International Conference on Document Analysis and Recognition, Seoul, Korea, August 2005, pp. 202-206.

T. Cassidy, J.R. Cordy, T. Dean and J. Dingel, "Source Transformation for Concurrency Analysis", Proc. LDTA 2005, ACM 5th International Workshop on Language Descriptions, Tools and Applications, Edinburgh, Scotland, April 2005, pp. 26-43. Electronic Notes in Theoretical Computer Science 141,4 (December 2005), pp. 57-75.

D. Shimozawa and J.R. Cordy, "TETE: A Source Transformation Environment for Eclipse", Eclipse Research-Industry Technology Exchange, EclipseCon 2005, Burlingame, California, February 2005, 2 pp.

2004

D. Jin and J.R. Cordy, "Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System", Proc. ATEM 2004, 2nd International Workshop on Metamodels, Schemas & Grammars for Reverse Engineering, Delft, Netherlands, October 2004, Electronic Notes in Theoretical Computer Science 137,3 (Sept 2005), pp. 65-75.

J.S. Bradbury, J.R. Cordy, J. Dingel and M. Wermelinger, "A Survey of Self-Management in Dynamic Software Architecture Specifications", Proc. WOSS'04 , 2004 Workshop on Self-Managed Systems, at SIGSOFT 2004 / FSE-12 - ACM SIGSOFT 12th International Symposium on Foundations of Software Engineering, Newport Beach, California, October 2004, pp. 28-33.

J.R. Cordy and M. Shukla Sarkar, "Metaprogam Implementation by Second Order Source Transformation", Proc. STS'04, Software Transformation Systems Workshop, at GPCE'04 - ACM SIGPLAN 3rd International Conference on Generative Programming and Component Engineering, Vancouver, October 2004, pp. 11-12.

J.R. Cordy, T.R. Dean and N. Synytskyy, "Practical Language-Independent Detection of Near-Miss Clones", Proc. CASCON'04, 14th IBM Centre for Advanced Studies Conference, Toronto, October 2004, pp. 29-40 (Best paper award).

R. Zanibbi, D. Blostein and J.R. Cordy, "A Survey of Table Recognition: Models, Observations, Transformations and Inferences", International Journal on Document Analysis and Recognition 7,1 (March 2004), pp. 1-16.

H. Zhang, J. Bradbury, J.R. Cordy and J. Dingel, "A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems", Proc. DEBS'04 - 3rd International Workshop on Distributed Event-Based Systems, Edinburgh, May 2004, pp. 110-115.

J.R. Cordy, "TXL - A Language for Programming Language Tools and Applications", Proc. LDTA 2004, ACM 4th International Workshop on Language Descriptions, Tools and Applications, Barcelona, Spain, April 2004, pp. 1-27. Electronic Notes in Theoretical Computer Science 110 (December 2004), pp. 3-31 (Keynote paper).

A. De Lucia, J.R. Cordy and J. Mylopoulos (as guest editors), "Introduction to the Special Issue on Source Code Analysis and Manipulation", Journal of Automated Software Engineering 11,1 (January 2004), pp. 5-6.

2003

S. Grant and J.R. Cordy, "An Interactive Interface for Refactoring Using Source Transformation", Proc. REFACE'03, 1st International Workshop on Refactoring: Achievements, Challenges, Effects, Victoria, November 2003, pp. 30-33.

T.R. Dean, J.R. Cordy, A.J. Malton and K.A. Schneider, "Agile Parsing in TXL", Journal of Automated Software Engineering 10,4 (October 2003), pp. 311-336.

N. Synytskyy, J.R. Cordy and T.R. Dean, "Robust Multilingual Parsing Using Island Grammars", Proc. CASCON 2003, 13th IBM Centres for Advanced Studies Conference, Toronto, October 2003, pp. 149-161.

D. Jin and J.R. Cordy, "A Service Sharing Approach to Integrating Program Comprehension Tools", Proc. European Software Engineering Conference (ESEC) / ACM Symposium on the Foundations of Software Engineering (FSE) 2003 Workshop on Tool Integration in System Development, Helsinki, September 2003, pp. 73-78.

N. Synytskyy, J.R. Cordy and T.R. Dean, "Resolution of Static Clones in Dynamic Web Pages", Proc. WSE 2003, IEEE 5th International Workshop on Web Site Evolution, Amsterdam, September 2003, pp. 49-58.

X. Guo, J.R. Cordy and T.R. Dean, "Unique Renaming of Java Using Source Transformation", Proc. SCAM 2003, IEEE 3rd International Workshop on Source Code Analysis and Manipulation, Amsterdam, September 2003, pp. 151-160.

J.R. Cordy, "Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation", Proc. IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003, pp. 196-206 (Keynote paper).

J.R. Cordy, "Generalized Selective XML Markup of Source Code Using Agile Parsing", Proc. IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003, pp. 144-153.

D. Jin, J.R. Cordy and T.R. Dean, "Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter", Proc. CSMR 2003, IEEE 7th European Conference on Software Maintenance and Reengineering, Benevento, Italy, March 2003, pp. 399-408.

2002

T.R. Dean, J.R. Cordy, A.J. Malton and K.A. Schneider, "Grammar Programming in TXL", Proc. SCAM'02 - IEEE 2nd International Workshop on Source Code Analysis and Manipulation, Montreal, October 2002, pp. 93-102.

K.A. Schneider and J.R. Cordy, "Abstract User Interfaces: a Model and Notation to Support Plasticity in Interactive Systems" in Interactive Systems: Design, Specification and Verification, Springer Verlag Lecture Notes in Computer Science 2220, Berlin, 2002, pp. 28-48.

R. Zanibbi, D. Blostein and J.R. Cordy, "Recognizing Mathematical Expressions Using Tree Transformation", IEEE Transactions on Pattern Analysis & Machine Intelligence 24,11 (November 2002), pp. 1455-1467.

J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Source Transformation in Software Engineering using the TXL Transformation System", Special Issue on Source Code Analysis and Manipulation, Journal of Information and Software Technology 44,13 (October 2002), pp. 827-837.

D. Blostein, J.R. Cordy and R. Zanibbi, "Applying Compiler Techniques to Diagram Recognition", Proc. ICPR 2002, 16th IAPR International Conference on Pattern Recognition, Québec, August 2002, Vol. 3 pp. 127-130.

D. Jin, J.R. Cordy and T.R. Dean, "Where's the Schema? A Taxonomy of Patterns for Software Exchange", Proc. IWPC 2002 - IEEE 10th International Workshop on Program Comprehension, Paris, June 2002, pp. 65-74.

K.A. Schneider and J.R. Cordy, "AUI: A Programming Language for Developing Plastic Interactive Software", Proc. HICSS-35 - Hawaii Int'l Conf. on the System Sciences, Waikoloa, Hawaii, Jan. 2002, pp. 281b (10 pp.)

2001

H. Fahmy, R.C. Holt and J.R. Cordy, "Wins and Losses of Algebraic Transformations of Software Architectures", Proc. ASE'2001, IEEE 16th International Conference on Automated Software Engineering, San Diego, November 2001, pp. 51-62.

R. Zanibbi, D. Blostein and J.R. Cordy, "Directions in Recognizing Tabular Structures of Handwritten Mathematics Notation", Proc. GREC 2001, 4th IAPR International Workshop on Graphics Recognition, Kingston, September 2001, pp. 493-499. (Refereed by abstract only.)

J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Software Engineering by Source Transformation - Experience with TXL", Proc. SCAM'01 - IEEE 1st International Workshop on Source Code Analysis and Manipulation, Florence, November 2001, pp. 168-178.

T.R. Dean, J.R. Cordy, K.A. Schneider and A.J. Malton, "Experience Using Design Recovery Techniques to Transform Legacy Systems", Proc. ICSM 2001 - IEEE International Conference on Software Maintenance, Florence, November 2001, pp. 622-631.

R. Zanibbi, D.A. Blostein and J.R. Cordy, "Baseline Structure Analysis of Handwritten Mathematics Notation", Proc. ICDAR 2001 - IAPR 6th International Conference on Document Analysis and Recognition, Seattle, September 2001, pp. 768-773.

K.A. Schneider and J.R. Cordy, "Abstract User Interfaces: a Model and Notation to Support Plasticity in Interactive Systems", Proc. DSVIS 2001 - 8th International Workshop on Design, Specification and Verification of Interactive Systems, Glasgow, June 2001, pp. 40-59.

J.R. Cordy, K.A. Schneider, T.R. Dean and A.J. Malton, "HSML: Design Directed Source Code Hot Spots", Proc. IWPC 2001 - IEEE 9th International Workshop on Program Comprehension, Toronto, May 2001, pp. 145-154.

A.J. Malton, K.A. Schneider, J.R. Cordy, T.R. Dean, D. Cousineau and J. Reynolds, "Processing Software Source Text in Automated Design Recovery and Transformation", Proc. IWPC 2001 - IEEE 9th International Workshop on Program Comprehension, Toronto, May 2001, pp. 127-134.

1998

M. Shukla Sarkar, D. Blostein and J.R. Cordy, "GXL - A Graph Transformation Language with Scoping and Graph Parameters", Proc. TAGT'98 - Theory and Applications of Graph Transformations, Paderborn, Germany, November 1998, 8 pp.

1996

T.R. Dean and J.R. Cordy, "Software Characterization using Connectivity", in Studies of Software Design, D.A. Lamb (ed.), Springer Verlag Lecture Notes in Computer Science 1078, Berlin, 1996, pp. 33-48.

1995

T.R. Dean and J.R. Cordy, "A Syntactic Theory of Software Architecture", Special Issue on Software Architecture, IEEE Transactions on Software Engineering 21,4 (January 1995), pp. 302-313.

J.R. Cordy and K.A. Schneider, "Architectural Design Recovery Using Source Transformation", Proc. CASE'95 Workshop on Software Architecture, Toronto (July 1995), 15 pp.

1994

R. Abu-Hamdeh, J.R. Cordy and T.P. Martin, "Schema Translation Using Structural Transformation", Proc. CASCON'94, IBM Centre for Advanced Studies 1994 Conference, Toronto, November 1994, pp. 202-215.

1993

J.R. Cordy and M. Barbacci (as Guest Editors), "Introduction to the Special Issue on ICCL'92", Computer Languages 19,2 (April 1993), pp. 63-64.

T.R. Dean and J.R. Cordy, "Software Characterization using Connectivity", Proc. Workshop on Studies of Software Design, 15th International Conference on Software Engineering (ICSE), Baltimore, Maryland, May 1993, pp. 1-16.

1992

J.R. Cordy and T.C.N. Graham, "GVL: Visual Specification of Graphical Output", Journal of Visual Languages and Computing 3,1 (January 1992), pp. 25-47.

J.R. Cordy and M. Shukla, "Practical Metaprogramming", Proc. CASCON'92, IBM Centre for Advanced Studies 1992 Conference, Toronto, November 1992, pp. 215-224.

J.R. Cordy, "Why the User Interface is not the Programming Language - and How it Can Be", in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp. 91-100.

J.R. Cordy, "Hints on the Design of User Interface Language Features - Lessons from the Design of Turing", in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp. 329-340.

J.R. Cordy, R.D. Hill, G. Singh and B. Vander Zanden, "Report of the Linguistic Support Working Group", in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp. 385-400.

1991

J.R. Cordy, C.D. Halpern and E. Promislow, "TXL: A Rapid Prototyping System for Programming Language Dialects", Computer Languages 16,1 (January 1991), pp. 97-107.

J.R. Cordy, "Why the User Interface is not the Programming Language - and How it Can Be", ACM CHI'91 Workshop on Languages for Developing User Interfaces, April 1991. Published as chapter 6 in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp. 91-100.

J.R. Cordy, "Hints on the Design of User Interface Language Features - Lessons from the Design of Turing", ACM CHI'91 Workshop on Languages for Developing User Interfaces, April 1991. Published as chapter 18 in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp. 329-340.

1990

J.R. Cordy, N.L. Eliot and M.G. Robertson, "TuringTool: A Knowledge-Based User Interface to Aid in the Maintenance Task", IEEE Transactions on Software Engineering 16,3 (March 1990), pp. 294-301.

J.R. Cordy and R.C. Holt, "Code Generation Using an Orthogonal Model,"
Software-Practice and Experience 20,3 (March 1990), pp. 301-320.

J.R. Cordy and E.M. Promislow, "Specification and Automatic Prototype Implementation of Polymorphic Objects in Turing Using the TXL Dialect Processor", Proc. IEEE 1990 International Conference on Computer Languages, March 1990, pp. 145-154.

J.R. Cordy and T.C.N. Graham, "GVL: A Graphical, Functional Language for the Specification of Output in Programming Languages," Proc. IEEE 1990 International Conference on Computer Languages, March 1990, pp. 11-22.

1989

D.T. Barnard and J.R. Cordy, "Automatically Generating SL Parsers from LL(1) Grammars", Computer Languages 14,2 (April 1989), pp. 93-98.

T.C.N. Graham and J.R. Cordy, "Conceptual Views of Data Structures as a Model of Output in Programming Languages," Proc. HICSS-22, ACM/IEEE 22nd Hawaii International Conference on System Sciences, January 1989, pp. 1064-1074.

1988

R.C. Holt and J.R. Cordy, "The Turing Programming Language", Communications of the Association for Computing Machinery 31,12 (December 1988),pp. 1410-1423.

D.T. Barnard and J.R. Cordy, "SL Parses the LR Languages", Computer Languages 13,2 (April 1988), pp. 65-74.

J.R. Cordy, C.D. Halpern and E. Promislow, "TXL: A Rapid Prototyping System for Programming Language Dialects", Proc. IEEE 1988 International Conference on Computer Languages, October 1988, pp. 280-285.

1987

J.R. Cordy and T.C.N. Graham, "Design of an Interpretive Environment for Turing", Proc. ACM SIGPLAN 1987 Symposium on Interpreters and Interpretive Techniques, ACM SIGPLAN Notices 22,7, July 1987, pp. 199-204.

J.R. Cordy, "Code Generation Using an Orthogonal Model", Proc. HICSS-20, ACM/IEEE 20th Hawaii International Conference on System Sciences, January 1987, pp. 318-329.

1986

J.R. Cordy and T.C.N. Graham, "TTV: A Programming Environment That's as Smart as You Want It To Be", Proc. NRC 5th Canadian Symp. on Instructional Technology, Ottawa, May 1986, pp. 465-472.

1984

J.R. Cordy, "Compile Time Detection of Aliasing in Euclid Programs", Software-Practice and Experience 14,8 (August 1984), pp. 755-768.

J.R. Cordy, "Early Experience with Turing", Proc. IFIP/IFORS Conference on System Programming Languages -Experience and Assessment, University of Kent at Canterbury, Sept. 1984.

1983

J.R. Cordy and R.C. Holt, "Turing: A New General Purpose Computer Language Under UNIX", Proc. USENIX 1983 Summer Conference, Toronto, July 1983, pp. 249-254.

1982

R.C. Holt, J.R. Cordy and D.B. Wortman, "An Introduction to S/SL: Syntax/Semantic Language", ACM Transactions on Programming Languages and Systems 4,2 (April 1982), pp. 149-178.

1981

D.B. Wortman and J.R. Cordy, "Early Experiences with Euclid", Proc. ICSE-5, IEEE 5th International Conf. Software Engineering, San Diego, March 1981, pp. 27-32.

D.B. Wortman, R.C. Holt, J.R. Cordy, D.R. Crowe and I.H. Griggs, "Euclid - A Language for Producing Quality Software", Proc. AFIPS 1981 National Computer Conference, Chicago, May 1981, pp. 257-264.

R.C. Holt, J.R. Cordy, B.A. Spinney and C.R. Lewis, "Concurrent Euclid: Comparison with C and Pascal," Proc. 14th Canadian DECUS Symposium, Ottawa, May 1981, DECUS Proceedings 7,3 (1981), 3 pp.

1980

J.R Cordy, R.C. Holt, and D.B. Wortman. "A Production Compiler for Euclid", Proc. 13th Canadian DECUS Symposium, Toronto, February 1980, DECUS Proceedings 6,3 (1980) pp. 857-859.

1979

J.R. Cordy, R.C. Holt and D.B. Wortman, "Semantic charts: A Diagrammatic Approach to Semantic Processing", Proc. SIGPLAN 1979 Symposium on Compiler Construction, Denver, August 1979, pp. 39-49.

1978

R.C. Holt, D.B. Wortman, J.R. Cordy and D.R. Crowe, "The Euclid Language: A Progress Report", Proc. ACM 1978 Annual Conference, Washington, December 1978, pp. 111-115.

1977

R.C. Holt, D.B. Wortman, D.T. Barnard and J.R. Cordy, "SP/k: A System for Teaching Computer Programming", Communications of the ACM 20,5 (May 1977), pp. 301-309.

R.C. Holt, D.B. Wortman, J.R. Cordy and J.Z. Kornatowski, "SP/k: A System for Teaching Computer Programming", Proc. 10th Canadian DECUS Symposium, Banff, February 1977, DECUS Proceedings 3,3 (1977) pp. 955-958.

Posters and Presentations

D. Martin, J.R. Cordy, A. Lau and J. Ng, "Web Service Similarity", CASCON 2010, 20th IBM Centres for Advanced Studies Conference, Toronto (November 2010).

S. Grant and J.R. Cordy, "Evaluating Concept Location Techniques", CASCON 2010, 20th IBM Centres for Advanced Studies Conference, Toronto (November 2010).

D. Martin and J.R. Cordy, "Towards Web Services Tagging by Similarity Detection", Consortium for Software Engineering Research (CSER) Meeting, Toronto (November 2010).

S. Grant and J.R. Cordy, "The Value of Concept Location in Software Development", Consortium for Software Engineering Research (CSER) Meeting, Toronto (November 2010).

D. Martin, J.R. Cordy, L. Nigul and J. Ng, "Restructuring WSDL: A Technique for Effective Service Similarity Detection", CASCON 2009, 19th IBM Centres for Advanced Studies Conference, Toronto (November 2009).

S. Grant and J.R. Cordy, "Collecting Good Concept Data", CASCON 2009, 19th IBM Centres for Advanced Studies Conference, Toronto (November 2009).

A. Almonaies, J.R. Cordy and T.R. Dean, "Legacy Systems Evolution towards Service-Oriented Architecture", CASCON 2009, 19th IBM Centres for Advanced Studies Conference, Toronto (November 2009).

M. Alalfi, J.R. Cordy and T.R. Dean, "A Verification Framework for Access Control in Dynamic Web Applications", CASCON 2009, 19th IBM Centres for Advanced Studies Conference, Toronto (November 2009).

D. Martin and J.R. Cordy, "Restructuring WSDL: A Technique for Effective Service Similarity Detection", Consortium for Software Engineering Research (CSER) Meeting, Toronto (November 2009).

J.R. Cordy, "Excerpts from the TXL Cookbook" Invited 3-part tutorial at GTTSE 2009, 3rd Internatinal Doctoral Workshop on Generative and Transformational Techniques in Software Engineering, Braga, Portugal (July 2009).

C.K. Roy and J.R. Cordy, "Near-miss Function Clones in Open Source Software: An Empirical Study", CSER Workshop on Mining Software Repositories, Montréal (April 2009).

C.K. Roy and J.R. Cordy, "NICAD: A Next Generation Clone Detection Tool", Consortium for Software Engineering Research (CSER) Meeting, Montréal (April 2009).

S. Grant and J.R. Cordy, "Vector Space Analysis of Software Clones", Consortium for Software Engineering Research (CSER) Meeting, Montréal (April 2009).

C.K. Roy and J.R. Cordy, "A Mutation / Injection-Based Automatic Framework for Evaluating Code Clone Detection Tools", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2008).

J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Cradle to Grave: Complete Evolution of the LS/2000 Software Architecture", WASDeTT 2008, 2nd International Workshop on Advanced Software Development Tools and Techniques, Beijing (October 2008).

S. Atre, J.R. Cordy and T.P. Martin, "Relational Views of XML for the Semantic Web", CASCON'07, 17th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto (October 2007).

N. Brake, J.R. Cordy, E. Dancy, M. Litoiu and V. Popescu, "STAC: Automatically Identifying Software Tuning Parameters", CASCON'07, 17th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto (October 2007).

N. Brake, J.R. Cordy, E. Dancy, M. Litoiu and V. Popescu, "STAC: Software Tuning Panels for Autonomic Control - Automatically Identifying Software Tuning Parameters", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2007).

J.S. Bradbury, J.R. Cordy and J. Dingel, "Using Program Mutation for the Assessment of Concurrency Testing and Formal Analysis", Consortium for Software Engineering Research (CSER) Meeting, Toronto (April 2007).

M.H. Alalfi, J.R. Cordy and T.R. Dean, "A Survey of Analysis Models and Methods in Website Verification and Testing", Consortium for Software Engineering Research (CSER) Meeting, Toronto (April 2007).

C.K. Roy and J.R. Cordy, "Observing the Evolution Behavior of Small Size Open Source Software Systems: A Case Study", CIC 2006, 15th International Conference on Computing, Mexico City (November 2006).

J. Bradbury, J.R. Cordy, and J. Dingel, "Finding Bugs in Concurrent Java Programs: A Comparison of Bug Detection Tools Using Mutation", CASCON 2006, 16th IBM Centres for Advanced Studies Conference, Toronto (October 2006).

A. Mao, J.R. Cordy and T.R. Dean, "Translating TABLE Layout to Cascading Style Sheets", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2006).

C.K. Roy and J.R. Cordy, "Modeling Erlang in the π-Calculus", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2006).

J.R. Cordy, "RSL: A Meta-Case Study in Theory Formulation and Use", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2006).

A. Thurston and J.R. Cordy, "A Backtracking LR Algorithm for Parsing Ambiguous Context-Dependent Languages", Consortium for Software Engineering Research (CSER) Meeting, Victoria (May 2006).

D. Shimozawa, J.R. Cordy and A. Thurston, "TETE: Unit Testing for Source Transformation", CASCON 2005, 15th IBM Centres for Advanced Studies Conference, Toronto (October 2005).

L. Dancy and J.R. Cordy, "Software Tuning Panels for Autonomic Control", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2005).

A. Thurston and J.R. Cordy, "Evolving TXL", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2005).

D. Shimozawa and J.R. Cordy, "A Test-Driven Environment for Source Transformation", STEP 2005 Workshop on Design Issues for Software Analysis and Maintenance Tools, Budapest, Hungary (September 2005).

J.R. Cordy, "Set Theoretic Composition of Source Views: TuringTool and HSML", IWPC 2005 Working Session on Textual Views of Source Code to Support Comprehension, St. Louis, Missouri (May 2005).

J.R. Cordy, "Bridging the Gap: a Source Markup Alternative", Dagstuhl Seminar 05161, Transformation Techniques in Software Engineering, Dagstuhl, Germany (April 2005).

J.R. Cordy, "Agile Parsing", 40th Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Dagstuhl, Germany (November 2002).

J.R. Cordy, "Global Unique Naming in LS/AMT", 38th Meeting of IFIP Working Group 2.4 (Software Implementation Technology), San Miniato, Italy (May 2001).

J.R. Cordy, "HSML: The Hot Spot Markup Specification Language", 36th Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Banff, Alberta (September 1999).

J.R. Cordy, "The Year 2000 Problem", 33rd Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Estes Park, Colorado (September 1997).

J.R. Cordy, "Evolution of the LS/2000 Software Architecture",
33rd Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Estes Park, Colorado (September 1997).

Keynote Addresses

J.R.Cordy, "Genetics of Computer Programs - a Call for Change in Static Analysis", Keynote address, MODELS 2018, ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Copenhagen, Denmark, October 2018.

J.R.Cordy, "Complexity for Software Maintenance - In Search of a Program Undersanding Theory", Keynote address, ICSME 2015, 31st International Conference on Software Maintenance and Evolution, Bremen, Germany, September 2015.

J.R.Cordy, "SIMONE: Architecture-Sensitive Near-Miss Clone Detection for Simulink Models", Keynote address, WASA 2015, 1st International Workshop on Automotive Software Architecture, Montréal, Québec, May 2015.

J.R.Cordy, "Source Transformation on Boolean Grammars: Advantages and Challenges", Keynote address, OOPSLE 2015, 3rd International Workshop on Open and Original Problems in Software Language Engineering, Montréal, Québec, March 2015.

J.R. Cordy, "Submodel Pattern Extraction for Simulink Models", Keynote Address, SPLC'13, 17th International Software Product Line Conference, Tokyo, Japan, August 2013.

J.R. Cordy, "The Power of Parsing", Keynote Address, IWRE 2011, 2nd India Workshop on Reverse Engineering, Trivandrum, Kerala, India, February 2011.

J.R. Cordy, "Eating our own Dog Food: DSLs for Generative and Transformational Engineering", Joint Keynote Address at GPCE 2009, ACM 8th International Conference on Generative Programming and Component Engineering, and SLE 2009, 2nd International Conference on Software Language Engineering, Denver, Colorado, October 2009.

J.R. Cordy, "Dreaming in a Straightjacket: on Professions, Engineering and Creativity", Keynote Address, CUSEC 2007, 2007 Canadian University Software Engineering Conference, Montréal, January 2007.

J.R. Cordy, "Source Transformation, Analysis and Generation in TXL", Keynote Address, PEPM'06, ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, Charleston, South Carolina, January 2006.

J.R. Cordy, "TXL - A Language for Programming Language Tools and Applications", Keynote Address, LDTA 2004, ACM 4th International Workshop on Language Descriptions, Tools and Applications, Barcelona, Spain, April 2004.

J.R. Cordy, "Comprehending Reality: Practical Challenges to Software Maintenance Automation", Keynote Address, IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003.

Books and Chapters in Books

M. Chignell, J.R. Cordy, R. Kealey, J. Ng and Y. Yesha (eds.), The Personal Web: A Research Agenda, Lecture Notes in Computer Science 7855, Springer Verlag, July 2013.

M. Chignell, J.R. Cordy, J. Ng and Y. Yesha (eds.), The Smart Internet: Current Research and Future Applications, Lecture Notes in Computer Science 6400, Springer Verlag, October 2010.

J. Ng, M. Chignell, J.R. Cordy and Y. Yesha, Preface to Part I: Smart Interactions, in M. Chignell et al. (eds.), The Smart Internet: Current Research and Future Applications, Lecture Notes in Computer Science 6400, Springer Verlag, October 2010.

J. Ng, J.R. Cordy, M. Chignell and Y. Yesha, Preface to Part II: Smart Services, in M. Chignell et al. (eds.), The Smart Internet: Current Research and Future Applications, Lecture Notes in Computer Science 6400, Springer Verlag, October 2010.

J. Ng, M. Chignell, J.R. Cordy and Y. Yesha, Chapter 3. Overview of the Smart Internet, in M. Chignell et al. (eds.), The Smart Internet: Current Research and Future Applications, Lecture Notes in Computer Science 6400, Springer Verlag, October 2010, pp.51-58.

D. Martin and J.R. Cordy, Chapter 12. Towards Web Services Tagging by Similarity Detection in M. Chignell et al. (eds.), The Smart Internet: Current Research and Future Applications, Lecture Notes in Computer Science 6400, Springer Verlag, October 2010, pp. 222-240.

R. Zanibbi, D. Blostein and J.R. Cordy, Decision-Based Specification and Comparison of Table Recognition Algorithms, in S. Marinai and H. Fujisawa (Eds.), Machine Learning in Document Analysis and Recognition, Studies in Computational Intelligence, Vol 90, 2008, pp. 71-104.

J.R. Cordy, I.H. Carmichael and R. Halliday, The TXL Programming Language, Queen's University, Kingston, 1988, 72 pp. (version 10.4, 2005)

R.C. Holt, P.A. Matthews, J.A. Rosselet and J.R. Cordy, The Turing Programming Language: Design and Definition, Prentice-Hall, 1988, 325 pp.

J.R. Cordy, Introduction to Compiler Construction Using S/SL : the Syntax/Semantic Language, Department of Computing and Information Science, Queen's University at Kingston, July 1986, 131 pp. (5th edition, 2006)

J.R. Cordy, 6.2 Una Strategia Ortogonale, in Compilatori, Interpreti Techniche di Traduzione, Stefano Crespi-Reghizzi, Masson S.p.A., Milano, 1990, pp. 307-338 (in Italian).

R.C. Holt and J.R. Cordy, The Turing Language Report, in Introduction to Computer Science using the Turing Programming Language, R.C. Holt and J.N.P. Hume, Reston, 1984, pp. 331-387.

J.R. Cordy and R.C Holt, Specification of Concurrent Euclid, in Concurrent Euclid, the UNIX System and TUNIS, R.C. Holt, Addison-Wesley, 1983, pp. 243-297.

Significant Other Publications

M. Chignell, J.R. Cordy, J. Ng and Y. Yesha, "First Symposium on the Personal Web" (workshop description), Proc. CASCON 2010, 20th IBM Centres for Advanced Studies Conference, Toronto, November 2010, pp. 327-329.

M. Chignell, J.R. Cordy, J. Ng and Y. Yesha, (eds.), Proceedings of the First Symposium on the Personal Web, Toronto, November 2010, 115 pp.

J.R. Cordy, M. Chignell and J. Ng, "SITCON: The CAS / NSERC Strategic Workshop in Smart Internet Technologies" (workshop description), Proc. CASCON 2009, 19th IBM Centres for Advanced Studies Conference, Toronto, November 2009, pp. 283-284.

J. Ng., M. Chignell and J.R. Cordy, "The Smart Internet: Transforming the Web for the User", Proc. CASCON 2009, 19th IBM Centres for Advanced Studies Conference, Toronto, November 2009, pp. 285-296.

J.R. Cordy, M. Chignell and J. Ng (eds.), Pre-proccedings of SITCON: The CAS / NSERC Strategic Workshop in Smart Internet Technologies, Toronto, November 2009, 88 pp.

J.R. Cordy, "Excerpts from the TXL Cookbook", Pre-proc. GTTSE 2009, 3rd Internatinal Summer School on Generative and Transformational Techniques in Software Engineering, Braga, Portugal, July 2009, pp. 23-106 (invited tutorial).

C.K. Roy and J.R. Cordy, "A Survey on Software Clone Detection Research", Technical Report 2007-541, School of Computing, Queen's University, November 2007, 115 pp.

M. Alalfi, J.R. Cordy and T.R. Dean, "A Survey of Analysis Models and Methods in Website Verification and Testing", Technical Report 2007-532, School of Computing, Queen's University, April 2007, 58 pp.

A. Walenstein, J.R. Cordy, W. Evans, A. Hassan, T. Kamiya, C. Kapser and E. Merlo, "Presentation and Visualization of Redundant Code: Working Session Summary", Proc. Dagstuhl Seminar 05301 - Duplication, Redundancy, and Similarity in Software, ISSN 1862-4405 (2007-966), January 2007, pp. 1-5.

A. Walenstein, M. El-Ramly, J.R. Cordy, W. Evans, K. Mahdavi, M. Pizka, G. Ramalingam, J.W. von Gudenberg and T. Kamiya, "Similarity in Programs", Proc. Dagstuhl Seminar 05301 - Duplication, Redundancy, and Similarity in Software, ISSN 1862-4405 (2007-968), January 2007, pp. 1-8.

J.S. Bradbury, J.R. Cordy and J. Dingel, "Mutation Operators for Concurrent Java (J2SE 5.0)", Technical Report 2006-520, School of Computing, Queen's University, November 2006, 22 pp.

R. Zanibbi, D. Blostein and J.R. Cordy, "Decision-Based Specification and Comparison of Table Recognition Algorithms", Proc. WNYIP 2006, IEEE 2006 Western New York Image Processing Workshop, Rochester, New York, September 2006, 4 pp.

J.R. Cordy, R. Lämmel and A. Winter (Eds.), Proc. Dagstuhl Seminar 05161 - Transformation Techniques in Software Engineering, ISSN 1862-4405 (2006-497), January 2006.

J.R. Cordy, R. Lämmel and A. Winter, "Executive Summary - Transformation Techniques in Software Engineering", Proc. Dagstuhl Seminar 05161 - Transformation Techniques in Software Engineering, ISSN 1862-4405 (2006-497), January 2006, pp. 1-24.

J.R. Cordy and J.J. Vinju, "How to Make a Bridge Between Transformation and Analysis Technologies?", Proc. Dagstuhl Seminar 05161 - Transformation Techniques in Software Engineering, ISSN 1862-4405 (2006-426), January 2006, pp. 1-7.

J.R. Cordy, "User's Guide to the TXL Compiler / Interpreter", Queen's University, Kingston, 1991, 24 pp. (Version 10.4, 2005)

J.R. Cordy, "TXL Error Messages - what they mean, and what to do about them", Queen's University, Kingston, 1995, 49 pp. (Version 10.4, 2005)

J.R. Cordy, "Hot Spot Markup Specification Language (HSML) v3.0 Revised Language Specification", Technical Report WP99-202, Legasys Corporation, Kingston, 1999,9 pp.

J.R. Cordy and T.R. Dean, "The Evolution of LS/2000: a Case Study in Software Architecture", Technical Report ED7-98, Legasys Corporation, Kingston, 1998, 12 pp.

J.R. Cordy, "The LS/2000 Approach to the Year 2000 Certification: A Client's Perspective", Technical Report ED6-98, Legasys Corporation, Kingston, 1998, 8 pp.

J.R. Cordy, "The LS/2000 Technical Guide to the Year 2000", Technical Report ED5-97, Legasys Corporation, Kingston, and IBM Corporation, Toronto, 1997, 22 pp.

J.R. Cordy, "Language Issues in User Interface Specification", Proc. IFIP WG2.4 African Autumn School, Stream A2 : Multimedia and User Interfaces, University of Pretoria, South Africa, 1993, pp. 65-100.

R.C. Holt and J.R. Cordy, "The Turing Plus Report," Technical Report CSRI-214, Computer Systems Research Institute, University of Toronto, 1985 (revised 1987)

J.R. Cordy and R.C. Holt, "Euclid Version 2 Language Specification", Thompson Foss Inc., Department of National Defence, Ottawa, 1984, 47 pp.

R.C. Holt and J.R. Cordy, "The Turing Language Report", Technical Report CSRI-153, Computer Systems Research Institute, University of Toronto, 1983 (revised 1986).

J.R. Cordy and R.C. Holt, "Specification of Concurrent Euclid", Technical Reports CSRI-115 and CSRI-133, Computer Systems Research Institute, University of Toronto, 1980 (revised 1981).

Cordy Home

Last updated 23 Aug 2021