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

Active

Grant start date

14/06/2019

Grant 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)

Updated:  29 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers