课题基金 / 基金详情

Finding concurrency bugs in multithreaded software

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
关键词：
Findingconcurrencybugsmultithreadedsoftware

项目摘要

项目成果

Prof Jingling Xue的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Ownership-based Alias Analysis for Securing Unsafe Rust Programs
  • 批准号：
    DP240103194
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $35.59万
  • 财政年份：
    2024
  • 负责人：
    Prof Jingling Xue
  • 依托单位：
    The University of New South Wales
Detecting Asynchronous Event-Driven Order Violations in Android Apps
  • 批准号：
    DP210102409
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $22.17万
  • 财政年份：
    2022
  • 负责人：
    Prof Jingling Xue
  • 依托单位：
    The University of New South Wales
Discovery Projects - Grant ID: DP210102409
  • 批准号：
    ARC : DP210102409
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $31.5万
  • 财政年份：
    2022
  • 负责人：
    Prof Jingling Xue
  • 依托单位：
    The University of New South Wales
Securing systems against code-reuse attacks with modular pointer analysis
  • 批准号：
    DP180104069
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $25.38万
  • 财政年份：
    2018
  • 负责人：
    Prof Jingling Xue
  • 依托单位：
    The University of New South Wales
海外基金