Discovery Projects - Grant ID: DP130101970

Funding Activity

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

Funding Status
Closed

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

Finding concurrency bugs in multithreaded software. This project aims to develop sound and practical techniques for detecting and eliminating concurrency bugs for object-oriented languages like Java, enabled by a new model for concurrent effects. The expected outcome is a novel technology that will significantly improve the safety, productivity and efficiency of large-scale concurrent programming.

Funded Activity Details

Start Date: 01-01-2013

End Date: 14-12-2016

Funding Scheme: Discovery Projects

Funding Amount: $360,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Computer Software | Concurrent Programming

ANZSRC Socio-Economic Objective (SEO)

Application Tools and System Utilities |

Other Keywords

Application Tools and System Utilities | Computer Software | Concurrent Programming | Programming Languages

Related Links