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.
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
Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0775546
Funder
Australian Research Council
Funding Amount
$370,000.00
Summary
Construction of the blue-arm of the ANU 2.3m telescope Wide-Field Spectrograph. The new blue and red arms of the WiFeS spectrograph on the SSO 2.3m telescope utilizes new optical techniques and advances in detector technology to provide unique capabilities for front-line research and student training. The novel integral field units on WiFeS extract spectra across the face of faint, distant galaxies enabling the dynamics of the stellar and gas content to be analysed in unprecedented detail. Anoth ....Construction of the blue-arm of the ANU 2.3m telescope Wide-Field Spectrograph. The new blue and red arms of the WiFeS spectrograph on the SSO 2.3m telescope utilizes new optical techniques and advances in detector technology to provide unique capabilities for front-line research and student training. The novel integral field units on WiFeS extract spectra across the face of faint, distant galaxies enabling the dynamics of the stellar and gas content to be analysed in unprecedented detail. Another important project will be to follow-up interesting objects discovered by the new SkyMapper telescope and establish those that need to be observed on 8 m telescopes such as Gemini, Magellan or VLT. Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0453879
Funder
Australian Research Council
Funding Amount
$184,163.00
Summary
Electron beam induced deposition and ablation nanofabrication facility. Electron beam induced deposition and ablation(EBIDA) is rapidly emerging as a new technology capable of fabricating three-dimensional nanostructures on nearly any substrate with very high precision. This proposal aims to establish a nanoscale EBIDA facility by integrating a specialized nanolithography attachment with an existing state-of-the-art 1nm resolution high current variable pressure scanning electron microscope. This ....Electron beam induced deposition and ablation nanofabrication facility. Electron beam induced deposition and ablation(EBIDA) is rapidly emerging as a new technology capable of fabricating three-dimensional nanostructures on nearly any substrate with very high precision. This proposal aims to establish a nanoscale EBIDA facility by integrating a specialized nanolithography attachment with an existing state-of-the-art 1nm resolution high current variable pressure scanning electron microscope. This combination of instrumentation will enable the high-speed production of conductive and insulating structures with 1-to-10nm dimensions. The unique facility will be used to manufacture and prototype novel nanoscale devices and structures and will enable measurement of their physical and chemical properties.Read moreRead less
Star Formation at Millimetre Wavelengths with the CSIRO Australia Telescope. The newly-upgraded CSIRO Australia Telescope Compact Array, together with the CSIRO Mopra Telescope, provide a unique and powerful combination for studying the millimetre-wave emission from molecules and cold dust in star formation regions. We propose to combine the astrophysical expertise of UNSW with the instrumental expertise of CSIRO to use these instruments to study the processes of star formation. There are two pa ....Star Formation at Millimetre Wavelengths with the CSIRO Australia Telescope. The newly-upgraded CSIRO Australia Telescope Compact Array, together with the CSIRO Mopra Telescope, provide a unique and powerful combination for studying the millimetre-wave emission from molecules and cold dust in star formation regions. We propose to combine the astrophysical expertise of UNSW with the instrumental expertise of CSIRO to use these instruments to study the processes of star formation. There are two parallel themes to this research: to commission and develop optimal techniques for using the new instruments, and to make use of them to explore the poorly-understood processes that cause stars to form.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347403
Funder
Australian Research Council
Funding Amount
$222,000.00
Summary
An ultra-wideband digital filterbank for the Mopra Radiotelescope. We seek funding to equip the Mopra radiotelescope with an ultra-wide-bandwidth digital filter bank. This will greatly improve the efficiency of the observatory, increasing the speed at which spectroscopic data is acquired by a factor of 8, and the speed of acquiring continuum data by a factor of 32. Once equipped in this way, Mopra, which is already the largest millimetre-wave radiotelescope in the southern hemisphere, will enjo ....An ultra-wideband digital filterbank for the Mopra Radiotelescope. We seek funding to equip the Mopra radiotelescope with an ultra-wide-bandwidth digital filter bank. This will greatly improve the efficiency of the observatory, increasing the speed at which spectroscopic data is acquired by a factor of 8, and the speed of acquiring continuum data by a factor of 32. Once equipped in this way, Mopra, which is already the largest millimetre-wave radiotelescope in the southern hemisphere, will enjoy an unbeatable edge over all other competing observatories around the world through its combination of collecting area and bandpass.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0219038
Funder
Australian Research Council
Funding Amount
$320,000.00
Summary
Focused Ion Beam System for multidisciplinary applications. A Focused Ion Beam (FIB)system to be housed in a central facility and configured for maximum flexibility and utility over a very wide range of disciplines and applications. It will be used for micromachining and nanoscale fabrication, as an imaging device sensitive to crystal orientation and as a preparation device for scanning and transmission electron microscopy. It will support research including electronic and opto-electronic mater ....Focused Ion Beam System for multidisciplinary applications. A Focused Ion Beam (FIB)system to be housed in a central facility and configured for maximum flexibility and utility over a very wide range of disciplines and applications. It will be used for micromachining and nanoscale fabrication, as an imaging device sensitive to crystal orientation and as a preparation device for scanning and transmission electron microscopy. It will support research including electronic and opto-electronic materials, nanotechnology, complex mesoscale structures, earth sciences, small system optics, fracture behaviour of polymers and biocomposites.Read moreRead less