Towards High-performance and Fault-tolerant Distributed Java Implementations. Java Virtual Machines form an important part of the web and business
server market. Distributed Java Virtual Machines have the potential to
make a significant contribution to industries that utilize this
technology. An attractive platform for this purpose is the
cluster, a highly cost-effective and scalable parallel computer
model. However, realizing on such a platform a high performance virtual
machine implem ....Towards High-performance and Fault-tolerant Distributed Java Implementations. Java Virtual Machines form an important part of the web and business
server market. Distributed Java Virtual Machines have the potential to
make a significant contribution to industries that utilize this
technology. An attractive platform for this purpose is the
cluster, a highly cost-effective and scalable parallel computer
model. However, realizing on such a platform a high performance virtual
machine implementation tolerant to hardware and software faults, and
having efficient memory utilization, presents many challenging research
issues. This project will address these issues by extending a highly
efficient and extensible Java implementation to be aware of its cluster
environment.
Read moreRead less
Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical softwar ....Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical software infrastructures are built. This will significantly enhance the security of public and private cyber assets, and deliver applications that are more robust and trustworthy, across a range of critical infrastructure such as transportation, communication, energy and defence.Read moreRead less
Dynamic Cooperative Performance Optimizations. This project seeks to improve the reliability, security, and
performance of modern software systems. Security is a problem of such
scale that outbreaks of computer viruses etc. headline in major
financial newspapers. We approach the problem by addressing the key
performance problems that hold back the programming languagues widely
used for secure and reliable systems. By improving the reliability,
security and performance of computer system ....Dynamic Cooperative Performance Optimizations. This project seeks to improve the reliability, security, and
performance of modern software systems. Security is a problem of such
scale that outbreaks of computer viruses etc. headline in major
financial newspapers. We approach the problem by addressing the key
performance problems that hold back the programming languagues widely
used for secure and reliable systems. By improving the reliability,
security and performance of computer systems, this project will help
alleviate the millions of hours and dollars lost to inadvertent errors
and malicious software attacks. The project will give Australia an
international presence in a research area of great academic and
commercial importance.Read moreRead less
Digital Interferometry: A platform technology for robust optical measurements. Digital interferometry is a new concept which will allow the measurement precision of interferometry to be applied in otherwise inaccessible or unsuitable environments. It will enhance the performance of major scientific instruments, such as gravitational wave detectors and optical telescopes, whilst reducing the cost, giving Australia a high profile in the quest to understand the universe. When applied to everyday ....Digital Interferometry: A platform technology for robust optical measurements. Digital interferometry is a new concept which will allow the measurement precision of interferometry to be applied in otherwise inaccessible or unsuitable environments. It will enhance the performance of major scientific instruments, such as gravitational wave detectors and optical telescopes, whilst reducing the cost, giving Australia a high profile in the quest to understand the universe. When applied to everyday situations, such as surveillance, traffic flow or vibration monitoring, it can give Australian industry a economic and social advantage, increasing the wealth and security of the nation. Read moreRead less
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Exposure dating with manganese-53, neon-21 and beryllium-10: a new toolkit for studying long-term landscape evolution. Australia today is the driest inhabited continent but this was not always the case. Tens of millions of years ago the climate of Australia was considerably wetter. Then, several million years ago, aridity in Australia developed producing most of the desert features of the red Centre that we see today. The age of our deserts and other arid features are not, however, well known. T ....Exposure dating with manganese-53, neon-21 and beryllium-10: a new toolkit for studying long-term landscape evolution. Australia today is the driest inhabited continent but this was not always the case. Tens of millions of years ago the climate of Australia was considerably wetter. Then, several million years ago, aridity in Australia developed producing most of the desert features of the red Centre that we see today. The age of our deserts and other arid features are not, however, well known. This project will determine the age of desertification in Australia, thereby enhancing our understanding of such processes and the response of our landscape to changing climate.
Read moreRead less
Global Gravitational Wave Astronomy. To listen to the universe with gravitational waves needs a global array of gravitational wave observatories, and one of these must be in the southern hemisphere - in Australia. By definitively answering outstanding questions about an Australian gravitational wave observatory - Where should it be? How sensitive? What astronomy will it aid? - we make the case for the international community to help build this observatory, investing hundreds of millions of dolla ....Global Gravitational Wave Astronomy. To listen to the universe with gravitational waves needs a global array of gravitational wave observatories, and one of these must be in the southern hemisphere - in Australia. By definitively answering outstanding questions about an Australian gravitational wave observatory - Where should it be? How sensitive? What astronomy will it aid? - we make the case for the international community to help build this observatory, investing hundreds of millions of dollars in rural Australia and keeping Australia on the cutting edge of all branches of astronomy. As a flagship client of advanced data GRID technologies, we will also shape the growth of Australian knowledge of, and infrastructure for, next-generation communications technologies.Read moreRead less
Improving Modern Programming Language Performance: A Memory-Conscious Approach. The performance of modern programming languages such as Java and C# lags that of imperative languages such as C and Fortran. A significant source of the performance gap is poor memory behavior, which future computer architectures will exacerbate. This project addresses the problem of poor memory behavior in modern programming languages such as Java and C# through an integrated attack that incorporates new garbage c ....Improving Modern Programming Language Performance: A Memory-Conscious Approach. The performance of modern programming languages such as Java and C# lags that of imperative languages such as C and Fortran. A significant source of the performance gap is poor memory behavior, which future computer architectures will exacerbate. This project addresses the problem of poor memory behavior in modern programming languages such as Java and C# through an integrated attack that incorporates new garbage collection algorithms, run-time techniques that optimize running programs, and new compiler analyses with both static and dynamic optimizations. The project will give Australia an
international presence in a research area of great academic and commercial importance.
Read moreRead less
Micro Virtual Machines: Abstraction, contained. This project will address a systemic source of inefficiency in widely used software which leads to many programs running as much as ten times slower and using considerably more energy than necessary, shortening battery life on mobile phones and increasing costs for large server farms. This inefficiency is endemic because it is due to the underlying languages rather than the particular software. This project will address this problem by developing a ....Micro Virtual Machines: Abstraction, contained. This project will address a systemic source of inefficiency in widely used software which leads to many programs running as much as ten times slower and using considerably more energy than necessary, shortening battery life on mobile phones and increasing costs for large server farms. This inefficiency is endemic because it is due to the underlying languages rather than the particular software. This project will address this problem by developing a high efficiency substrate, called a micro virtual machine, on which languages may be built.Read moreRead less
Surface adsorption, repulsion and attraction: A new experimental approach to surface forces. The ability to understand and manipulate the stability of finely dispersed particles (colloids) in water is essential to modern living. It is necessary in processes as diverse as water purification, minerals separation, food and paper production. The behaviour of the colloidal system can often be understood in terms of the interaction between the dispersed particles. This project aims to improve our abil ....Surface adsorption, repulsion and attraction: A new experimental approach to surface forces. The ability to understand and manipulate the stability of finely dispersed particles (colloids) in water is essential to modern living. It is necessary in processes as diverse as water purification, minerals separation, food and paper production. The behaviour of the colloidal system can often be understood in terms of the interaction between the dispersed particles. This project aims to improve our ability to predict the nature of the interaction between dispersed particles, through an understanding of the events at a particle surface during a collision with another particle. This will enable us to better understand and control real colloidal systems.Read moreRead less