Finding concurrency bugs in multithreaded software
查找多线程软件中的并发错误
基本信息
- 批准号：DP130101970
- 负责人：
- 金额：$ 25.58万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：Discovery Projects
- 财政年份：2013
- 资助国家：澳大利亚
- 起止时间：2013-01-01 至 2016-12-14
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
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 等面向对象语言的并发错误，并通过新的并发效果模型实现。预期成果是一项新技术，将显着提高大规模并发编程的安全性、生产力和效率。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Prof Jingling Xue其他文献
Prof Jingling Xue的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Prof Jingling Xue', 18)}}的其他基金
Ownership-based Alias Analysis for Securing Unsafe Rust Programs
用于保护不安全 Rust 程序的基于所有权的别名分析
- 批准号：
DP240103194 - 财政年份：2024
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
Detecting Asynchronous Event-Driven Order Violations in Android Apps
检测 Android 应用中异步事件驱动的订单违规
- 批准号：
DP210102409 - 财政年份：2022
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
Discovery Projects - Grant ID: DP210102409
发现项目 - 拨款 ID：DP210102409
- 批准号：
ARC : DP210102409 - 财政年份：2022
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
Securing systems against code-reuse attacks with modular pointer analysis
通过模块化指针分析保护系统免受代码重用攻击
- 批准号：
DP180104069 - 财政年份：2018
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
Soundness-guided security analysis for android applications
Android 应用程序健全性引导的安全分析
- 批准号：
DP170103956 - 财政年份：2017
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
Sparse Demand-Driven Analysis to Improve Software Reliability and Security
稀疏需求驱动分析以提高软件可靠性和安全性
- 批准号：
DP150102109 - 财政年份：2015
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
Automating data placement and movement for explicitly managed memory hierarchies
显式管理的内存层次结构的自动化数据放置和移动
- 批准号：
DP110104628 - 财政年份：2011
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
A Programming Model of Object Validity for Secure and Efficient Concurrency
用于安全高效并发的对象有效性编程模型
- 批准号：
DP0987236 - 财政年份：2009
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
Scratchpad-based Memory Allocation Techniques for Embedded Software
基于暂存器的嵌入式软件内存分配技术
- 批准号：
DP0881330 - 财政年份：2008
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
Analysis and Optimisation of Incomplete Object-Oriented Programs
不完全面向对象程序的分析与优化
- 批准号：
DP0665581 - 财政年份：2006
- 资助金额：
$ 25.58万 - 项目类别：
Discovery Projects
相似国自然基金
基于器官芯片的并发性动脉粥样硬化模型构建新方法研究
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
PLA2R-podoplanin功能串话在特发性膜性肾病及血栓并发症中的作用和调控机制
- 批准号：81970615
- 批准年份：2019
- 资助金额：55 万元
- 项目类别：面上项目
蜕膜BDCA-3+树突状细胞扩充及调控母胎免疫耐受的机制研究
- 批准号：81601315
- 批准年份：2016
- 资助金额：17.5 万元
- 项目类别：青年科学基金项目
高度近视并发性白内障发病与预后精准医学基因预测模型的构建研究
- 批准号：81670835
- 批准年份：2016
- 资助金额：58.0 万元
- 项目类别：面上项目
肠道菌群耐药基因组与肝硬化并发自发性腹膜炎的致病菌耐药性之间的关联研究
- 批准号：81501795
- 批准年份：2015
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
相似海外基金
CRII: SHF: An Automated and User-centered Framework for Reproducing System-level Concurrency Bugs by Analyzing Bug Reports
CRII：SHF：通过分析错误报告来重现系统级并发错误的自动化且以用户为中心的框架
- 批准号：
2348277 - 财政年份：2024
- 资助金额：
$ 25.58万 - 项目类别：
Standard Grant
CSR: Medium:Combating Distributed Concurrency Bugs in Cloud Systems
CSR：中：对抗云系统中的分布式并发错误
- 批准号：
1563956 - 财政年份：2016
- 资助金额：
$ 25.58万 - 项目类别：
Continuing Grant
Fighting Concurrency Bugs through Effect-Oriented Approaches
通过面向效果的方法对抗并发错误
- 批准号：
1018180 - 财政年份：2010
- 资助金额：
$ 25.58万 - 项目类别：
Standard Grant
SHF: Small: Software and Hardware Support for Detecting Concurrency, Sequential and Distributed Bugs via Data-Flow Invariants
SHF：小型：通过数据流不变量检测并发、顺序和分布式错误的软件和硬件支持
- 批准号：
1017804 - 财政年份：2010
- 资助金额：
$ 25.58万 - 项目类别：
Standard Grant
SHF: Small: Interleaving Constrained Parallel Runtime System for Tolerating Concurrency Bugs
SHF：小型：用于容忍并发错误的交错约束并行运行时系统
- 批准号：
0916770 - 财政年份：2009
- 资助金额：
$ 25.58万 - 项目类别：
Standard Grant