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
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: DE230100197
Funder
Australian Research Council
Funding Amount
$438,000.00
Summary
In one zeptosecond: quantifying energy dissipation in heavy element fusion. This project aims to understand the process of energy dissipation in superheavy element fusion reactions. Using state-of-the art facilities unique to Australia, the first detailed measurements of the crucial early stages of these reactions will be made. This is expected to generate significant fundamental knowledge on why some superheavy element fusion reactions succeed, and why others fail. The outcomes are expected to ....In one zeptosecond: quantifying energy dissipation in heavy element fusion. This project aims to understand the process of energy dissipation in superheavy element fusion reactions. Using state-of-the art facilities unique to Australia, the first detailed measurements of the crucial early stages of these reactions will be made. This is expected to generate significant fundamental knowledge on why some superheavy element fusion reactions succeed, and why others fail. The outcomes are expected to significantly advance the fundamental understanding of nuclear reactions, and provide key guidance to international opportunities to create new superheavy elements and isotopes. Expected benefits include improving cancer treatments, understanding element abundance in the universe and improved safety in nuclear technologies.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
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
Quantum thermalisation: a new framework for nuclear collisions. This project aims to quantify and model the processes that lead to quantum thermalisation in nuclear collisions. Thermalisation is critical to the synthesis of new superheavy elements, production of medical isotopes, and creation of heavy elements in the cosmos. Yet quantum thermalisation in nuclear systems is not understood, causing models to be wrong by up to a factor of 100. This project will determine the routes to thermalisatio ....Quantum thermalisation: a new framework for nuclear collisions. This project aims to quantify and model the processes that lead to quantum thermalisation in nuclear collisions. Thermalisation is critical to the synthesis of new superheavy elements, production of medical isotopes, and creation of heavy elements in the cosmos. Yet quantum thermalisation in nuclear systems is not understood, causing models to be wrong by up to a factor of 100. This project will determine the routes to thermalisation in nuclear systems by combining the latest concepts in many body quantum physics with enhancements to Australia’s precision measurement capabilities. The project will enable new fundamental tests of quantum mechanics and benefit broader applications of nuclear collisions.Read moreRead less
ARC Centre of Excellence for Dark Matter Particle Physics. The Centre of Excellence for Dark Matter Particle Physics will deliver breakthroughs in our understanding of the Universe through the pursuit of the discovery of dark matter particles which comprise 80% of the mass of the universe. It assembles for the first time a strong and diverse team of physicists from particle, nuclear, and quantum physics as well as particle astrophysics. It will deliver high-profile experiments using new cutting- ....ARC Centre of Excellence for Dark Matter Particle Physics. The Centre of Excellence for Dark Matter Particle Physics will deliver breakthroughs in our understanding of the Universe through the pursuit of the discovery of dark matter particles which comprise 80% of the mass of the universe. It assembles for the first time a strong and diverse team of physicists from particle, nuclear, and quantum physics as well as particle astrophysics. It will deliver high-profile experiments using new cutting-edge technologies. The Centre will exploit the unique geographical location of the first underground physics lab in the Southern Hemisphere. The ultra-sensitive detectors and ultra-low radiation techniques will translate into a broad range of industrial applications and train a new generation of scientists.Read moreRead less