CAREER: Leveraging Everyday Usage of Programs to Eliminate Bugs

职业:利用程序的日常使用来消除错误

基本信息

项目摘要

Building good quality software is crucial for achieving a high degree of security, availability, and efficiency. Therefore, software developers spend more than half of their time testing and debugging software to remove errors in programs. As a result, the cost of software quality assurance is exorbitant. Despite these efforts, modern software used in real-world systems is full of bugs. The goal of this project is to help developers find, reproduce, and fix bugs. To achieve this goal, this project will develop techniques that systematically use the massive amount of information generated by software every day. Much like software is built to carry out specific tasks, the process that monitors information for debugging and testing purposes also needs to be adapted to achieve specific objectives. Current approaches that mainly collect generic information from all programs have significant limitations. Therefore, this research will introduce new approaches to monitor information in program-specific ways. This information will be adaptively adjusted to automatically reproduce complex bugs. Once bugs are reproduced, they are much easier to fix. A key contribution of this research will be to use both successful and unsuccessful program executions to help reproduce bugs.This work will solve long-standing open problems that make it very hard to reproduce bugs in real-world systems. The developed techniques will benefit other research areas such as software testing and program repair. Broadly, this research will reduce the costs of software bugs and result in higher quality software, ultimately benefiting society. The tools and datasets created by this research will be openly released to promote reproducibility, further studies, and adoption by academia and industry. Another key focus of this project is an educational plan that is closely integrated with the research plan via academic and industrial collaborations. This project will develop and launch an openly-available online programming course centered around debugging. This course will be initially piloted locally to engage underrepresented and under-served K-8 students. Towards a unified education and research vision, the results of this project will inform ongoing outreach activities to promote understanding and broaden participation in computing.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.
构建高质量的软件对于实现高度的安全性、可用性和效率至关重要。因此,软件开发人员花费一半以上的时间测试和调试软件,以消除程序中的错误。因此,软件质量保证的成本过高。尽管有这些努力,但现实世界系统中使用的现代软件充满了错误。这个项目的目标是帮助开发人员发现、重现和修复bug。 为了实现这一目标,该项目将开发系统地使用软件每天产生的大量信息的技术。就像软件是为执行特定任务而构建的一样,出于调试和测试目的而监视信息的过程也需要进行调整以实现特定目标。目前主要从所有程序收集通用信息的方法具有很大的局限性。因此,本研究将介绍新的方法来监测信息的程序特定的方式。这些信息将被自适应地调整,以自动重现复杂的bug。一旦bug被复制,它们就更容易修复。这项研究的一个关键贡献是使用成功和不成功的程序执行来帮助重现错误。这项工作将解决长期存在的开放问题,这些问题使得在现实世界的系统中重现错误变得非常困难。所开发的技术将有利于其他研究领域,如软件测试和程序修复。总的来说,这项研究将降低软件错误的成本,并产生更高质量的软件,最终造福社会。本研究创建的工具和数据集将公开发布,以促进学术界和工业界的可重复性,进一步研究和采用。该项目的另一个重点是通过学术和工业合作与研究计划紧密结合的教育计划。该项目将开发并推出一个以调试为中心的开放式在线编程课程。该课程最初将在当地进行试点,以吸引代表性不足和服务不足的K-8学生。为了实现统一的教育和研究愿景,该项目的成果将为正在进行的外展活动提供信息,以促进对计算的理解和扩大参与。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Vidi: Record Replay for Reconfigurable Hardware
Debugging in the brave new world of reconfigurable hardware
在可重构硬件的美丽新世界中进行调试
Execution reconstruction: harnessing failure reoccurrences for failure reproduction
执行重建:利用故障重复发生来重现故障
{{ 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 }}

Baris Kasikci其他文献

Atom: Low-bit Quantization for Efficient and Accurate LLM Serving
Atom:低位量化,实现高效、准确的 LLM 服务
  • DOI:
    10.48550/arxiv.2310.19102
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yilong Zhao;Chien;Kan Zhu;Zihao Ye;Lequn Chen;Size Zheng;Luis Ceze;Arvind Krishnamurthy;Tianqi Chen;Baris Kasikci
  • 通讯作者:
    Baris Kasikci
Optimal and Error-Free Multi-Valued Byzantine Consensus Through Parallel Execution
通过并行执行实现最优且无错误的多值拜占庭共识
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Andrew D. Loveless;R. Dreslinski;Baris Kasikci
  • 通讯作者:
    Baris Kasikci
A Hypervisor for Shared-Memory FPGA Platforms
适用于共享内存 FPGA 平台的虚拟机管理程序
Holistic defenses against microarchitectural attacks
针对微架构攻击的整体防御
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Baris Kasikci;Kevin Loughlin
  • 通讯作者:
    Kevin Loughlin
Towards Bug-free Persistent Memory Applications
迈向无错误的持久内存应用
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ian Neal;Andrew Quinn;Baris Kasikci
  • 通讯作者:
    Baris Kasikci

Baris Kasikci的其他文献

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

{{ truncateString('Baris Kasikci', 18)}}的其他基金

Collaborative Research: FoMR: Taming the Instruction Bottleneck in Modern Datacenter Applications
合作研究:FoMR:克服现代数据中心应用中的指令瓶颈
  • 批准号:
    2346057
  • 财政年份:
    2023
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Standard Grant
Collaborative Research: CISE: Large: Cross-Layer Resilience to Silent Data Corruption
协作研究:CISE:大型:针对静默数据损坏的跨层弹性
  • 批准号:
    2321490
  • 财政年份:
    2023
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Continuing Grant
CAREER: Leveraging Everyday Usage of Programs to Eliminate Bugs
职业:利用程序的日常使用来消除错误
  • 批准号:
    2333885
  • 财政年份:
    2023
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Continuing Grant
Collaborative Research: FoMR: Taming the Instruction Bottleneck in Modern Datacenter Applications
合作研究:FoMR:克服现代数据中心应用中的指令瓶颈
  • 批准号:
    2010810
  • 财政年份:
    2020
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Standard Grant

相似海外基金

CAREER: Leveraging Plastic Deformation Mechanisms Interactions in Metallic Materials to Access Extraordinary Fatigue Strength.
职业:利用金属材料中的塑性变形机制相互作用来获得非凡的疲劳强度。
  • 批准号:
    2338346
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Continuing Grant
CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
  • 批准号:
    2312089
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Standard Grant
REU Site: CyberAI: Cybersecurity Solutions Leveraging Artificial Intelligence for Smart Systems
REU 网站:Cyber​​AI:利用人工智能实现智能系统的网络安全解决方案
  • 批准号:
    2349104
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Standard Grant
HSI Implementation and Evaluation Project: Leveraging Social Psychology Interventions to Promote First Year STEM Persistence
HSI 实施和评估项目:利用社会心理学干预措施促进第一年 STEM 的坚持
  • 批准号:
    2345273
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Standard Grant
Nonlocal Elastic Metamaterials: Leveraging Intentional Nonlocality to Design Programmable Structures
非局域弹性超材料:利用有意的非局域性来设计可编程结构
  • 批准号:
    2330957
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Standard Grant
Postdoctoral Fellowship: OPP-PRF: Leveraging Community Structure Data and Machine Learning Techniques to Improve Microbial Functional Diversity in an Arctic Ocean Ecosystem Model
博士后奖学金:OPP-PRF:利用群落结构数据和机器学习技术改善北冰洋生态系统模型中的微生物功能多样性
  • 批准号:
    2317681
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Standard Grant
Leveraging the synergy between experiment and computation to understand the origins of chalcogen bonding
利用实验和计算之间的协同作用来了解硫族键合的起源
  • 批准号:
    EP/Y00244X/1
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Research Grant
Building recovery and resilience in severe mental illness: Leveraging the role of social determinants in illness trajectories and interventions
建立严重精神疾病的康复和复原力:利用社会决定因素在疾病轨迹和干预措施中的作用
  • 批准号:
    MR/Z503514/1
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Research Grant
CAREER: Leveraging Data Science & Policy to Promote Sustainable Development Via Resource Recovery
职业:利用数据科学
  • 批准号:
    2339025
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Continuing Grant
CAREER: Constraining the high-latitude ocean carbon cycle: Leveraging the Ocean Observatories Initiative (OOI) Global Arrays as marine biogeochemical time series
职业:限制高纬度海洋碳循环:利用海洋观测计划(OOI)全球阵列作为海洋生物地球化学时间序列
  • 批准号:
    2338450
  • 财政年份:
    2024
  • 资助金额:
    $ 57.6万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了