Discovery Projects - Grant ID: DP190102167

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP190102167

Funding Status
Active

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 14-06-2019

End Date: 31-12-2023

Funding Scheme: Discovery Projects

Funding Amount: $480,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Computer Software | Computer System Security | Concurrent Programming

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Application Tools and System Utilities |

Other Keywords

Application Tools and System Utilities | Computer Software | Computer System Security | Concurrent Programming | Expanding Knowledge in the Information and Computing Sciences | Programming Languages

Related Links