Attributed Transformational Code Generation for Dynamic Compilers. - John Boyland; Charles Farnum; Susan L. Graham (Code Generation, 1991)

Discussion: Code Generator Specification Techniques. - Christopher W. Fraser; John Boyland; Helmut Emmelmann (Code Generation, 1991)

Composing Tree Attributions. - John Boyland; Susan L. Graham (POPL, 1994)

Type-Safe Compilation of Covariant Specialization: A Practical Case. - John Boyland; Giuseppe Castagna (ECOOP, 1996)

Conditional Attribute Grammars. - John Boyland (ACM Trans. Program. Lang. Syst., 1996)

Statically Checkable Pattern Abstractions. - Manuel Fähndrich; John Boyland (ICFP, 1997)

Parasitic Methods: An Implementation of Multi-Methods for Java. - John Boyland; Giuseppe Castagna (OOPSLA, 1997)

Analyzing Direct Non-local Dependencies in Attribute Grammars. - John Boyland (CC, 1998)

Promises: Limited Specifications for Analysis and Manipulation. - Edwin C. Chan; John Boyland; William L. Scherlis (ICSE, 1998)

An Object-Oriented Effects System. - Aaron Greenhouse; John Boyland (ECOOP, 1999)

Alias Killing: Unique Variables without Destructive Reads. - John Boyland (ECOOP Workshops, 1999)

MayEqual: A New Alias Question. - John Boyland; Aaron Greenhouse (ECOOP Workshops, 1999)

Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only. - John Boyland; James Noble 001; William Retert (ECOOP, 2001)

Alias burying: Unique variables without destructive reads. - John Boyland (Softw. Pract. Exp., 2001)

Incremental Evaluators for Remote Attribute Grammars. - John Boyland (LDTA@ETAPS, 2002)

Configuration management in a hypermedia-based software development environment. - Tien Nhut Nguyen; Ethan V. Munson; John Boyland (Hypertext, 2003)

Checking Interference with Fractional Permissions. - John Boyland (SAS, 2003)

Flexible Fine-grained Version Control for Software Documents. - Tien Nhut Nguyen; Ethan V. Munson; John Boyland; Cheng Thao (APSEC, 2004)

The Molhado hypertext versioning system. - Tien Nhut Nguyen; Ethan V. Munson; John Boyland (Hypertext, 2004)

Architectural Software Configuration Management in Molhado. - Tien Nhut Nguyen; Ethan V. Munson; John Boyland; Cheng Thao (ICSM, 2004)

Molhado: Object-Oriented Architectural Software Configuration Management. - Tien Nhut Nguyen; Ethan V. Munson; John Boyland; Cheng Thao (ICSM, 2004)

Object-oriented, structural software configuration management. - Tien Nhut Nguyen; Ethan V. Munson; John Boyland (OOPSLA Companion, 2004)

Type Annotations to Improve Stack-Based Access Control. - Tian Zhao; John Tang Boyland (CSFW, 2005)

Configuration Management for Designs of Software Systems. - Tien Nhut Nguyen; Ethan V. Munson; John Tang Boyland; Cheng Thao (ECBS, 2005)

Multi-level Configuration Management with Fine-grained Logical Units. - Tien Nhut Nguyen; Ethan V. Munson; John Tang Boyland; Cheng Thao (EUROMICRO-SEAA, 2005)

An infrastructure for development of object-oriented, multi-level configuration management services. - Tien Nhut Nguyen; Ethan V. Munson; John Tang Boyland; Cheng Thao (ICSE, 2005)

Structure-oriented Product Versioning. - Tien Nhut Nguyen; Ethan V. Munson; John Tang Boyland; Cheng Thao (ITCC (2), 2005)

Connecting effects and uniqueness with adoption. - John Tang Boyland; William Retert (POPL, 2005)

Remote attribute grammars. - John Tang Boyland (J. ACM, 2005)

Preface. - John Boyland; Anthony Sloane (LDTA@ETAPS, 2006)

Why we should not add readonly to Java (yet). - John Boyland (J. Object Technol., 2006)

Formal Techniques for Java-Like Programs. - John Boyland; Dave Clarke 001; Gary T. Leavens; Francesco Logozzo; Arnd Poetzsch-Heffter (ECOOP Workshops, 2007)

Preface. - Görel Hedin; John Tang Boyland (Sci. Comput. Program., 2007)

A Fundamental Permission Interpretation for Ownership Types. - Yang Zhao; John Boyland (TASE, 2008)

Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. - Yang Zhao; John Boyland (Australian Software Engineering Conference, 2009)

Enhancing base-code protection in aspect-oriented programs. - Mohamed ElBendary; John Boyland (FOAL, 2009)

TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator. - John Boyland; Daniel Spiewak (LDTA, 2009)

An Operational Semantics including "Volatile" for Safe Concurrency. - John Boyland (J. Object Technol., 2009)

Generating Bijections between HOAS and the Natural Numbers - John Tang Boyland (LFMTP, 2010)

Preface. - Adrian Johnstone; Anthony Sloane; John Tang Boyland (Sci. Comput. Program., 2010)

Preface. - John Tang Boyland; Giuseppe Castagna (Theor. Comput. Sci., 2010)

Semantics of fractional permissions with nesting. - John Tang Boyland (ACM Trans. Program. Lang. Syst., 2010)

Permission Assurance for Semantic Aspects of Design Patterns. - Yang Zhao; Lingnan Song; Gongxuan Zhang; John Boyland (APSEC, 2012)

19th international workshop on foundations of object-oriented languages (FOOL'12). - Jeremy G. Siek; Jonathan Aldrich; John Tang Boyland (SPLASH, 2012)

Fractional Permissions. - John Boyland (Aliasing in Object-Oriented Programming, 2013)

Constraint Semantics for Abstract Read Permissions. - John Tang Boyland; Peter Müller 001; Malte Schwerhoff; Alexander J. Summers (FTfJP@ECOOP, 2014)

Refined Criteria for Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek; Matteo Cimini; John Tang Boyland (SNAPL, 2015)

Evolution of SASyLF 2008-2021. - John Tang Boyland (ThEdu@CADE, 2021)