Computer Science
Publications

Refereed Papers

P. Nguyen, K. Falkner, H. Detmold and D.S. Munro, A Domain Specific Language for Execution Profiling & Regulation. Accepted for the 32nd Australasian Computer Science Conference (ACSC 2009), Wellington, New Zealand, January 19-23, 2009.

H. Detmold, A. van den Hengel, A. Dick, A. Cichowski, R. Hill, E. Kocadag, Y. Yarom, K. Falkner and D. S. Munro, Estimating camera overlap in large and growing networks. In Proceedings of the 2nd ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC 2008), Stanford University, California, USA, 7-11 September 2008

H. Detmold, A. Dick, K. Falkner, D.S. Munro, A. van den Hengel & R. Morrison. Middleware for Distributed Video Surveillance, IEEE Distributed Systems Online, Vol. 9, No. 2, February 2008

D. S. Munro, H. Shen, Q. Z. Sheng, H. Detmold, K. Falkner, C. Izu, P. D. Coddington, B. Alexander, S. Zheng, (Eds). Proceedings of the Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies, Adelaide, Australia, 3-6 December 2007, 532 pages, IEEE Computer Society, ISBN-13

Falkner, K., Balasubramaniam, D., Detmold, H., & Munro, D.S., Informed Evolution, In Proceedings of the First European Conference on Software Architecture (ECSA 2007), September 2007, Aranjuez, Spain, Lecture Notes in Computer Science Volume 4758, pp 288-291

Detmold, H., van den Hengel, A., Dick. A., Hill, R., Falkner, K., Munro, D.S. & Kocadag., E. Topology Estimation for Thousand-camera Surveillance Networks. In Proceedings of the 1st ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC 2007), Vienna, Austria, 25-28 September 2007, pp 195-202

Livesey, M., Morrison, R. & Munro, D.S., The Doomsday distributed termination detection protocol. Distributed Computing 19(5-6): 419-431 (2007)

Detmold, H., Dick, A., Falkner, K., Munro, D.S., van den Hengel, A. & Morrison, R. Middleware for Video Surveillance Networks, In Proceedings of MidSens'06, International Workshop on Middleware for Sensor Networks (at Middleware 2006), Melbourne, Australia, 28 November, 2006, pp 31-36

Detmold, H., Dick, A., Falkner, K., Munro, D.S., van den Hengel, A. & Morrison, R. Scalable Surveillance Software Architectures, In Proceedings of IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS 2006), November 2006, Sydney, Australia.

Detmold H., Falkner K., Munro D.S., Olds, T. & Zakerevicius, A., Evolving System Services to Meet Application Requirements, In Proceedings of the 39th Hawaii International Conference on System Sciences (HICSS-39), January 2006.

Detmold, H., Falkner, K. & Munro, D.S. (eds) Proceedings of the Second International Workshop on Object Systems and Software Architectures (WOSSA 2006) January 2006 (?? pages)

Detmold H., Falkner K., Munro D.S., Olds, T., Morrison, R. & Norcross S. Server enforced program safety for Web Application Engineering, Journal of Web Engineering, 4,4 pp 339-371 June 2005

Norcross, S, Morrison R, Munro D.S., Detmold, H. & Falkner, K. Implementing a Family of Distributed Garbage Collectors. Journal of Research and Practice in Information Technology, Vol. 37, No. 1, February 2005 pp 107-126

Brodie-Tyrrell, W, Detmold, H., Falkner, K. and Munro, D.S. "Garbage Collection for Storage-Oriented Clusters". Twenty-Seventh Australasian Computer Science Conference (ACSC'04), January, 2004. pp 99-108

Travis Olds, T., Detmold, H., Falkner, K., Munro, D.S. Engineering Safe and Efficient Shareability within Web Systems. Asia-Pacific Web Conference (APWeb), Hangzhou, China, 2004, pp 697-710

Falkner, K., Detmold, H., Howard, D., Munro, D.S., Morrison, R. & Norcross, S. Unifying Static and Dynamic Approaches to Evolution through the Compliant Systems Architecture. 37th Hawaii International Conference on System Sciences (HICSS-37) Hawaii, 2004

Howard, D., Detmold, H., Falkner, K. & Munro, D.S. Using the Compliant Systems Architecture to Deliver Flexible Policies within Two-Phase Commit. Twentieth British National Conference on Databases (BNCOD'20), Coventry, July 2003, pp 245-252.

Detmold, H., Falkner, K. & Munro, D.S. (eds) Proceedings of the First International Workshop on Object Systems and Software Architectures (WOSSA 2004) January 2004 (148 pages)

Pope, C., Detmold, H., Munro, D.S., & Vaughan, F.A.. Adapting to New Environments: Rethinking the TCP/IP Stack. International Conference on Internet Computing (IC'03), Las Vegas, June 2003, pp 519-522.

Detmold, H., Falkner, K., Munro, D.S., Olds, T., Morrison, R., and Norcross, S.. An Integrated Approach to Static Safety of Web Applications. 12th International World Wide Web Conference, Budapest, May 2003.

Norcross, S, Morrison R, Munro D.S. & Detmold, H. Implementing a Family of Distributed Garbage Collectors. 26th Australasian Computer Science Conference (ACSC2003) pp 161-170

Lowry, M.C. & Munro, D.S.. Safe and Complete Distributed Garbage Collection with The Train Algorithm. International Conference on Parallel and Distributed Systems (ICPADS'2002), Taiwan, December 2002, pp 651-658

Falkner, K.E., Detmold, H., Munro, D.S. & Olds, T., "Towards Compliant Distributed Shared Memory", Fourth International Workshop on Software Distributed Shared Memory, (WSDSM'02), Second International Conference on Cluster Computing and the Grid (CCGRID), Berlin, May 2002.

Munro, D.S., Falkner, K.E., Lowry, M.C. & Vaughan, F.A., "Mosaic: A Non-intrusive Complete Garbage Collector for DSM Systems", Proceedings of the First IEEE/ACM International Symposium on Cluster Computing and the Grid, Third International Workshop on Software Distributed Shared Memory, Brisbane, Australia, pp 539 - 546.

Blackburn S.M., Hudson, R.L., Morrison, R., Moss, J.E.B., Munro, D.S. & Zigman J. "Starting with Termination: A Methodology for Building Distributed Garbage Collection Algorithms" In 24th Australasian Computer Science Conference (ACSC2001), Gold Coast, Queensland (2001), pp 20-28

Morrison, R, Balasubramaniam, D, Greenwood, RM, Kirby, GNC, Mayes, K, Munro, DS, Warboys, B. "An Approach to Compliance in Software Architectures" In IEE Computing & Control Engineering Journal, Special Issue on Informatics 11, 4, pp 195-200. 2000.

Vaughan, F.A., Brodie-Tyrrell, W.F., Falkner, K.E. and Munro, D.S., "Bounded Parallel Garbage Collection: Implementation and Adaptation", Proceedings of the 7th Australiasian Conference on Parallel and Real-Time Systems (PART'2000), Sydney, Australia, pp 40 - 49.

Munro, D.S. and Brown, A.L., "Evaluating Partition Selection Policies using the PMOS Garbage Collector", Proceedings of the Ninth International Workshop on Persistent Object Systems (POS9), Lillehammer, Norway, pp 104-115, September 2000.

Morrison, R., Balasubramaniam, D., Greenwood, R.M., Kirby, G.N.C., Mayes, K., Munro, D. & Warboys, B.C. "A Compliant Persistent Architecture". Software, Practice & Experience 30 (2000), Special Issue on Persistent Object Systems 30, 4, pp 363-386

Warboys, B.C., Balasubramaniam, D., Greenwood, R.M., Kirby G.N.C., Mayes, K., Morrison, R. & Munro, D. "Collaboration and Composition: Issues for a Second Generation Process Language". in Proceedings of European Software Engineering Conference ESEC'99, Toulouse, France. (1999), pp 75-91, Springer-Verlag LNCS 1687

Morrison, R., Connor, R.C.H., Kirby, G.N.C., Munro, D.S., Atkinson, M.P., Cutts, Q.I., Brown, A.L. & Dearle, A. "The Napier88 Persistent Programming Language and Environment". In Fully Integrated Data Environments. (Eds Atkinson, M.P. & Welland, R.) Springer (1999), pp 98-154. ISBN 3-540-65772-X.

Warboys, B.C., Balasubramaniam, D., Greenwood, R.M., Kirby G.N.C., Mayes, K.,  Morrison, R. & Munro, D. "Instances and Connectors: Issues for a Second Generation Process Language". In Software Process Technology. Lecture Notes in Computer Science 1487 (Ed. V. Gruhn) Springer (1998) pp 137-142. ISBN 3-540-64956-5.

Munro, D.S., Brown, A.L., Morrison, R.& Moss, J.E.B. "Incremental Garbage Collection of a Persistent Object Store using PMOS". 8th International Workshop on Persistent Object Stores, Tiburon, USA. (1998).  [pdf]

Hudson, R.L., Morrison, R., Moss, J.E.B. & Munro, D.S. "Where have all the pointers gone?" In Proc. 21st Australasian Computer Science Conference, Perth, Western Australia, pp 107-119 (1998).[pdf]

Hudson, R.L., Morrison, R., Moss, J.E.B. & Munro, D.S. "Garbage Collecting the World: One Car at a Time". In Proc. Object Oriented Programming : Systems, Languages and Applications (OOPSLA), Atlanta (October 1997), pp 162-175. ISBN 0-89791-908-4.[pdf]

Kirby, G.N.C., Morrison, R. & Munro, D.S. "Evolving Persistent Applications on Commercial Platforms". In Advances in Databases and Information Systems, Springer-Verlag, Proc. 1st ACM SIGMOD East-European Symposium on Advances in Databases and Information Systems, St Petersburg, Russia pp 170-179, ISBN 5-7940-0004-X (1997).[pdf]

Kirby, G.N.C., Morrison, R., Munro, D.S., Connor, R.C.H. & Cutts, Q.I. "A Persistent Hyper-Programming System". In Proc. 13th International Conference on Data Engineering, Birmingham, UK (1997) pp 585.[pdf]

Morrison, R., Connor, R.C.H., Kirby, G.N.C. & Munro, D. "Can Java Persist?". In Proc. 1st International Workshop on Persistence for Java, Glasgow (1996) pp 34-41. [pdf]

Moss, J.E.B., Munro, D.S. & Hudson, R.L. "PMOS - A Complete and Coarse-grained Incremental Garbage Collector for Persistent Object Stores". 7th International Workshop on Persistent Object Systems, Cape May, NJ, USA (May 96). [pdf]

Scheuerl, S.J.G., Connor, R.C.H., Morrison, R., Munro, D.S. "The DataSafe Failure Recovery Mechanism in the Flask Architecture". Proc. 19th Australasian Computer Science Conference ACSC96, Melbourne (1996), 573-581. [pdf]

Munro, D.S., Connor, R.C.H., Morrison, R., Moss, J.E.B & Scheuerl, S.J.G. "Validating the MaStA I/O Cost Model for Database Crash Recovery Mechanisms". In Proceedings of the OOPSLA’95 Workshop on Object Database Behaviour, Benchmarks and Performance, Austin, Texas (October 1995 ). [pdf]

Scheuerl, S.J.G., Connor, R.C.H., Morrison, R., Moss, J.E.B. & Munro, D.S. "The MaStA I/O Cost Model and its Validation Strategy". In Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS'95), Moscow, June 27-30 1995, Volume 1, pp 165-175. [pdf]

Morrison, R., Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C., Munro, D. & Atkinson, M.P. "Persistent Programming: A Programming Language and Database Integration Technology". In Proceedings of the Newcastle International Seminars (1994).

Munro, D.S., Connor, R.C.H., Morrison, R., Scheuerl, S. & Stemple, D.W.
"Concurrent Shadow Paging in the Flask Architecture". In Proceedings of 6th International Workshop on Persistent Object Systems, Tarascon, France (September 1994). In Persistent Object Systems. (Eds. M.P.Atkinson, V.Benzaken & D.Maier). Springer-Verlag, pp 16-42. [pdf]

Morrison, R., Baker, C., Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C. & Munro, D.
"Delivering the Benefits of Persistence to System Construction". In Proc. 17th Australasian Computer Science Conference (ACSC17) Christchurch (January 1994), pp 711-720. [pdf]

Morrison, R., Barter, C.J., Connor, R.C.H., Denton, J., Kirkpatrick, G., Munro, D., Pretsell, B. & Stemple, D.
"Concurrency Control in Process Models". In IOPENER 2,1 (August 1993), pp 11-12.

Rosenberg J., Henskens F., Brown A.L., Morrison R. & Munro D.S.
"Stability in a Persistent Store Based on a Large Virtual Memory". In Proceedings of International Workshop on Computer Architectures to Support Security and Persistence of Information, Universität Bremen, West Germany, (May 1990). In Security and Persistence. (Eds. J.Rosenberg & L.Keedy). Springer-Verlag, pp 229-245. [pdf]

Brown, A.L., Dearle, A., Morrison, R., Munro, D.S. & Rosenberg, J.
"A Layered Persistent Architecture for Napier88". In Proceedings of International Workshop on Computer Architectures to Support Security and Persistence of Information, Universität Bremen, West Germany, (May 1990). In Security and Persistence. (Eds. J.Rosenberg & L.Keedy). Springer-Verlag, pp 155-172. [pdf]
 

IDEA Workshop Reports

Vaughan, F.A & Munro, D.S. "Self-Adaptive Compliant Persistent Architectures"
7th IDEA workshop, Victor Harbour, South Australia, 2000. [pdf]

Brodie-Tyrrell, W & Munro, D.S. "Implementation of a multi-processor garbage collector in the Processbase Abstract Machine" (to appear) 7th IDEA workshop, Victor Harbour, South Australia, 2000. [pdf]

Brown, A.L. & Munro, D.S. "PMOS Revitalised"  7th IDEA workshop, Victor Harbour, South Australia, 2000. [pdf]

Munro, D.S. & Brown, A.L. "PMOS Revisited" 6th IDEA workshop, Rutherglen, Victoria, pp 3-6, 1999 [pdf]

Munro, D.S., Morrison, R., Moss, J.E.B. & Scheuerl, S.J.G. "Why would I believe that your store is better than mine?" 5th IDEA workshop, Fremantle, Western Australia, pp 70-73, 1998 [pdf]

Hudson, R.L., Morrison, R., Moss, J.E.B. & Munro, D.S. "Garbage Collecting the World: One Train at a Time". 4th IDEA workshop, Magnetic Island, Queensland, 1997.
 

Technical Reports from the University of St Andrews

CS/97/4 Flask: An Architecture Supporting Concurrent Distributed Persistent Applications
Kirby, G.N.C., Connor, R.C.H., Cutts, Q.I., Morrison, R., Munro, D.S. & Scheuerl, S. - 1997

CS/95/4 The MaStA I/O trace Format
Scheuerl, S.J.G., Connor, R.C.H., Morrison, R., Moss, J.E.B. & Munro, D.S. - 1995

CS/95/1 MaStA - An I/O Cost Model for Database Crash Recovery Mechanisms
Scheuerl, S., Connor, R.C.H., Morrison, R., Moss, J.E.B. & Munro, D.S. - 1995

CS/94/7 The Napier88 Standard Library Reference Manual Version 2.2
Kirby, G.N.C., Brown, A.L., Connor, R.C.H., Cutts, Q.I., Dearle, A., Moore, V., Morrison, R., & Munro, D.S. - 1994

CS/94/1 On the Integration of Concurrency, Distribution and Persistence
D.S. Munro - Ph.D. Thesis - 1994

PPRR-59-88 "The Persistent Abstract Machine Version 10",
Brown, A.L., Connor, R., Carrick, R., Dearle, A., Morrison, R. & Munro, D.S. - 1994

CS/93/15 The Napier88 Reference Manual (Release 2.0)
Morrison, R., Brown, A.L., Connor, R.C.H., Cutts, Q.I., Dearle, A., Kirby, G.N.C. & Munro, D.S. - 1993

Staple/StA/89/1 Informal Specification of a User Interface to the Staple Persistent Applicative Programming System
A.J.T. Davie, D.J. McNally and D. Munro - 1989

Staple/StA/88/1 On the unification of applicative and persistent programming
A.J.T. Davie, D.J. McNally, D. Munro and M. Greenwood - 1988

Staple/StA/87/5 Interface between an abstract syntax tree editor and the persistent store (specification)
C. Recanti and D. Munro - 1987

Staple/StA/86/3 An informal description of the Staple language version 1.4
A.J.T. Davie, D.J. McNally and D. Munro - 1986

Staple/StA/86/2 Staple Intermediate Language
A.J.T. Davie, D.J. McNally and D. Munro - 1986

Staple/StA/86/1 Structure, polymorphic and union types in Staple
A.J.T. Davie, D.J. McNally and D. Munro - 1986