Scalable and Precise Program Analysis for Modern Software Systems

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

基本信息

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

项目摘要

code summaries; compilers; framework modelling; object-oriented languages; program analysis; programming languages; programming tools; software systems
代码摘要；编译器；框架建模；面向对象的语言；计划分析；编程语言；编程工具；软件系统

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

暂无数据

数据更新时间：2024-06-01

Ali, Karim其他文献

Learning Context Cues for Synapse Segmentation
Ability of triage decision rules for rapid electrocardiogram to identify patients with suspected ST-elevation myocardial infarction.
  • DOI：
    10.1097/hpc.0b013e31826f4e8e
    10.1097/hpc.0b013e31826f4e8e
  • 发表时间：
    2012-12-01
    2012-12-01
  • 期刊：
    Critical pathways in cardiology
    Critical pathways in cardiology
  • 影响因子：
    0
  • 作者：
    Osborne, Anwar Dayan;Ali, Karim;Ross, Michael
    Osborne, Anwar Dayan;Ali, Karim;Ross, Michael
  • 通讯作者：
    Ross, Michael
    Ross, Michael
Learning Context Cues for Synapse Segmentation in EM Volumes
Data-Driven Visual Tracking in Retinal Microsurgery
An Overview of Diabetes Mellitus in Egypt and the Significance of Integrating Preventive Cardiology in Diabetes Management.
埃及糖尿病概述以及将预防心脏病学纳入糖尿病管理的意义。
  • DOI：
    10.7759/cureus.27066
    10.7759/cureus.27066
  • 发表时间：
    2022-07
    2022-07
  • 期刊：
    CUREUS JOURNAL OF MEDICAL SCIENCE
    CUREUS JOURNAL OF MEDICAL SCIENCE
  • 影响因子：
    1.2
  • 作者：
    Abouzid, Mohamed R.;Ali, Karim;Elkhawas, Ibrahim;Elshafei, Shorouk M.
    Abouzid, Mohamed R.;Ali, Karim;Elkhawas, Ibrahim;Elshafei, Shorouk M.
  • 通讯作者：
    Elshafei, Shorouk M.
    Elshafei, Shorouk M.
共 10 条
  • 1
  • 2
前往
页

Ali, Karim的其他基金

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

相似国自然基金

肝癌外周血测序数据中循环肿瘤DNA占比的精确解耦方法研究
  • 批准号：
    62303271
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
基于近地遥感与模型耦合的小麦氮高效表型精确预测评估
  • 批准号：
    32371990
  • 批准年份：
    2023
  • 资助金额：
    50 万元
  • 项目类别：
    面上项目
基于波动法的叠层橡胶隔震支座老化损伤原位检测及精确评估方法研究
  • 批准号：
    52308322
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
基于LAMOST中色散光谱和TESS测光巡天精确研究晚型恒星的磁活动性质
  • 批准号：
    12373032
  • 批准年份：
    2023
  • 资助金额：
    55 万元
  • 项目类别：
    面上项目
InCo双金属单原子纳米酶原子结构的精确调控及中性氧还原机理研究
  • 批准号：
    22305108
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号：
    RGPIN-2017-05070
    RGPIN-2017-05070
  • 财政年份：
    2022
  • 资助金额：
    $ 1.82万
    $ 1.82万
  • 项目类别：
    Discovery Grants Program - Individual
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号：
    RGPIN-2017-05070
    RGPIN-2017-05070
  • 财政年份：
    2020
  • 资助金额：
    $ 1.82万
    $ 1.82万
  • 项目类别：
    Discovery Grants Program - Individual
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号：
    RGPIN-2017-05070
    RGPIN-2017-05070
  • 财政年份：
    2019
  • 资助金额：
    $ 1.82万
    $ 1.82万
  • 项目类别：
    Discovery Grants Program - Individual
    Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
  • 批准号：
    RGPIN-2017-05070
    RGPIN-2017-05070
  • 财政年份：
    2018
  • 资助金额：
    $ 1.82万
    $ 1.82万
  • 项目类别：
    Discovery Grants Program - Individual
    Discovery Grants Program - Individual
SHF:Small:Scalable and Precise Program Analyses via Linear Conjunctive Language Reachability
SHF:Small：通过线性联合语言可达性进行可扩展且精确的程序分析
  • 批准号：
    1816812
    1816812
  • 财政年份：
    2018
  • 资助金额：
    $ 1.82万
    $ 1.82万
  • 项目类别：
    Standard Grant
    Standard Grant