| 2012 | APSEC | Permission Assurance for Semantic Aspects of Design Patterns. | Yang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland |
| 2008 | TASE | A Fundamental Permission Interpretation for Ownership Types. | Yang Zhao, John Boyland |
| 2004 | APSEC | Flexible Fine-grained Version Control for Software Documents. | Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao |
| 2004 | OOPSLA | Object-oriented, structural software configuration management. | Tien Nhut Nguyen, Ethan V. Munson, John Boyland |
| 2003 | SAS | Checking Interference with Fractional Permissions. | John Boyland |
| 2001 | ECOOP | Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only. | John Boyland, James Noble, William Retert |
| 1999 | ECOOP | An Object-Oriented Effects System. | Aaron Greenhouse, John Boyland |
| 1998 | CC | Analyzing Direct Non-local Dependencies in Attribute Grammars. | John Boyland |
| 1998 | ICSE | Promises: Limited Specifications for Analysis and Manipulation. | Edwin C. Chan, John Boyland, William L. Scherlis |
| 1997 | ICFP | Statically Checkable Pattern Abstractions. | Manuel Fhndrich, John Boyland |
| 1997 | OOPSLA | Parasitic Methods: An Implementation of Multi-Methods for Java. | John Boyland, Giuseppe Castagna |
| 1996 | ECOOP | Type-Safe Compilation of Covariant Specialization: A Practical Case. | John Boyland, Giuseppe Castagna |
| 1994 | POPL | Composing Tree Attributions. | John Boyland, Susan L. Graham |