Learning Software Security Analysers with Imperfect Data. This project aims to systematically investigate next-generation learning-based software security analysis to detect vulnerabilities in real-world large-scale software. The expected learning-based foundation will support the handling of imperfect data in order to provide a precise, scalable and adaptive security analysis of the critical software components, thus capturing important security vulnerabilities missed by existing approaches. Th ....Learning Software Security Analysers with Imperfect Data. This project aims to systematically investigate next-generation learning-based software security analysis to detect vulnerabilities in real-world large-scale software. The expected learning-based foundation will support the handling of imperfect data in order to provide a precise, scalable and adaptive security analysis of the critical software components, thus capturing important security vulnerabilities missed by existing approaches. The success of this project will further enhance the international competitiveness of Australian research in this important field and will benefit any Australian industry and business where software systems are deeply-rooted, such as transportation, smart homes, medical devices, defence and finance.Read moreRead less
Next generation garbage collection: discovery, design, and development. This project aims to improve the performance of programming languages used by millions of Australians every day, such as Java, JavaScript and PHP by developing improved memory-management algorithms. These languages use what is referred to as “garbage collection” to ensure memory is managed without data loss, but do so conservatively and consequently cause performance challenges and energy overheads. This project expects to p ....Next generation garbage collection: discovery, design, and development. This project aims to improve the performance of programming languages used by millions of Australians every day, such as Java, JavaScript and PHP by developing improved memory-management algorithms. These languages use what is referred to as “garbage collection” to ensure memory is managed without data loss, but do so conservatively and consequently cause performance challenges and energy overheads. This project expects to provide these languages with improved memory-management algorithms, and provides researchers and industry with a framework for innovation. This project will enable safe software that is more efficient on today's hardware and able to exploit emerging hardware. This project should lead to better performance and energy savings for server applications, phones, watches, and smart appliances, while ensuring memory safety.Read moreRead less
Linear Formation Interferometry for Astrophysics and New Space Technologies. This project will prototype a new type of visible and infrared light interferometry: telescopes freely moving in a line 10s of metres in length and directing their light towards a central beam combiner. This is particularly well suited to sparse aperture optical interferometry from space, which can be used to resolve angular scales much finer than the world's largest monolithic telescopes. The ground based prototype wil ....Linear Formation Interferometry for Astrophysics and New Space Technologies. This project will prototype a new type of visible and infrared light interferometry: telescopes freely moving in a line 10s of metres in length and directing their light towards a central beam combiner. This is particularly well suited to sparse aperture optical interferometry from space, which can be used to resolve angular scales much finer than the world's largest monolithic telescopes. The ground based prototype will also be able to make a several key astrophysical observations of benchmark stars and stellar systems, including making precise polarimetric measurements of dust shells around bright stars.Read moreRead less
GRACE follow-on: validation of measurements and initial results. This project aims to advance knowledge to quantify ongoing mass loss of Earth’s polar ice caps and glaciers, increases in sea level, and changes in continental water storage. The project expects to improve the capability to monitor changes on Earth using satellites and to enhance analysis by exploiting data from new instrumentation on the GRACE Follow-On space gravity mission, due for launch in 2018. Expected results aim to improve ....GRACE follow-on: validation of measurements and initial results. This project aims to advance knowledge to quantify ongoing mass loss of Earth’s polar ice caps and glaciers, increases in sea level, and changes in continental water storage. The project expects to improve the capability to monitor changes on Earth using satellites and to enhance analysis by exploiting data from new instrumentation on the GRACE Follow-On space gravity mission, due for launch in 2018. Expected results aim to improve computational tools and to develop expertise to analyse the new data. Other expected outcomes include reliable methods to monitor significant sea-level rise and associated societal and economic disruptions.Read moreRead less