To access this element change to forms mode OFF

Grant Award View - GA28481

Verified concurrent memory management on modern processors

Contact Details

ARC NCGP General Enquiries

:
02 6287 6600

:

GA ID:
GA28481
Agency:
Australian Research Council
Approval Date:
27-Nov-2018
Publish Date:
18-Dec-2018
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
14-Jun-2019 to 31-Dec-2023
Original: 1-Jan-2019 to 31-Dec-2021
Value (AUD):
$480,000.00 (GST inclusive where applicable)
Variations:
One-off/Ad hoc:
No
Aggregate Grant Award:
No
PBS Program Name:
ARC 18/19 Discovery
Grant Program:
Discovery Projects
Grant Activity:
Verified concurrent memory management on modern processors
Purpose:
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.
GO ID:
GO724
GO Title:
Discovery Projects commencing in 2019
Internal Reference ID:
DP19 Round 1
Selection Process:
Targeted or Restricted Competitive
Confidentiality - Contract:
No
Confidentiality - Outputs:
No

Grant Recipient Details
Recipient Name:
The Australian National University
Recipient ABN:
52 234 063 906

Grant Recipient Location
Suburb:
ACTON
Town/City:
ACTON
Postcode:
2601
State/Territory:
ACT
Country:
AUSTRALIA

Grant Delivery Location
State/Territory:
ACT
Postcode:
2601
Country:
AUSTRALIA

Contact Details

ARC NCGP General Enquiries

:
02 6287 6600

: