← Back to Submind

Topic

code analysis

Grand Unification Theory: Writing and Running Code, by Brian Ford

Codegram

Brian Ford from Engine Yard argues that the fundamental essence of programming lies in communication rather than mere construction or strict adherence to abstract patterns, viewing code as a vital artifact for exchanging information among programmers, their future selves, fellow developers, and end- …

Neural Software Analysis (CACM 2022)

Michael Pradel

Neural Software Analysis represents a significant shift in how developer tools are created, moving away from traditional methods that rely on precise logical reasoning to approaches inspired by deep neural networks. While conventional techniques have been highly successful for tasks like compilation …