Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and ....Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and techniques. The expected outcomes include novel software, verified by industry partners in real world case studies, ranging from life sciences to hypersonic transport. This should provide significant benefits, including the capacity for Australian industries to access world-class supercomputing technology.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
Discovery Early Career Researcher Award - Grant ID: DE240101090
Funder
Australian Research Council
Funding Amount
$433,217.00
Summary
In-depth Investigation of Lithium Dendrite Formation Processes. Battery failure is mainly derived from uncontrollable lithium dendrite formation. This project aims to investigate fundamental lithium dendrite formation mechanism by utilizing a novel in-situ transmission electron microscopy cell. This project expects to build a new set up which is capable of simultaneous in-situ electrical and nanomechanical measurements of lithium dendrite growth. This project aims to reveal how lithium dendrite ....In-depth Investigation of Lithium Dendrite Formation Processes. Battery failure is mainly derived from uncontrollable lithium dendrite formation. This project aims to investigate fundamental lithium dendrite formation mechanism by utilizing a novel in-situ transmission electron microscopy cell. This project expects to build a new set up which is capable of simultaneous in-situ electrical and nanomechanical measurements of lithium dendrite growth. This project aims to reveal how lithium dendrite growth is affected by different surface modifications on the commercial graphite electrodes. The success of the project will lead to a fundamental understanding of the lithium dendrite formation mechanism, enabling the construction of significantly safer batteries.Read moreRead less