Discovery Projects - Grant ID: DP160102457

Funded Activity Summary

Relaxed correctness criteria for modern multi-core architectures. This project seeks to lay groundwork for fully exploiting the potential of multicore computers. Multicore computers have become ubiquitous over the last decade, now being standard in everything from laptops to mobile phones. Their benefits are clear – better performance leading to more sophisticated applications. Key to ensuring those benefits are complex, and often subtle, algorithms that exploit the parallelism that multicore computers offer. This project aims to lay foundations for extending those benefits to applications where high reliability is a concern. It plans to do so by developing theoretical results about the correctness of algorithms on standard multicore computers, and practical tools and techniques to help programmers of multicore computers to better understand the behaviour of their code.

Funded Activity Details

Start Date: 01-01-2016

End Date: 31-12-2019

Funding Scheme: Discovery Projects

Funding Amount: $285,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Applied Discrete Mathematics | Computational Logic and Formal Languages | Computation Theory and Mathematics | Concurrent Programming

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Expanding Knowledge in Technology |

Other Keywords

Applied Discrete Mathematics | Computation Theory and Mathematics | Computational Logic and Formal Languages | Concurrent Programming | Expanding Knowledge in Technology | Expanding Knowledge in the Information and Computing Sciences

Related Links