{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:58Z","timestamp":1750220398316,"version":"3.41.0"},"reference-count":29,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T00:00:00Z","timestamp":1630368000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Queue"],"published-print":{"date-parts":[[2021,8,31]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/3487019.3487024","type":"journal-article","created":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T22:05:15Z","timestamp":1631829915000},"page":"68-95","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Human-Centered Approach to Static-Analysis-Driven Developer Tools"],"prefix":"10.1145","volume":"19","author":[{"given":"Ayman","family":"Nadeem","sequence":"first","affiliation":[{"name":"GitHub Inc."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,9,16]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2000.0407"},{"key":"e_1_2_1_2_1","unstructured":"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\/."},{"key":"e_1_2_1_3_1","unstructured":"Automatic Proof Search (Auto). 2017. Agda; https:\/\/agda.readthedocs.io\/en\/v2.5.3\/tools\/auto.html."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370847.1370848"},{"key":"e_1_2_1_5_1","series-title":"February 4","volume-title":"Accused murderer wins right to check source code of DNA testing kit used by police. The Register","author":"Claburn T.","year":"2021","unstructured":"Claburn, T. 2021. Accused murderer wins right to check source code of DNA testing kit used by police. The Register (February 4); https:\/\/www.theregister.com\/2021\/02\/04\/dna_testing_software\/."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_2_1_7_1","unstructured":"Czaplicki E. 2015. Compiler errors for humans. Elm; https:\/\/elm-lang.org\/news\/compiler-errors-for-humans."},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Gardner M. 1970. The fantastic combinations of John Conway's new solitaire game \"life.\" Scientific American 223 120?123; https:\/\/web.stanford.edu\/class\/sts145\/Library\/life.pdf.","DOI":"10.1038\/scientificamerican1070-120"},{"key":"e_1_2_1_9_1","volume-title":"High-Output Management","author":"Grove A. S.","unstructured":"Grove, A. S. 1995. High-Output Management, 2nd edition. Vintage.","edition":"2"},{"key":"e_1_2_1_10_1","unstructured":"Guo P. 2020. Philip Guo - UC San Diego. https:\/\/pg.ucsd.edu\/."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27266-0"},{"key":"e_1_2_1_12_1","unstructured":"Henley A. Z. 2021. Why is it so hard to see code from 5 minutes ago? Hacker News; https:\/\/web.eecs.utk.edu\/~azh\/blog\/yestercode.html."},{"key":"e_1_2_1_13_1","unstructured":"International Organization for Standardization. 2018. ISO 9241-11:2018: Ergonomics of human-system interaction?Part 11: Usability: definitions and concepts; https:\/\/www.iso.org\/standard\/63500.html."},{"key":"e_1_2_1_14_1","volume-title":"2012. Human?Computer Interaction Handbook","author":"Jacko J. A.","unstructured":"Jacko, J. A., ed. 2012. Human?Computer Interaction Handbook, 3rd edition. CRC Press.","edition":"3"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Karimi H. Masoudi Alavi N. 2015. Florence Nightingale: the mother of nursing. Nursing and Midwifery Studies 4(2) e29475; https:\/\/www.ncbi.nlm.nih.gov\/pmc\/articles\/PMC4557413\/.","DOI":"10.17795\/nmsjournal29475"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/27.2.97"},{"key":"e_1_2_1_17_1","volume-title":"Visual Basic Developer","author":"Lamb G.","year":"2013","unstructured":"Lamb, G. 2001. Improve your UI design process with object-oriented techniques. Microsoft Developer Network, Visual Basic Developer; https:\/\/web.archive.org\/web\/20130814153652\/http:\/\/msdn.microsoft.com\/en-us\/library\/aa227601(v=vs.60).aspx."},{"key":"e_1_2_1_18_1","unstructured":"Lambdabot. 2021. Haskell; https:\/\/wiki.haskell.org\/Lambdabot."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1054972.1055017"},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Mou B. 1999. The structure of the Chinese language and ontological insights: a collective-noun hypothesis. Philosophy East and West 49(1) 45?62; https:\/\/www.jstor.org\/stable\/1400116.","DOI":"10.2307\/1400116"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1037\/0278-7393.26.6.1461"},{"volume-title":"10 usability heuristics for user interface design","author":"Nielsen J.","key":"e_1_2_1_22_1","unstructured":"Nielsen, J. 1994. 10 usability heuristics for user interface design. Nielsen Norman Group; https:\/\/www.nngroup.com\/articles\/ten-usability-heuristics\/."},{"volume-title":"The Design of Everyday Things","author":"Norman D.","key":"e_1_2_1_23_1","unstructured":"Norman, D. 2013. The Design of Everyday Things. New York, NY: Basic Books."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/223355.223665"},{"key":"e_1_2_1_25_1","unstructured":"Python Tutor. (n.d.). Visualize Code Execution; http:\/\/pythontutor.com\/."},{"key":"e_1_2_1_26_1","unstructured":"Rust-analyzer. (n.d.); https:\/\/rust-analyzer.github.io\/."},{"key":"e_1_2_1_27_1","series-title":"November 7","volume-title":"Toyota unintended acceleration and the big bowl of \"spaghetti\" code","author":"Safety Research & Strategies Inc. 2013.","unstructured":"Safety Research & Strategies Inc. 2013. Toyota unintended acceleration and the big bowl of \"spaghetti\" code (November 7); https:\/\/www.safetyresearch.net\/toyota-unintended-acceleration-and-the-big-bowl-of-spaghetti-code\/."},{"key":"e_1_2_1_28_1","series-title":"July 24","volume-title":"Your app makes me fat. Serious Pony","author":"Sierra K.","year":"2013","unstructured":"Sierra, K. 2013. Your app makes me fat. Serious Pony (July 24); http:\/\/seriouspony.com\/blog\/2013\/7\/24\/your-app-makes-me-fat."},{"key":"e_1_2_1_29_1","series-title":"September 18","volume-title":"The true cost of multi-tasking. Psychology Today","author":"Weinschenk S.","year":"2012","unstructured":"Weinschenk, S. 2012. The true cost of multi-tasking. Psychology Today (September 18); https:\/\/www.psychologytoday.com\/us\/blog\/brain-wise\/201209\/the-true-cost-multi-tasking."}],"container-title":["Queue"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487019.3487024","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3487019.3487024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:47Z","timestamp":1750191527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487019.3487024"}},"subtitle":["The future depends on good HCI"],"short-title":[],"issued":{"date-parts":[[2021,8,31]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8,31]]}},"alternative-id":["10.1145\/3487019.3487024"],"URL":"https:\/\/doi.org\/10.1145\/3487019.3487024","relation":{},"ISSN":["1542-7730","1542-7749"],"issn-type":[{"type":"print","value":"1542-7730"},{"type":"electronic","value":"1542-7749"}],"subject":[],"published":{"date-parts":[[2021,8,31]]},"assertion":[{"value":"2021-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}