Publications

Most of my papers may also be found on pure.

2015

Towards an autonomous decentralised orchestration system Jaradat, W., Dearle, A. & Barker, A. 20 Sep 2015 In: Concurrency and Computation : Practice and Experience. DOI: 10.1002/cpe.365

Automatic extraction of multiple underlying causes from textual death records Kirby, G. N. C., Hajiarabderkani, M., Dearle, A., Carson, J. K., Dunlop, F. R. J., Dibben, C. J. L. & Williamson, L. 26 Aug 2015, poster.

Automatic methods for coding historical occupation descriptions to standard classifications Kirby, G. N. C., Carson, J., Dunlop, F., Dibben, C., Dearle, A., Williamson, L., Garrett, E. & Reid, A. in Population Reconstruction. Bloothooft, G., Christen, P., Mandemakers, K. & Schraagen, M. (eds.). Springer, p. 43-60 Aug 2015.

2014

Workflow partitioning and deployment on the cloud using Orchestra Jaradat, W., Dearle, A. & Barker, A. 8 Dec 2014 7th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2014). IEEE, p. 251-260.

Automatic methods for coding historical occupation descriptions to standard classifications Kirby, G. N. C., Carson, J. K., Dunlop, F. R. J., Dibben, C. J. L., Dearle, A., Williamson, L., Garrett, E. & Reid, A. 2014.

Comparing relational and graph databases for pedigree data sets Kirby, G. N. C., de Kerckhove, C., Shumailov, I., Carson, J. K., Dearle, A., Dibben, C. J. L. & Williamson, L. 2014

2013

Exploiting historical registers: Automatic methods for coding c19th and c20th cause of death descriptions to standard classifications Carson, J. K., Kirby, G. N. C., Dearle, A., Williamson, L., Garrett, E., Reid, A. & Dibben, C. J. L. 5 Mar 2013 New Techniques and Technologies for Statistics. http://www.cros-portal.eu/content/ntts-2013-proceedings: Eurostat, p. 598-607 Conference contribution

Minimising virtual machine support for concurrency Dobson, S. A., Dearle, A. & Porter, B. F. Mar 2013 Proceedings of 5th ETAPS workshop on Programming Language Approaches to Concurrency and Communication-centric Software. Conference contribution

A Dataflow Language for Decentralised Orchestration of Web Service Workflows Jaradat, W., Dearle, A. & Barker, A. D. 2013 To appear in Proceedings of the IEEE 2013 7th International Workshop on Scientific Workflows, in conjunction with IEEE SERVICES 2013. p. 13-20 Conference contribution

An Architecture for Decentralised Orchestration of Web Service Workflows Jaradat, W., Dearle, A. & Barker, A. D. 2013 Proceedings of the IEEE 20th International Conference on Web Services (ICWS 2013). IEEE Computer Society, p. 603-604 Conference contribution

2012

Channel and active component abstractions for WSN programming: A language model with operating system support Harvey, P., Dearle, A., Lewis, J. P. & Sventek, J. 2012 SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks. p. 35-44 Conference contribution

Mission-oriented middleware for sensor-driven scientific systems Dearle, A. & Dobson, S. A. 2012 In : Journal of Internet Services and Applications. 3, 1, p. 133-139 Article

2011

Autonomic management of client concurrency in a distributed storage service Tauber, M. G., Kirby, G. N. C. & Dearle, A. 2011 2011 IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) . IEEE, p. 1109-1115

2010

Self-adaptation applied to peer-set maintenance in Chord via a generic autonomic management framework Tauber, M., Kirby, G. N. C. & Dearle, A. 27 Sep 2010 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), Workshop on Self-Adaptive Networking. IEEE Computer Society, p. 9-16 Conference contribution

H2O: An autonomic, resource-aware distributed database system Macdonald, A., Dearle, A. & Kirby, G. 16 Jun 2010 10 p. Paper

On the selection of connectivity-based metrics for WSNs using a classification of application behaviour Boyd, A., Balasubramaniam, D., Dearle, A. & Morrison, R. 7 Jun 2010 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing: SUTC 2010. IEEE Computer Society, p. 268-275 Conference contribution

Autonomic management of maintenance scheduling in Chord Tauber, M., Kirby, G. & Dearle, A. Jun 2010 University of St Andrews. 11 p. Other report

A collaborative wireless sensor network routing scheme for reducing energy wastage Boyd, A., Balasubramaniam, D. & Dearle, A. May 2010 2010 IEEE International Conference on Communications Workshops (ICC). IEEE Computer Society, p. 1-5 Conference contribution

An approach to ad hoc cloud computing Kirby, G., Dearle, A., Macdonald, A. & Fernandes, A. 25 Feb 2010 University of St Andrews. 6 p.

On the Selection of Connectivity-based Metrics for WSNs using a Classification of Application Behaviour. Boyd A. W. F., Balasubramaniam D., Dearle A., Morrison R.to appear in IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, Newport Beach, California, USA June 2010.

A Collaborative Wireless Sensor Network Routing Scheme for Reducing Energy Wastage.
Boyd A. W. F., Balasubramaniam D., Dearle A.
ICC’10 Workshop on Energy Efficiency in Wireless Networks & Wireless Networks for Energy Efficiency, Cape Town, South Africa May 2010.

2009

Towards Verifying Correctness of Wireless Sensor Network Applications using Insense and Spin. Sharma O. Lewis J., Miller A., Dearle A.,Balasubramaniam D.,Morrison R. & Sventek J.
In Proceedings Spin09 June 26-28, 2009, Grenoble, France, LNCS Volume 5578/2009, Springer Berlin / Heidelberg, DOI 10.1007/978-3-642-02652-2, ISSN 0302-9743 (Print) 1611-3349 (Online).

LINK

Orthogonal Persistence Revisited. Dearle, A, Kirby, GNC, Morrison, R. In: Proc. International Conference on Object Databases (ICOODB 2009), Zurich, Switzerland, Norrie, MC (ed). 2009. LINK

2008

Applying Constraint Solving to the Management of Distributed Applications. McCarthy, AJ, Dearle, A, Kirby, GNC. University of St Andrews Report CS/08/1. 2008. LINK

An Approach to Extending the Lifetime of Wireless Sensor Networks. Boyd, AWF, Balasubramaniam, D, Dearle, A, Morrison, R. In: Proc. 9th Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting, Liverpool, UK, pp 123-128. 2008. LINK

A Component-Based Model and Language for Wireless Sensor Network Applications. Dearle, A, Balasubramaniam, D, Lewis, J, Morrison, R. In: Proc. 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, pp 1303-1308. IEEE Computer Society 2008.

A Composition-Based Approach to the Construction and Dynamic Reconfiguration of Wireless Sensor Network Applications. Balasubramaniam, D, Dearle, A, Morrison, R. In: Proc. 7th International Symposium on Software Composition (SC 2008), Budapest, Hungary, pp 206-214. Springer Verlag. 2008.

Design, Implementation and Deployment of State Machines Using a Generative Approach. Kirby, GNC, Dearle, A, Norcross, SJ. In: LNCS 5135, Architecting Dependable Systems V, de Lemos, R, Di Giandomenico, F, Gacek, C, Muccini, H, Vieira, M (eds), pp 175-198. Springer, ISBN 978-3-540-85570-5. 2008. LINK

Self-managed Distributed Mediation Networks. Johnston-Watt, D, Heneveld, A, Dearle, A, Connor, RCH. Patent: 2008.

Self-managed Mediated Information Flow. Johnston-Watt, D, West, A, Dearle, A, Connor, RCH. Patent: 2008.

2007

Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture. Kirby, GNC, Dearle, A, Norcross, SJ. In: Proc. DSN 2007 Workshop on Architecting Dependable Systems, Edinburgh, Scotland, pp 178-183. 2007. LINK

Hosting Byzantine Fault Tolerant Services on a Chord Ring. Dearle, A, Kirby, GNC, Norcross, SJ. University of St Andrews Report CS/07/1. 2007. LINK

Software Deployment, Past, Present and Future. Dearle, A. In: Proc. International Conference on Software Engineering, pp 269-284. IEEE Computer Society. 2007. LINK

2006

A Peer-to-Peer Middleware Framework for Resilient Persistent Programming. Dearle, A, Kirby, GNC, Norcross, SJ, McCarthy, AJ. University of St Andrews Report CS/06/1. 2006. LINK

RAFDA: A Policy-Aware Middleware Supporting the Flexible Separation of Application Logic from Distribution. Walker, SM, Dearle, A, Norcross, SJ, Kirby, GNC, McCarthy, AJ. University of St Andrews Report CS/06/2. 2006. LINK

Towards Adaptable and Adaptive Policy-Free Middleware. Dearle, A, Kirby, GNC, Norcross, S, Macdonald, AD, Bigwood, GJ. University of St Andrews Report CS/06/3. 2006. LINK

2005

Mediated Information Flow. Dearle, A, Connor, RCH. Patent: 2005.

A Methodology for Developing and Deploying Distributed Applications. Kirby, GNC, Walker, SM, Norcross, SJ, Dearle, A. In: Lecture Notes in Computer Science 3798, Dearle, A, Eisenbach, S (eds), Proc. 3rd International Working Conference on Component Deployment (CD2005), Grenoble, France, pp 37-51. Springer, ISBN 3-540-30517-3. 2005. LINK

A Peer-To-Peer Infrastructure for Resilient Web Services. Norcross, SJ, Dearle, A, Kirby, GNC, Walker, SM. In: Proc. IEEE International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications (AAA-IDEA 2005), Orlando, Florida, USA, Colajanni, M, Bartolini, N, Cherkasova, L (eds), pp 65-72. IEEE Computer Society. 2005. LINK

Proceedings of 3rd International Working Conference on Component Deployment (CD2005), Grenoble, France. Dearle, A, Eisenbach, S (eds). In Series: Lecture Notes in Computer Science, Vol 3798. Springer, ISBN 3-540-30517-3. 2005.

Promoting Component Reuse by Separating Transmission Policy from Implementation. Walker, SM, Dearle, A, Kirby, GNC, Norcross, SJ. University of St Andrews Report CS/05/1. 2005. LINK

RAFDA: Middleware Supporting the Separation of Application Logic from Distribution Policy. Dearle, A, Walker, S, Norcross, S, Kirby, GNC, McCarthy, A. University of St Andrews Report CS/05/3. 2005. LINK

Self-managed Mediated Information Flow. Johnston-Watt, D, West, A, Martin, A, Dearle, A, Connor, RCH, Sheenan, D. Patent: 2005.

2004

Exposing Application Components as Web Services. Walker, SM, Dearle, A, Kirby, GNC, Norcross, SJ. University of St Andrews Report CS/04/3. 2004. LINK

A Flexible and Secure Deployment Framework for Distributed Applications. Dearle, A, Kirby, GNC, McCarthy, A, Diaz y Carballo, JC. In: Lecture Notes in Computer Science 3083, Emmerich, W, Wolf, AL (eds), Proc. 2nd International Working Conference on Component Deployment (CD 2004), Edinburgh, Scotland, pp 219-233. Springer, ISBN 3-540-22059-3. 2004. LINK

A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications. Dearle, A, Kirby, GNC, McCarthy, A. University of St Andrews Report CS/04/1. 2004. LINK

A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications (Extended Abstract). Dearle, A, Kirby, GNC, McCarthy, A. In: Proc. International Conference on Autonomic Computing (ICAC-04), New York, USA, Kephart, JO, Parashar, M (eds), pp 300-301. IEEE Computer Society. 2004. LINK

A Middleware Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications. Dearle, A, Kirby, GNC, McCarthy, A. University of St Andrews Report CS/04/2. 2004. LINK

2003

Active Architecture for Pervasive Contextual Services. Kirby, GNC, Dearle, A, Morrison, R, Dunlop, M, Connor, RCH, Nixon, P. In: Proc. International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2003), ACM/IFIP/USENIX International Middleware Conference (Middleware 2003), Rio de Janeiro, Brazil, Ururahy, C, Sztajnberg, A, Cerqueira, R (eds), pp 21-28. Pontifícia Universidade Católica do Rio de Janeiro. 2003. LINK

Architectural Support for Global Smart Spaces. Dearle, A, Kirby, GNC, Morrison, R, McCarthy, A, Mullen, K, Yang, Y, Connor, RCH, Welen, P, Wilson, A. In: Lecture Notes in Computer Science 2574, Chen, M-S, Chrysanthis, PK, Sloman, M, Zaslavsky, AB (eds), Proc. 4th International Conference on Mobile Data Management (MDM 2003), Melbourne, Australia, pp 153-164. Springer, ISBN 3-540-00393-2. 2003. LINK

A Generic Storage API. Kirby, GNC, Zirintsis, E, Dearle, A, Morrison, R. University of St Andrews Report CS/03/2. 2003. LINK

An Information Flow Architecture for Global Smart Spaces. Dearle, A, Kirby, GNC, McCarthy, A, Diaz y Carballo, JC. Global Smart Spaces Project IST-2000-26070 Report D15. 2003. LINK

A Reflective Approach to Providing Flexibility in Application Distribution. Rebón Portillo, áJ, Walker, S, Kirby, GNC, Dearle, A. In: Proc. 2nd International Workshop on Reflective and Adaptive Middleware, ACM/IFIP/USENIX International Middleware Conference (Middleware 2003), Rio de Janeiro, Brazil, Ururahy, C, Sztajnberg, A, Cerqueira, R (eds), pp 95-99. Pontifícia Universidade Católica do Rio de Janeiro. 2003. LINK

Report on the XBase Project. Zirintsis, E, Kirby, GNC, Dearle, A, Morrison, R. University of St Andrews Report CS/03/1. 2003. LINK

Second Set of Spaces. Zirintsis, E, Kirby, GNC, Dearle, A, Allen, B, MacInnis, R, McCarthy, A, Morrison, R, Nixon, P, Jamieson, A, Nicholson, C, Harris, S. Global Smart Spaces Project IST-2000-26070 Report D11. 2003. LINK

Working Document on Gloss Ontology. Coutaz, J, Dearle, A, Dupuy-Chessa, S, Kirby, GNC, Lachenal, C, Morrison, R, Rey, G, Zirintsis, E. Global Smart Spaces Project IST-2000-26070 Report D9.2. 2003. LINK

2002

First Smart Spaces. Kirby, GNC, Dearle, A, McCarthy, A, Morrison, R, Mullen, K, Yang, Y, Connor, RCH, Welen, P, Wilson, A. Global Smart Spaces Project IST-2000-26070 Report D8. 2002. LINK

A Recursive Software Architecture for Location-Aware Services. Dearle, A, Kirby, GNC, Morrison, R, Mullen, K, Yang, Y, Connor, RCH, Welen, P, Wilson, A. University of St Andrews Report CS/02/1. 2002. LINK

Thin Servers – An Architecture to Support Arbitrary Placement of Computation in the Internet. Diaz y Carballo, JC, Dearle, A, Connor, RCH. In: Proc. 4th International Conference on Enterprise Information Systems (ICEIS 2002), Ciudad Real, Spain, Piattini, M, Filipe, J, Braz, J (eds), pp 1080-1085. ICEIS Press. 2002. LINK

2001

Persistent Object Systems: Design, Implementation and Use. Kirby, GNC, Dearle, A, Sjøberg, D (eds), Proc. 9th International Workshop on Persistent Object Systems, Lillehammer, Norway, 2000 (POS9). In Series: Lecture Notes in Computer Science, Vol 2135. Springer, ISBN 3-540-42735-X. 2001.

2000

Implementing Self-Managing Protection Domains in Charm. Dearle, A, Hulse, D. In: Proc. 3rd ECOOP Workshop on Object-Orientation and Operating Systems (ECOOP-OOOSWS), Cannes, France, Ballesteros, F, Schubert, F, Singhai, A, Garcia, AD, Gutierrez, A, Meyer, R (eds), pp 15-24. Servicio de Publicaciones de la Universidad de Oviedo. 2000. LINK

Operating System Support for Persistent Systems: Past, Present and Future. Dearle, A, Hulse, D. In: Software – Practice and Experience, Special Issue on Persistent Object Systems 30, 4, pp 295-324. 2000. LINK

1999

Current Directions in Hyper-Programming. Morrison, R, Connor, RCH, Cutts, QI, Dearle, A, Farkas, A, Kirby, GNC, McGettrick, R, Zirintsis, E. In: Lecture Notes in Computer Science 1755, Bjorner, D, Broy, M, Zamulin, A (eds), Proc. 3rd International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI), Novosibirsk, Russia, pp 316-340. Springer-Verlag, ISBN 3-549-67102-1. 1999. LINK

The Efficacy of Persistent Operating Systems in Supporting Persistent Application Systems. Dearle, A, Hulse, D. University of Stirling Report Pastel RT1R2. 1999. LINK

Lumberjack: A Log-Structured Persistent Object Store. Hulse, D, Dearle, A, Howells, A. In: Advances in Persistent Object Systems, Morrison, R, Jordan, M, Atkinson, MP (eds), Proc. 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, California, 1998, pp 187-198. Morgan Kaufmann, ISBN 1-55860-585-1. 1999. LINK

The Napier88 Persistent Programming Language and Environment. Morrison, R, Connor, RCH, Kirby, GNC, Munro, DS, Atkinson, MP, Cutts, QI, Brown, AL, Dearle, A. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), Esprit Basic Research Series, pp 98-154. Springer, ISBN 3-540-65772-X. 1999. LINK

Persistent Operating System Support for Persistent CORBA Objects. O’Lenskie, A, Dearle, A, Hulse, D. In: Advances in Persistent Object Systems, Morrison, R, Jordan, M, Atkinson, MP (eds), Proc. 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, California, 1998, pp 92-111. Morgan Kaufmann, ISBN 1-55860-585-1. 1999. LINK

Protection in Persistent Object Systems. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Kirby, GNC, Dearle, A, Rosenberg, J, Stemple, D. In: Fully Integrated Data Environments, Atkinson, MP, Welland, R (eds), Esprit Basic Research Series, pp 234-237. Springer, ISBN 3-540-65772-X. 1999.

1998

Orthogonally Persistent Support for Persistent CORBA Objects. O’Lenskie, A, Dearle, A, Hulse, D. University of Stirling Report TR-151. 1998. LINK

Towards Ubiquitous Environments for Mobile Users. Dearle, A. In: IEEE Internet Computing 2, 1, pp 22-31. 1998. LINK

Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel. Hulse, D, Dearle, A. University of Stirling Report Pastel RT1R4. 1998. LINK

1997

Persistent Servers + Ephemeral Clients = User Mobility. Dearle, A. In: Proc. 2nd International Workshop on Persistence and Java (PJW2), Half Moon Bay, California, Jordan, M, Atkinson, MP (eds). 1997. LINK

1996

A Log-Structured Persistent Store. Hulse, D, Dearle, A. In: Proc. 19th Australasian Computer Science Conference, Melbourne, Australia, pp 563-572. 1996. LINK

Napier88 Reference Manual (Release 2.2.1). Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews Report 1996. LINK

Napier88 Release 2.2.1. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews. 1996.

Napier88 Standard Library Reference Manual (Release 2.2.1). Kirby, GNC, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Dunstan, VS, Morrison, R, Munro, DS. University of St Andrews Report 1996. LINK

Operating System Support for Inter-Domain Type Checking. Farkas, A, Dearle, A, Hulse, D. In: Proc. 7th International Workshop on Persistent Object Systems, Cape May, NJ, USA, Connor, RCH, Nettles, S (eds). 1996. LINK

Operating System Support for Java. Dearle, A, Hulse, D, Farkas, A. In: Proc. 1st International Workshop on Persistence for Java, Drymen, Scotland. 1996. LINK

Operating System Support for Persistent and Recoverable Computations. Rosenberg, J, Dearle, A, Hulse, D, Lindström, A, Norris, S. In: Communications of the ACM 39, 9, pp 62-69. 1996. LINK

1995

The Grand Unified Theory of Address Spaces. Lindström, A, Rosenberg, J, Dearle, A. In: Proc. 5th Workshop on Hot Topics in Operating Systems (HOTOS-V), Orcas Island, pp 83-87. IEEE. 1995. LINK

Naming and Causal Delivery in the Grasshoppper Operating System. di Bona, R, Dearle, A, Hulse, D, Lindström, A, Rosenberg, J, Vaughan, F. In: Proc. 18th Australasian Computer Science Conference, Adelaide, Australia, pp 136-150. 1995.

Napier88 Release 2.2. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews. 1995.

On Page-Based Optimistic Process Checkpointing. Dearle, A, Hulse, D. In: Proc. International Workshop on Object-Orientation in Operating Systems (IWOOOS), Lund, Sweden, pp 24-32. IEEE. 1995. LINK

Persistence in the Grasshopper Kernel. Lindström, A, Dearle, A, di Bona, R, Norris, S, Rosenberg, J, Vaughan, F. In: Proc. 18th Australasian Computer Science Conference, Adelaide, Australia, pp 329-338. 1995. LINK

Proceedings of Minitrack on Distribution and Concurrency in Persistent Systems. Rosenberg, J, Dearle, A. In: Proc. 28th International Conference on Systems Sciences, Hawaii. 1995.

1994

Causality Considerations in Distributed Persistent Operating Systems. Vaughan, F, Dearle, A, J, C, di Bona, R, Farrow, J, Henskens, F, Lindström, A, Rosenberg, J. In: Proc. 17th Australian Computer Science Conference, Christchurch, New Zealand, pp 409-420. Australian Computer Science Communications. 1994. LINK

Changing Persistent Applications. Farkas, A, Dearle, A. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems, Tarascon, France, pp 302-315. Springer-Verlag. 1994. LINK

Grasshopper: An Orthogonally Persistent Operating System. Dearle, A, di Bona, R, Farrow, J, Henskens, F, Lindström, A, Rosenberg, J, Vaughan, F. In: Computer Systems 7, 3, pp 289-312. 1994. LINK

An Integrated Approach to the Generation of Environments from Formal Specifications. Dearle, A, Oudshoorn, M, Wyrwas, K. In: Proc. 17th Australian Computer Science Conference, Christchurch, New Zealand, pp 217-228. Australian Computer Science Communications. 1994. LINK

A Model For User-Level Memory Management in a Distributed, Persistent Environment. Lindström, A, Dearle, a, di Bona, R, Farrow, J, Henskens, F, Rosenberg, J, Vaughan, F. In: Proc. 17th Australian Computer Science Conference, Christchurch, New Zealand, pp 343-354. Australian Computer Science Communications. 1994. LINK

The Napier88 Installation Guide (Release 2.0). Kirby, GNC, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Morrison, R, Munro, DS. University of St Andrews Report 1994. LINK

The Napier88 Reference Manual (Release 2.0). Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Munro, DS. University of St Andrews Report CS/94/8. 1994. LINK

The Napier88 Standard Library Reference Manual (Release 2.0). Kirby, GNC, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Moore, VS, Morrison, R, Munro, DS. University of St Andrews Report CS/94/7. 1994. LINK

The Napier88 to the Persistent Abstract Machine Compilation Rules. Balasubramaniam, D, Brown, AL, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Morrison, R, Munro, DS, Scheuerl, S. University of St Andrews Report CS/94/9. 1994.

The Octopus Model and its Implementation. Farkas, AM, Dearle, A. In: Proc. 17th Australasian Computer Science Conference, Christchurch, New Zealand, pp 581-590. Australian Computer Science Communications. 1994. LINK

The Persistent Abstract Machine (Version 8.0). Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Morrison, R, Munro, DS. Report 1994.

The Persistent Abstract Machine Version 10 / Napier88 (Release 2.0). Brown, AL, Carrick, R, Connor, RCH, Cutts, QI, Dearle, A, Kirby, GNC, Morrison, R, Munro, DS. Universities of St Andrews and Adelaide Report 1994. LINK

Protection in Grasshopper: A Persistent Operating System. Dearle, A, di Bona, R, Farrow, J, Henskens, F, Hulse, D, Lindström, A, Norris, S, Rosenberg, J, Vaughan, F. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, pp 60-78. Springer-Verlag. 1994. LINK

Using C as a Compiler Target Language for Native Code Generation in Persistent Systems. Bushell, SJ, Dearle, A, Brown, AL, Vaughan, FA. In: Persistent Object Systems, Atkinson, MP, Maier, D, Benzaken, V (eds), Workshops in Computing, Proc. 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, pp 164-183. Springer-Verlag. 1994. LINK

1993

Octopus: A Reflective Language Mechanism for Object Manipulation. Farkas, A, Dearle, A. In: Database Programming Languages, Beeri, C, Ohori, A, Shasha, DE (eds), Workshops in Computing, Proc. 4th International Conference on Database Programming Languages (DBPL4), New York City, pp 50-64. Springer-Verlag, ISBN 3-540-19853-9. 1993. LINK

Using Persistence to Support Incremental System Construction. Dearle, A, Cutts, QI, Connor, RCH. In: Journal of Microprocessors and Microprogramming 17, 3, pp 161-171. 1993. LINK

1992

Casper: A Cached Architecture Supporting Persistence. Vaughan, F, Schunke, T, Koch, B, Dearle, A, Marlin, C, Barter, C. In: Computing Systems 5, 3, pp 337-364. 1992. LINK

An Examination of Operating System Support for Persistent Object Systems. Dearle, A, Rosenberg, J, Henskens, FA, Vaughan, F, Maciunas, KJ. In: Proc. 25th International Conference on System Sciences (HICSS), Hawaii, Milutinovak, V, Shriver, B (eds), pp 779-789. IEEE Computer Society Press. 1992. LINK

Grasshopper – A Persistent Operating System for Conventional Hardware. Dearle, A, di Bona, R, Farrow, J, Henskens, F, Lindström, A, Rosenberg, J, Vaughan, F. In: Proc. 2nd International Workshop on Object Orientation in Operating Systems (IWOOOS), Paris, France. 1992.

A Hyperlinked Persistent Software Development Environment. Dearle, A, Marlin, CD, Dart, P. In: Proc. Hyper-Oz ’92: A Workshop on Hypertext Activities in Australia, Adelaide, Australia. 1992. LINK

Persistent Hyper-Programs. Kirby, GNC, Connor, RCH, Cutts, QI, Dearle, A, Farkas, AM, Morrison, R. In: Persistent Object Systems, Albano, A, Morrison, R (eds), Workshops in Computing, Proc. 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, pp 86-106. Springer-Verlag, ISBN 3-540-19800-8. 1992. LINK

Persistent Program Construction through Browsing and User Gesture with some Typing. Farkas, AM, Dearle, A, Kirby, GNC, Cutts, QI, Morrison, R, Connor, RCH. In: Persistent Object Systems, Albano, A, Morrison, R (eds), Workshops in Computing, Proc. 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, pp 376-393. Springer-Verlag, ISBN 3-540-19800-8. 1992. LINK

Supporting Large Persistent Stores Using Conventional Hardware. Vaughan, F, Dearle, A. In: Proc. 5th International Workshop on Persistent Object Systems, San Miniato, Italy, pp 34-53. Springer Verlag (Berlin). 1992. LINK

1991

An Ad-Hoc Approach to the Implementation of Polymorphism. Morrison, R, Dearle, A, Connor, RCH, Brown, AL. In: ACM Transactions on Programming Languages and Systems 13, 3, pp 342-371. 1991. LINK

A Persistent Object System Shared by Multiple Concurrent Clients. Basso, T, Vaughan, F, Dearle, A, Marlin, C, Barter, C. University of Adelaide Report PS-04. 1991.

A Remote Execution Mechanism for Distributed Homogeneous Stable Stores. Dearle, A, Rosenberg, J, Vaughan, F. In: 3rd International Conference on Database Programming Languages, Kanelakis, P, Schmidt, JW (eds), Proc. 3rd International Workshop on Database Programming Languages, Nafplion, Greece, pp 125-138. Morgan Kaufmann. 1991. LINK

1990

An Adaptive Graphical Browser for Napier88. Kirby, GNC, Dearle, A. University of St Andrews Report CS/90/16. 1990. LINK

Browsing, Grazing and Nibbling Persistent Data Structures. Dearle, A, Cutts, QI, Kirby, GNC. In: Persistent Object Systems, Rosenberg, J, Koch, DM (eds), Workshops in Computing, Proc. 3rd International Workshop on Persistent Object Systems (POS3), Newcastle, Australia (1989), pp 56-69. Springer-Verlag, ISBN 3-540-19626-9. 1990. LINK

Cache Coherence and Storage Management in a Persistent Object System. Koch, B, Schunke, T, Dearle, A, Vaughan, F, Marlin, C, Fazakerley, Barter, C. In: Implementing Persistent Object Bases, Dearle, A, Shaw, G, Zdonik, SB (eds), pp 103-113. Morgan Kaufmann. 1990. LINK

Existentially Quantified Types as a Database Viewing Mechanism. Connor, RCH, Dearle, A, Morrison, R, Brown, AL. In: Lecture Notes in Computer Science 416, Bancilhon, F, Thanos, C, Tsichritzis, D (eds), Proc. 2nd International Conference on Extending Database Technology (EDBT’90), Venice, Italy, pp 301-315. Springer-Verlag, ISBN 3-540-52291-3. 1990. LINK

Implementing Persistent Object Bases: Principles and Practice. Dearle, A, Shaw, GM, Zdonik, SB (eds), Proc. 4th International Workshop on Persistent Object Systems, Martha’s Vineyard, USA. Morgan Kaufmann, ISBN 1-55860-168-6. 1990.

A Layered Persistent Architecture for Napier88. Brown, AL, Dearle, A, Morrison, R, Munro, D, Rosenberg, J. In: Security and Persistence, Rosenberg, J, Keedy, JL (eds), Proc. International Workshop on Security and Persistence, Bremen, 1990, pp 155-172. Springer-Verlag. 1990.

The Napier Type System. Morrison, R, Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Atkinson, MP. In: Persistent Object Systems, Rosenberg, J, Koch, DM (eds), Workshops in Computing, Proc. 3rd International Workshop on Persistent Object Systems, Newcastle, Australia, pp 3-18. Springer-Verlag. 1990. LINK

On the Classification of Binding Mechanisms. Morrison, R, Brown, AL, Dearle, A, Atkinson, MP. In: Information Processing Letters 34, pp 51-55. 1990. LINK

The Persistent Abstract Machine. Connor, RCH, Brown, AL, Carrick, R, Dearle, A, Morrison, R. In: Persistent Object Systems, Rosenberg, J, Koch, DM (eds), Workshops in Computing, Proc. 3rd International Workshop on Persistent Object Systems, Newcastle, Australia, pp 353-366. Springer-Verlag. 1990. LINK

A Persistent Distributed Architecture Supported by the Mach Operating System. Vaughan, F, Schunke, T, Koch, B, Dearle, A, Marlin, C, Barter, C. In: Proc. Proceedings of the 1st USENIX Conference on the Mach Operating System, pp 123-140. 1990.

Protection in Persistent Object Systems. Morrison, R, Brown, AL, Connor, RCH, Cutts, QI, Kirby, GNC, Dearle, A, Rosenberg, J, Stemple, D. In: Security and Persistence, Rosenberg, J, Keedy, JL (eds), Workshops in Computing, Proc. International Workshop on Security and Persistence (IWSP), Bremen, pp 48-66. Springer-Verlag. 1990. LINK

Type Equivalence Checking in Persistent Object Systems. Connor, RCH, Brown, AB, Cutts, QI, Dearle, A, Morrison, R, Rosenberg, J. In: Implementing Persistent Object Bases, Principles and Practice, Dearle, A, Shaw, GM, Zdonik, SB (eds), Proc. 4th International Workshop on Persistent Object Systems, Martha’s Vineyard, USA, pp 151-164. Morgan Kaufmann. 1990. LINK

Type Systems and Database Programming Languages. Albano, A, Brown, AL, Dearle, A, Connor, RCH, Fegaras, L, Ghelli, G, Hull, R, Marlin, CD, Matthes, F, Morrison, R, Orsini, R, Schmidt, JW, Sheard, T, Stemple, D. University of St Andrews Report CS/90/3. 1990.

WIN Programmers’ Manual. Cutts, QI, Dearle, A, Kirby, GNC. University of St Andrews Report CS/90/17. 1990.

1989

Design Issues in The Persistent Abstract Machine. Connor, RCH, Brown, AL, Carrick, R, Dearle, A, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-75-89. 1989.

Environments: A Flexible Binding Mechanism to Support System Evolution. Dearle, A. In: Proc. 22nd International Conference on Systems Sciences, Hawaii, pp 46-55. 1989. LINK

A Framework for Comparing Type Systems for Database Programming Languages. Albano, A, Dearle, A, Ghelli, G, Marlin, CD, Morrison, R, Orsini, R, Stemple, D. In: Database Programming Languages, Hull, R, Morrison, R, Stemple, D (eds), pp 170-178. Morgan Kaufmann. 1989. LINK

Language Design Issues in Supporting Process-Oriented Computation in Persistent Environments. Morrison, R, Barter, CJ, Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Hurst, AJ, Livesey, MJ. In: Proc. 22nd International Conference on System Sciences (HICSS), Hawaii, pp 736-744. 1989. LINK

Napier88 – A Database Programming Language?. Dearle, A, Connor, RCH, Brown, AL, Morrison, R. In: Proc. 2nd International Workshop on Database Programming Languages, Salishan Lodge, Oregon, Hull, R, Morrison, R, Stemple, D (eds), pp 179-195. Morgan Kaufmann. 1989. LINK

The Napier88 Reference Manual. Morrison, R, Brown, AL, Connor, RCH, Dearle, A. Universities of Glasgow and St Andrews Report PPRR-77-89. 1989. LINK

Napier88 Release 1.0. Morrison, R, Brown, AL, Connor, RCH, Dearle, A. University of St Andrews. 1989.

An Object Addressing Mechanism for Statically Typed Languages with Multiple Inheritance. Connor, RCH, Dearle, A, Morrison, R, Brown, AL. In: Proc. OOPSLA’89, New Orleans, Louisiana. 1989. LINK

An Object-Oriented Approach to Window-based Applications. Cutts, QI, Kirby, GNC, Connor, RCH, Dearle, A, Marlin, CD. Universities of Glasgow and St Andrews Report PPRR-72-89. 1989.

Problem Solving using S-algol. Carrick, R, Davie, AJT, Dearle, A. Department of Computational Science, University of St Andrews. 1989.

WIN: A Persistent Window Management System. Kirby, GNC, Cutts, QI, Dearle, A, Marlin, CD. Universities of Glasgow and St Andrews Report PPRR-73-89. 1989. LINK

1988

Adaptive Data Stores. Morrison, R, Dearle, A, Marlin, CD. In: Proc. Second Australian Joint Artificial Intelligence Conference, Adelaide, Australia, Barter, CJ, Brooks, MJ (eds). Springer-Verlag. 1988. LINK

Bindings in Persistent Programming Languages. Morrison, R, Atkinson, MP, Brown, AL, Dearle, A. In: ACM SIGPLAN Notices 23, 4, pp 27-34. 1988. LINK

On the Construction of Persistent Programming Environments. Dearle, A. PhD Thesis. Supervisor: Morrison, R. 1988. LINK

On the Integration of Object-Oriented and Process-Oriented Computation in Persistent Environments. Morrison, R, Brown, AL, Carrick, R, Connor, RCH, Dearle, A. In: Lecture Notes in Computer Science 334, Dittrich, KR (ed), Proc. 2nd International Workshop on Object-Oriented Database Systems, Bad Münster am Stein-Ebernburg, Germany, pp 334-339. Springer-Verlag. 1988. LINK

The Persistent Abstract Machine. Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Morrison, R. Universities of Glasgow and St Andrews Report PPRR-59-88. 1988.

Safe Browsing in a Strongly Typed Persistent Environment. Dearle, A, Brown, AL. In: Computer Journal 31, 6, pp 540-544. 1988. LINK

A Scheme for Compiling Lazy Functional Languages. McNally, DJ, Davie, AJT, Dearle, A. In: Proc. 2nd International Workshop on Implementation of Functional Programming, Aspenås, Sweden. 1988.

1987

An Architecture for a Strongly Typed Persistent Object Store. Brown, AL, Dearle, A, Morrison, R. In: Proc. Object Oriented Programming Systems, Languages and Applications Workshop (OOPSLA), Orlando, Florida. 1987.

Constructing Compilers in a Persistent Environment. Dearle, A. In: Proc. 2nd International Workshop on Persistent Object Systems, Appin, Scotland, Atkinson, MP, Buneman, OP, Morrison, R (eds). 1987. LINK

Constructing Database Systems in a Persistent Environment. Cooper, RL, Atkinson, MP, Dearle, A, Abderrahmane, D. In: Proc. 13th International Conference on Very Large Data Bases (VLDB), Brighton, England, pp 117-125. 1987.

Flexible Incremental Bindings in a Persistent Object Store. Morrison, R, Atkinson, MP, Dearle, A. Universities of Glasgow and St Andrews Report PPRR-38-87. 1987.

Generic Tools and Compiler Construction. Dearle, A. In: Proc. 2nd International Workshop on Persistent Object Systems, pp 443-455. 1987. LINK

A Persistent Architecture Intermediate Language. Dearle, A. Universities of Glasgow and St Andrews Report PPRR-35-87. 1987. LINK

Polymorphic Persistent Processes. Morrison, R, Barter, CJ, Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Hurst, AJ, Livesey, MJ. Universities of Glasgow and St Andrews Report PPRR-39-87. 1987.

Polymorphism, Persistence and Software Reuse in a Strongly Typed Object Oriented Environment. Morrison, R, Brown, AL, Carrick, R, Connor, RCH, Dearle, A, Atkinson, MP. In: Software Engineering Journal, December, pp 199-204. 1987. LINK

1986

Implementation Issues in Persistent Graphics. Brown, AL, Dearle, A. In: University Computing 8, 2, pp 101-108. 1986.

An Integrated Graphics Programming Environment. Morrison, R, Brown, AL, Dearle, A, Atkinson, MP. In: Computer Graphics Forum 5, 2, pp 147-157. 1986. LINK

A Persistent Graphics Facility for the ICL Perq. Morrison, R, Brown, AL, Bailey, PJ, Davie, AJT, Dearle, A. In: Software – Practice and Experience 16, 4, pp 351-367. 1986. LINK

A Strongly Typed Persistent Object Store. Atkinson, M, Dearle, A, Morrison, R. In: Proc. 1st International Workshop on Object-Oriented Database Systems, Pacific Grove, Asilomar, California, p 206. 1986.

1985

The Persistent Store as an Enabling Technology for Integrated Project Support Environments. Morrison, R, Dearle, A, Bailey, PJ, Brown, AL, Atkinson, MP. In: Proc. 8th IEEE International Conference on Software Engineering, London, pp 166-172. 1985. LINK