Human-Centered Approach to Static-Analysis-Driven Developer Tools-Reference-Cited by-同舟云学术

Human-Centered Approach to Static-Analysis-Driven Developer Tools

Published:2021-08-31 Issue:4 Volume:19 Page:68-95
ISSN:1542-7730
Container-title:Queue
language:en
Short-container-title:Queue

Author:

Nadeem Ayman¹

Affiliation:

1. GitHub Inc.

Abstract

Complex and opaque systems do not scale easily. A human-centered approach for evolving tools and practices is essential to ensuring that software is scaled safely and securely. Static analysis can unveil information about program behavior, but the goal of deriving this information should not be to accumulate hairsplitting detail. HCI can help direct static-analysis techniques into developer-facing systems that structure information and embody relationships in representations that closely mirror a programmer's thought. The survival of great software depends on programming languages that support, rather than inhibit, communicating, reasoning, and abstract thinking.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3487019.3487024

Reference29 articles.

1. Near-term memory in programming: a simulation-based analysis

2. Asay M. 2016. Open source is not to blame for a lack of industry standards. TechRepublic; https://www.techrepublic.com/article/open-source-is-not-to-blame-for-a-lack-of-industry-standards/. Asay M. 2016. Open source is not to blame for a lack of industry standards. TechRepublic; https://www.techrepublic.com/article/open-source-is-not-to-blame-for-a-lack-of-industry-standards/.

3. Automatic Proof Search (Auto). 2017. Agda; https://agda.readthedocs.io/en/v2.5.3/tools/auto.html. Automatic Proof Search (Auto). 2017. Agda; https://agda.readthedocs.io/en/v2.5.3/tools/auto.html.

4. Opportunistic programming

5. February 4;Claburn T.,2021