| Checking interference with fractional permissions J Boyland International Static Analysis Symposium, 55-72, 2003 | 667 | 2003 |
| Capabilities for sharing: A generalisation of uniqueness and read-only J Boyland, J Noble, W Retert European Conference on Object-Oriented Programming, 2-27, 2001 | 248 | 2001 |
| Refined criteria for gradual typing JG Siek, MM Vitousek, M Cimini, JT Boyland 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015 | 232 | 2015 |
| Alias burying: Unique variables without destructive reads J Boyland Software: Practice and Experience 31 (6), 533-553, 2001 | 223 | 2001 |
| An object-oriented effects system A Greenhouse, J Boyland European Conference on Object-Oriented Programming, 205-229, 1999 | 136 | 1999 |
| An infrastructure for development of object-oriented, multi-level configuration management services TN Nguyen, EV Munson, JT Boyland, C Thao Proceedings of the 27th international conference on Software engineering …, 2005 | 123 | 2005 |
| Parasitic methods: An implementation of multi-methods for Java J Boyland, G Castagna ACM SIGPLAN Notices 32 (10), 66-76, 1997 | 112 | 1997 |
| Connecting effects and uniqueness with adoption JT Boyland, W Retert ACM SIGPLAN Notices 40 (1), 283-295, 2005 | 99 | 2005 |
| Remote attribute grammars JT Boyland Journal of the ACM (JACM) 52 (4), 627-687, 2005 | 77 | 2005 |
| Semantics of fractional permissions with nesting JT Boyland ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (6), 1-33, 2010 | 73 | 2010 |
| Promises: Limited specifications for analysis and manipulation EC Chan, JT Boyland, WL Scherlis Proceedings of the 20th international conference on Software engineering …, 1998 | 68 | 1998 |
| Why we should not add readonly to Java (yet). J Boyland J. Object Technol. 5 (5), 5-29, 2006 | 59 | 2006 |
| Conditional attribute grammars JT Boyland ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (1), 73-108, 1996 | 51 | 1996 |
| Descriptional composition of compiler components JT Boyland University of California, Berkeley, 1996 | 50 | 1996 |
| Type-safe compilation of covariant specialization: a practical case J Boyland, G Castagna European Conference on Object-Oriented Programming, 3-25, 1996 | 46 | 1996 |
| The molhado hypertext versioning system TN Nguyen, EV Munson, JT Boyland Proceedings of the fifteenth ACM conference on Hypertext and hypermedia, 185-194, 2004 | 36 | 2004 |
| Composing tree attributions J Boyland, SL Graham Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 32 | 1994 |
| Statically checkable pattern abstractions M Fähndrich, J Boyland Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997 | 30 | 1997 |
| The interdependence of effects and uniqueness J Boyland Workshop on Formal Techs. for Java Programs, 2001 | 25 | 2001 |
| Fractional permissions J Boyland Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013 | 21 | 2013 |
