Scalable and Precise Program Analysis for Modern Software Systems

现代软件系统的可扩展且精确的程序分析

基本信息

  • 批准号:
    RGPIN-2017-05070
  • 负责人:
  • 金额:
    $ 1.82万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2017
  • 资助国家:
    加拿大
  • 起止时间:
    2017-01-01 至 2018-12-31
  • 项目状态:
    已结题

项目摘要

Program-analysis tools can help detect, and possibly fix, many software bugs. However, empirical research has shown that, in practice, software developers refrain from using most program-analysis tools, because the tools do not scale to modern software systems, report many false positives, or disrupt the workflow of developers.
程序分析工具可以帮助检测,并可能修复许多软件错误。然而,实证研究表明,在实践中,软件开发人员避免使用大多数程序分析工具,因为这些工具不能扩展到现代软件系统,报告许多误报,或破坏开发人员的工作流程。

项目成果

期刊论文数量(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 }}

Ali, Karim其他文献

Learning Context Cues for Synapse Segmentation
  • DOI:
    10.1109/tmi.2013.2267747
  • 发表时间:
    2013-10-01
  • 期刊:
  • 影响因子:
    10.6
  • 作者:
    Becker, Carlos;Ali, Karim;Fua, Pascal
  • 通讯作者:
    Fua, Pascal
Ability of triage decision rules for rapid electrocardiogram to identify patients with suspected ST-elevation myocardial infarction.
  • DOI:
    10.1097/hpc.0b013e31826f4e8e
  • 发表时间:
    2012-12-01
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Osborne, Anwar Dayan;Ali, Karim;Ross, Michael
  • 通讯作者:
    Ross, Michael
An Overview of Diabetes Mellitus in Egypt and the Significance of Integrating Preventive Cardiology in Diabetes Management.
埃及糖尿病概述以及将预防心脏病学纳入糖尿病管理的意义。
  • DOI:
    10.7759/cureus.27066
  • 发表时间:
    2022-07
  • 期刊:
  • 影响因子:
    1.2
  • 作者:
    Abouzid, Mohamed R.;Ali, Karim;Elkhawas, Ibrahim;Elshafei, Shorouk M.
  • 通讯作者:
    Elshafei, Shorouk M.
IDEal: Efficient and Precise Alias-aware Dataflow Analysis
A Study of Call Graph Construction for JVM-Hosted Languages
JVM 托管语言的调用图构建研究

Ali, Karim的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Ali, Karim', 18)}}的其他基金

Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2022
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2021
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2020
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2019
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2018
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

CAREER: Program Analysis with Precise Abstractions
职业:精确抽象的程序分析
  • 批准号:
    2237440
  • 财政年份:
    2023
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Continuing Grant
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2022
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2021
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2020
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2019
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号:
    RGPIN-2017-05070
  • 财政年份:
    2018
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
SHF:Small:Scalable and Precise Program Analyses via Linear Conjunctive Language Reachability
SHF:Small:通过线性联合语言可达性进行可扩展且精确的程序分析
  • 批准号:
    1816812
  • 财政年份:
    2018
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Standard Grant
SHF:Small:Scalable and Precise Program Analyses via Linear Conjunctive Language Reachability
SHF:Small:通过线性联合语言可达性进行可扩展且精确的程序分析
  • 批准号:
    1917924
  • 财政年份:
    2018
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Standard Grant
XPS: CLCCA: Improving Parallel Program Reliability Through Novel Approaches to Precise Dynamic Data Race Detection
XPS:CLCCA:通过精确动态数据竞争检测的新方法提高并行程序可靠性
  • 批准号:
    1337174
  • 财政年份:
    2013
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Standard Grant
SHF: Small: Adapting Dataflow Analysis for Efficient and Precise Parallel Program Monitoring
SHF:小型:采用数据流分析实现高效、精确的并行程序监控
  • 批准号:
    1116898
  • 财政年份:
    2011
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了