Verified Concurrent Memory Management on Modern Processors
Researchers
- Professor Antony Hosking (Primary Investigator)
- J Eliot B Moss (Secondary Investigator)
- Magnus Myreen (Secondary Investigator)
- Michael Norrish (Secondary Investigator)
Grant status
ActiveGrant start date
14/06/2019Grant funding
- 2019: $160,000 from Australian Research Council (ARC)
- 2020: $160,000 from Australian Research Council (ARC)
- 2021: $160,000 from Australian Research Council (ARC)