Finding concurrency bugs in multithreaded software

查找多线程软件中的并发错误

• 批准号: DP130101970
• 负责人: Prof Jingling Xue
• 金额: $ 25.58万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2013
• 资助国家: 澳大利亚
• 起止时间: 2013-01-01 至 2016-12-14
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP130101970
• 关键词: Finding; concurrency; bugs; 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.

该项目旨在开发可靠实用的技术，用于检测和消除面向对象语言（如Java）的并发错误，这是通过并发效果的新模型实现的。预期的结果是一种新技术，将显著提高大规模并发编程的安全性、生产力和效率。