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
Discovery Early Career Researcher Award - Grant ID: DE220101057
Funder
Australian Research Council
Funding Amount
$424,140.00
Summary
Practical Automated Software Bug Fixing via Syntactic and Semantic Analyses. This proposal aims to advance the practical adoption of automated software bug repair, which has recently been adopted by industry, e.g., Facebook. It will produce novel methods that use mining software repositories, program analysis, and human-guided search to help automated repair to scale and be accurate. Expected outcomes include a publicly available automated bug repair framework. This project will help the softwar ....Practical Automated Software Bug Fixing via Syntactic and Semantic Analyses. This proposal aims to advance the practical adoption of automated software bug repair, which has recently been adopted by industry, e.g., Facebook. It will produce novel methods that use mining software repositories, program analysis, and human-guided search to help automated repair to scale and be accurate. Expected outcomes include a publicly available automated bug repair framework. This project will help the software industry deliver to users high quality software with improved reliability and safety, and increase education quality for students learning to code via automated feedback generation.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
Real-time imaging of crystal strengthening mechanisms in metals. The strength limit of a metal is marked by rapid motion of crystalline defects. The associated speeds can locally approach that of sound. To probe the associated mechanisms clearly requires both spatial and temporal resolution. We propose to create a new bulk x-ray technique with an unprecedented combination of temporal and spatial resolution. We plan to exploit the technique to mediate a step change in modelling strength based on ....Real-time imaging of crystal strengthening mechanisms in metals. The strength limit of a metal is marked by rapid motion of crystalline defects. The associated speeds can locally approach that of sound. To probe the associated mechanisms clearly requires both spatial and temporal resolution. We propose to create a new bulk x-ray technique with an unprecedented combination of temporal and spatial resolution. We plan to exploit the technique to mediate a step change in modelling strength based on twinning. The formation of crystalline twins is known to dictate the strength of the light metal magnesium. A fuller understanding of the effect of twinning on strength in this metal will provide much needed confidence to implement it more widely in energy saving applications.Read moreRead less
X-ray Ghost Imaging and Tomography. This project aims to achieve safer, faster, and cheaper 3D X-ray imaging through a technique known as ghost imaging. X-ray imaging provides valuable information about internal structures, however, X-rays are carcinogenic and exposure (or dose) should be limited. Ghost imaging is an unconventional technique developed with visible light that has many potential benefits over conventional imaging. This research group are world leaders in ghost imaging and expect t ....X-ray Ghost Imaging and Tomography. This project aims to achieve safer, faster, and cheaper 3D X-ray imaging through a technique known as ghost imaging. X-ray imaging provides valuable information about internal structures, however, X-rays are carcinogenic and exposure (or dose) should be limited. Ghost imaging is an unconventional technique developed with visible light that has many potential benefits over conventional imaging. This research group are world leaders in ghost imaging and expect to develop software and hardware techniques to realise its potential and extend it to ghost tomography. The focus of this project is on reducing cancer risk in medical imaging, and allowing real-time quality control for 3D printing in safety-critical industries such as aerospace.Read moreRead less
Developing serial crystallography for room temperature structure & dynamics. This project aims to uncover the molecular structural dynamics of a bacterial enzyme responsible for protein folding in bacteria. This project expects to generate new knowledge to guide the development of a new type of antibacterial to circumvent antibiotic resistance. Expected outcomes of this project include new experimental, computational and simulation tools for dynamic X-ray crystallography including new capabiliti ....Developing serial crystallography for room temperature structure & dynamics. This project aims to uncover the molecular structural dynamics of a bacterial enzyme responsible for protein folding in bacteria. This project expects to generate new knowledge to guide the development of a new type of antibacterial to circumvent antibiotic resistance. Expected outcomes of this project include new experimental, computational and simulation tools for dynamic X-ray crystallography including new capabilities at the Australian Synchrotron for very small microcrystals of any biomolecule. This would provide a powerful new tool for the Australian structural biology community that should accelerate fundamental discoveries, including facilitating high-resolution structure determination of membrane proteins and drug development.Read moreRead less
Probing nanoscale disorder in 3D with x-ray free-electron lasers. This project aims to reveal the 3D nanostructure of disordered matter with x-rays for the first time. Existing x-ray scattering techniques for disordered structures currently provide limited, one-dimensional information only. The expected outcomes of the project include an enhanced new capability for the Australian Synchrotron and international x-ray laser facilities, and new insights into the microscopic origins of the properties ....Probing nanoscale disorder in 3D with x-ray free-electron lasers. This project aims to reveal the 3D nanostructure of disordered matter with x-rays for the first time. Existing x-ray scattering techniques for disordered structures currently provide limited, one-dimensional information only. The expected outcomes of the project include an enhanced new capability for the Australian Synchrotron and international x-ray laser facilities, and new insights into the microscopic origins of the properties of liquids and biological membranes. This should benefit research areas that use x-ray scattering to probe the nanostructure of materials for diverse applications such as nanotechnology, fuel cells and drug design.Read moreRead less
Resonant tender X-ray scattering of organic semiconductors. This project aims to establish resonant tender X-ray scattering as a mature technique for unravelling the complex microstructure of organic semiconductor layers. By understanding and exploiting the resonant interaction between organic semiconductors and X-rays tuned to appropriate absorption edges, new information about the molecular packing of these materials will be obtained. The expected outcomes are new experimental methodologies an ....Resonant tender X-ray scattering of organic semiconductors. This project aims to establish resonant tender X-ray scattering as a mature technique for unravelling the complex microstructure of organic semiconductor layers. By understanding and exploiting the resonant interaction between organic semiconductors and X-rays tuned to appropriate absorption edges, new information about the molecular packing of these materials will be obtained. The expected outcomes are new experimental methodologies and analysis tools for determining the complex structure of technologically relevant materials. Benefits include understanding of the properties of solution-processed semiconductors enabling the design of high performance materials with applications in energy, electronics, lighting and health.Read moreRead less