SHF: Small: Pa3S: Towards Pointer Analysis as a Service
SHF: Small: Pa3S: Towards Pointer Analysis as a Service
批准号:
2006450
负责人:
Jeff Huang
金额:
$42.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2020
资助国家:
美国
项目状态:
已结题
起止时间:
2020-10-01 至 2024-09-30
中文摘要
指针分析是软件构造、维护和性能优化中广泛应用的一种基本技术,如编译器优化、缺陷检测、安全分析、测试、调试、验证、程序理解等。然而,尽管经过了几十年的研究,指针分析的原则性承诺与其在现实世界中的实际使用之间仍然存在着巨大的差距。由于指针分析固有的计算复杂性,目前大多数产品编译器只使用不精确的过程内指针分析,而全程序过程间指针分析很少成功应用于大型现实应用程序,如Linux内核或Google Chrome浏览器。该项目将创建一个用于指针分析的软件即服务(SaaS)平台,该平台提供一组标准API,用于计算指针分析并回答用户通过Internet进行的指针分析查询,而无论用户的应用程序、执行环境或物理位置如何。SaaS通过使用集中式服务器计算和存储指针分析结果,并在用户之间有效地共享计算和结果,为解决指针分析的性能和可用性挑战提供了一种有前途的解决方案。为了实现这样一个平台,该项目将开发新的分布式增量指针分析算法,用于指针分析查询的新API,以及通过编译器优化和错误检测对大型应用程序进行评估。如果成功,这些技术将使指针分析更具可扩展性,并更广泛地适用于大型复杂代码库,最终导致更快、更安全的最终用户软件产品。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
Pointer analysis is a fundamental technique that underpins a wide range of applications in software construction, maintenance and performance optimization, such as compiler optimization, bug detection, security analysis, testing, debugging, verification, program comprehension, and so on. However, despite decades of research there still exists a huge gap between the principled promise of pointer analysis and its practical usage in the real world. Due to the inherent computational complexity of pointer analysis, most production compilers today use only imprecise intra-procedural pointer analyses, and a whole-program interprocedural pointer analysis has rarely been successfully applied to large real-world applications such as the Linux kernel or the Google Chrome browser.This project will create a software as a service (SaaS) platform for pointer analysis, which provides a set of standard APIs for computing pointer analysis and answering pointer analysis queries from users over the Internet, regardless of their applications, execution environments, or physical locations. SaaS provides a promising solution to address the performance and usability challenges of pointer analysis by using a centralized server to compute and memorize the pointer analysis results, and sharing the computation and results effectively among users. To realize such a platform, this project will develop new distributed incremental pointer-analysis algorithms, new APIs for pointer-analysis queries, and evaluations on large-scale applications with compiler optimizations and bug detection. If successful, these techniques will make pointer analysis more scalable and more widely applicable to large complex code bases, eventually leading to faster and more secure end-user software products.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
I-Corps: Smart Programming Tools for Improving Software Debugging
-
批准号:1952383
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2020
-
负责人:Jeff Huang
-
依托单位:
SaTC: CORE: Small: New Defenses for Data-Only Attacks
-
批准号:1901482
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2019
-
负责人:Jeff Huang
-
依托单位:
EAGER: Computationally and Socially Guided Self-Experiments
-
批准号:1656763
-
项目类别:Standard Grant
-
资助金额:$29.3万
-
财政年份:2017
-
负责人:Jeff Huang
-
依托单位:
CAREER: Modeling User Touch and Motion Behaviors for Adaptive Interfaces in Mobile Devices
-
批准号:1552663
-
项目类别:Continuing Grant
-
资助金额:$50.12万
-
财政年份:2016
-
负责人:Jeff Huang
-
依托单位:
CAREER: Scalable and Maximal Concurrency Debugging
-
批准号:1552935
-
项目类别:Continuing Grant
-
资助金额:$55.0万
-
财政年份:2016
-
负责人:Jeff Huang
-
依托单位:
CRII: CHS: Scalable Webcam Eyetracking by Learning from User Interactions
-
批准号:1464061
-
项目类别:Continuing Grant
-
资助金额:$17.5万
-
财政年份:2015
-
负责人:Jeff Huang
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: