A Programming Model of Object Validity for Secure and Efficient Concurrency. To provide improved performance and security for software applications, Australia's ICT industry must adapt to the complex programming demands of modern multicore processors. The programming model developed in the project represents a breakthrough solution. A seamless integration of concurrency and object orientation leads to a simple yet powerful programming style that is compatible with today's premier approach to bui ....A Programming Model of Object Validity for Secure and Efficient Concurrency. To provide improved performance and security for software applications, Australia's ICT industry must adapt to the complex programming demands of modern multicore processors. The programming model developed in the project represents a breakthrough solution. A seamless integration of concurrency and object orientation leads to a simple yet powerful programming style that is compatible with today's premier approach to building large-scale software systems with significantly improved performance and security. The product will reduce development time for compute-intensive applications in many industry sectors, including health care (e.g. patient monitoring), finance, defence, environment, mining, manufacturing and computer games.Read moreRead less
Analysis and Optimisation of Incomplete Object-Oriented Programs. This project will push Australia to the forefront of OO technologies and will increase the profile of advanced programming language design and implementation research in Australia. The completed framework will
likely be commercially viable as Australia industries such as banks and
insurance companies and government organisations hosting large
OO software systems may benefit (in terms of performance and
code security) from the ....Analysis and Optimisation of Incomplete Object-Oriented Programs. This project will push Australia to the forefront of OO technologies and will increase the profile of advanced programming language design and implementation research in Australia. The completed framework will
likely be commercially viable as Australia industries such as banks and
insurance companies and government organisations hosting large
OO software systems may benefit (in terms of performance and
code security) from the technology developed as a result of this research. The completed framework will also provide an excellent platform for researchers in Australia and elsewhere to do research in OO technologies, helping in producing quality students for the Australian IT industry.Read moreRead less
Scratchpad-based Memory Allocation Techniques for Embedded Software. This research aims at developing automatic memory allocation algorithms to maximise the effective utilisation of scratchpad memories, which will lead to significantly improved performance and energy usage in embedded applications. The outcomes of this project will provide generic solutions to many Australia-based industries, including telecommunication, network management, sensor networks, automotive and instrumentation/measure ....Scratchpad-based Memory Allocation Techniques for Embedded Software. This research aims at developing automatic memory allocation algorithms to maximise the effective utilisation of scratchpad memories, which will lead to significantly improved performance and energy usage in embedded applications. The outcomes of this project will provide generic solutions to many Australia-based industries, including telecommunication, network management, sensor networks, automotive and instrumentation/measurement, where embedded systems are ubiquitously used. Therefore, this project will significantly contribute to the Priority Area (Frontier Technologies for Building and Transforming Australian Industries), hence fits into its Priority Goal: Frontier Technologies.Read moreRead less
Compiler-Directed Code Tiling for Higher Program Performance and Predictability on Multi-Level Memory Hierarchies. Programming languages invariably induce a perception of memory as being flat, whereas actual computers are being equipped increasingly with deep memory hierarchies to overcome the ever-widening performance gap between processors and memories. This mismatch can result in low locality of reference and poor performance. This project will develop a new array layout transformation, calle ....Compiler-Directed Code Tiling for Higher Program Performance and Predictability on Multi-Level Memory Hierarchies. Programming languages invariably induce a perception of memory as being flat, whereas actual computers are being equipped increasingly with deep memory hierarchies to overcome the ever-widening performance gap between processors and memories. This mismatch can result in low locality of reference and poor performance. This project will develop a new array layout transformation, called data tiling, used in tandem with loop tiling to achieve significantly improved performance gains (and predictability) for array-dominated applications on multi-level memory hierarchies. We will explore this joint restructuring to obtain higher performance and predictability for whole programs, kernel libraries, iterative stencil codes and embedded applications.
Read moreRead less
A safe and efficient multi-language component framework based on dynamic compilation. Components are a versatile mechanism for the construction of extendible systems and for improved code reusability. Emerging environments like Microsoft's .NET support the interaction of components written in different programming languages. To date, such systems do not adequately isolate components which therefore must trust each other. This is unacceptable for components loaded across the Internet. We will dev ....A safe and efficient multi-language component framework based on dynamic compilation. Components are a versatile mechanism for the construction of extendible systems and for improved code reusability. Emerging environments like Microsoft's .NET support the interaction of components written in different programming languages. To date, such systems do not adequately isolate components which therefore must trust each other. This is unacceptable for components loaded across the Internet. We will develop a framework for secure execution of component software, based on hardware-enforced protection domains. To minimize the resulting runtime overheads we will provide a component model with lightweight context switching. A novel typed intermediate language and dynamic compilation techniques will offer complementary optimisations.
Read moreRead less
Reasoning about Rational Agents from a Programming Languages Perspective. Rational agents are complex system components inspired by models of rationality, in which beliefs, desires and intentions are represented explicitly. Intelligent agents are fast becoming mainstream and have wide-ranging industrial application. However, a serious obstacle to the deployment of rational agents is a lack of understanding of how to design and reason about agents to provide performance and correctness guarantees ....Reasoning about Rational Agents from a Programming Languages Perspective. Rational agents are complex system components inspired by models of rationality, in which beliefs, desires and intentions are represented explicitly. Intelligent agents are fast becoming mainstream and have wide-ranging industrial application. However, a serious obstacle to the deployment of rational agents is a lack of understanding of how to design and reason about agents to provide performance and correctness guarantees. This project will investigate extensions to intelligent agent architectures and develop tools for reasoning about complex systems built using those architectures. This will not only enable reliable prediction of performance, but contribute to a general methodology for intelligent agent design.
Read moreRead less
Redesigning Typesetting for the Digital Age: Multilingual Layout on Multiple Media. We propose to create and develop a new model for character-level automatic typesetting, much more flexible than existing approaches. This model will support quality typesetting of all of the modern - and many ancient - languages and scripts, on media such as paper, computer screen, paper maps and online maps, for regular and safety-critical applications.
The fundamental innovations in this proposal are the us ....Redesigning Typesetting for the Digital Age: Multilingual Layout on Multiple Media. We propose to create and develop a new model for character-level automatic typesetting, much more flexible than existing approaches. This model will support quality typesetting of all of the modern - and many ancient - languages and scripts, on media such as paper, computer screen, paper maps and online maps, for regular and safety-critical applications.
The fundamental innovations in this proposal are the use of a tree-structured parameter space (generalization of Unix environment variables) and a multiple-pass approach to typesetting (as used in compilers). These innovative techniques will be integrated into computer software used worldwide.Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less
Structures and Protocols for Inference. The proposed research is expected to lead to increased adoption and efficiency of use of machine learning technologies. It will develop new and better ways to use existing machine learning software in a manner that allows easier integration into commercial products. It will increase the competitiveness of Australian industry.
Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by s ....Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by series of correctness-preserving transformations from a knowledge-based specification. This project will generalize this work to a calculus for systems that lack a global clock, and implement a tool providing automated support for use of the calculus.Read moreRead less