|
James
R. (Jim) Cordy
Selected
Publications
Refereed
Publications
Most recent papers
are linked to downloadable Adobe
Acrobat Reader
portable document format (PDF) documents. All
papers are copyright by their respective
publishers (IEEE,
ACM,
Elsevier,
Springer,
Kluwer
and so on) - see the publishers' websites for
copyright restrictions and definitive published
versions.
2011
A. Almonaies, J.R.
Cordy, T.R. Dean and M. Alalfi, "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, 12 pp. (to
appear)
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,
10 pp. (to appear)
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. (published
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.
295-304.
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).
Distinguished
Lectures and Keynotes
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.
J.R. Cordy, "Software
Engineering by Source Transformation -
Experience with TXL", Distinguished Lecture
Series, Department of Computer Science,
University of Victoria, May 2002.
J.R. Cordy,
"Transformational Techniques in Software
Engineering using TXL", Distinguished Lecture
Series, Department of Computer Science, York
University, January 1995.
Books
and Chapters in Books
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 2 Aug
2011
|