CAREER: Comprehensive Techniques and Design for Flexible Graph Visualization of Software and Systems

职业：软件和系统灵活图形可视化的综合技术和设计

• 批准号: 2324465
• 负责人: Katherine Isaacs
• 金额: $ 52.79万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2022
• 资助国家: 美国
• 起止时间: 2022-10-01 至 2024-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2324465&HistoricalAwards=false
• 关键词: CAREER; Comprehensive; Techniques; Design; Flexible

Computationally-assisted drug discovery, predictions of hurricane trajectories, and simulations of new energy sources are all made possible by underlying software (programs). To construct these programs, software developers must divide each problem into smaller operations and order those operations carefully to compute the correct answer. This ordering can be viewed as a network graph, where each operation points to its next possible operations in order. Furthermore, to make these programs run fast enough to be useful, developers, engineers, and researchers must find new ways to balance those operations with system resources such as storage, processing units, and memory. These resource constraints add more ordering requirements to the graph. Verifying this graph can help avoid bugs. Information inferred from this graph can be used to automatically decrease the time the program requires to run. Thus, people working in computing frequently examine these graphs to generate or validate new ideas about how to write their programs or use computational resources. For example, a programmer may discover a long sequence of operations performed one after another that could be parallelized, thus making the program faster. General approaches for drawing networks have not met the demand of graphs in the computing space, resulting in difficult to interpret, if not unusable, diagrams. The purpose of this project is to develop new graph visualization approaches to better support developers, engineers, and researchers in their work and learners in their understanding of computing and their integration of tools such as graph visualization into their skill sets.Graphs arising from computing contexts frequently take the form of directed acyclic or near-acyclic graphs (DAG-like graphs). The aim of this project is to develop layout algorithms and design guidelines specifically for this class of computing graphs. Research tasks include surveying graphs generated across computing disciplines to derive a characterization of their structure, their domain-specific sub-structures, and their common drawing conventions. The characterization will guide the development of constraints and objectives for layout of node-link diagrams as well as design guidelines for interactivity and visual encoding in support of domain-specific tasks. The results will be implemented in an open-source library and evaluated for both expressivity of computing structures and computational performance.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。从该图中推断出的信息可用于自动减少程序运行所需的时间。因此，从事计算工作的人经常检查这些图，以生成或验证有关如何编写程序或使用计算资源的新想法。例如，程序员可能会发现一个接一个地执行的长操作序列可以并行化，从而使程序更快。绘制网络的一般方法已经不能满足计算空间中图形的需求，导致难以解释，如果不是不可用的，图。该项目的目的是开发新的图形可视化方法，以更好地支持开发人员，工程师和研究人员在他们的工作和学习者在他们的理解计算和他们的工具，如图形可视化集成到他们的技能集。图形产生的计算上下文经常采取的形式有向无环或近无环图（DAG类图）。这个项目的目的是专门为这类计算图开发布局算法和设计指南。研究任务包括调查跨计算学科生成的图形，以获得其结构，其特定领域的子结构，以及其常见的绘图约定的特征。表征将指导节点链接图布局的约束和目标的发展，以及支持特定领域任务的交互性和视觉编码的设计准则。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Data Abstraction Elephants: The Initial Diversity of Data Representations and Mental Models

数据抽象大象：数据表示和心理模型的初始多样性

• DOI: 10.1145/3544548.3580669
• 发表时间: 2023
• 期刊: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems
• 作者: Williams, Katy;Bigelow, Alex;Isaacs, Katherine E.
• 通讯作者: Isaacs, Katherine E.

Domain-Centered Support for Layout, Tasks, and Specification for Control Flow Graph Visualization

对控制流图可视化的布局、任务和规范的以领域为中心的支持

• DOI: 10.1109/vissoft55257.2022.00013
• 发表时间: 2022
• 期刊: 2022 Working Conference on Software Visualization (VISSOFT
• 作者: Devkota, Sabin;LeGendre, Matthew P.;Kunen, Adam;Aschwanden, Pascal;Isaacs, Katherine E.
• 通讯作者: Isaacs, Katherine E.