Recent publications

• K John Gough Stacking them up: A Comparison of Virtual Machines , Presented to the Australian Computer Systems and Architecture Conference, ACSAC-2001 Gold Coast, Australia, February 2001 (Draft Version)
• K John Gough Parameter Passing for the Java Virtual Machine , Presented to the 23rd Australian Computer Science Conference, ACSC-2000 Canberra, February 2000
• K John Gough and Diane Corney Implementing Languages Other than Java on the Java Virtual Machine , Presented at "Evolve 2000", Sydney, March 2000.
• K John Gough and Diane Corney Evaluating the Java Virtual Machine as a target for Languages Other than Java , Presented to the Joint Modula Languages Conference, Zurich, Switzerland, September 2000. J Gutknecht(ed), Modular Programming Languages , LNCS #????, Springer.
• K John Gough Multi-language, Multi-target Compiler Development: Evolution of the Gardens Point Compiler Project , Presented to the Joint Modula Languages Conference, Linz, Austria, March 1997. H Moessenboeck(ed), Modular Programming Languages , LNCS #1204, Springer.
• J Gough and H Klaeren, Executable Assertions and Separate Compilation , To be presented to the Joint Modula Languages Conference, Linz, Austria, March 1997. H Moessenboeck(ed), Modular Programming Languages , LNCS #1204, Springer.
• K John Gough, A New Type-constructor for Modular Languages , QUT-FIT Technical Report, September 1996.
• J Gough and J Ledermann, Optimal Code-Selection using MBURG , Presented to the 20th Australian Computer Science Conference, Sydney, February 1997 (preprint)
• C Szyperski and J Gough, The Role of Programming Languages in the Life-Cycle of Safe Systems, Safety Through Quality Conference (sponsored by NASA and BCS), Florida, US, October 1995.
• J Gough, Bottom-up tree rewriting with MBURG: The MBURG reference manual, QUT-FIT Technical report July 1995. Also Bottom-up tree rewriting tool MBURG, (sigplan announcement of this report).
• J Lederman, J Gough, J Hynd and P Sinfield, The Port of Gardens Point Modula-2 to ALPHA Architecture, DSTC Technical report 1995.
• C Cifuentes and K J Gough, Decompilation of Binary Programs, Software Practice and Experience, July 1995
• K J Gough and J Ledermann, Register Allocation in the Gardens Point Compilers, Proceedings of ACSC-18, Adelaide 1995.
• J Diederich, J Gough, G Mohay and C Szyperski, The Gardens Project - An Introduction, First Austrailan Computer Architecture Workshop, Adelaide, South Australia, 31 Janurary 1995.
• S Drew and K J Gough, Implementing Zero-Overhead Exception Handling, FIT Technical Report 95-12, 1995.
• K J Gough and G Smith, Efficient Recognition of Events in Distributed Systems, Proceedings of ACSC-18, Adelaide 1995.
• S Drew and K J Gough, Exception Handling: expecting the unexpected Computer Languages, v32 n8, pps 69--87, 1994.
• K J Gough, J Ledermann and K Elms, Interpretive Debugging of Optimised Code, Proceedings of ACSC-17, Christchurch 1994.
• D Corney and K J Gough, Type Test Elimination using Typeflow Analysis, Proceedings of PLSA, Zurich 1994, Lecture Notes in Computer Science, 782 pps 137--150.
• K J Gough and H Klaeren, Eliminating Range Checks Using Static Single Assignment Form, Wilhelm Schickard Institute Technical Report WSI-94-13, University of Tübingen, 1994.
• K J Gough and D Corney, Type extension and efficient AST manipulation, Proceedings of ACSC-16, Brisbane 1993.
• G Mohay, W Caelli, K J Gough, J Holford and G Low, CASS -- Computer Architecture for Secure Systems, Proceedings of ACSC-16, Brisbane 1993.
• C Cifuentes and K J Gough, A Methodology for Decompilation, Proceedings of the XIX Latinoamericana de Informatica, pps 257--266, Buenos Aires, August 1993.
• Gough, Corney, Cifuentes, Hynd and Kolb, An Experiment in Mixed Compilation/Interpretation, Proceedings of ACSC-15, Hobart 1992.

Take Me Home