Human-Centered Approach to Static-Analysis-Driven Developer Tools
Ayman Nadeem
This article was published in the Communications of the ACM and in the ACM Queue issue on static analysis. Correctly harnessing static-analysis techniques in the design of developer tools relies on understanding human intuition. Research advances in the field continue to open up possibilities...