The purpose of a program analysis is to infer whether a certain property of a program execution can be observed at runtime. The notion of an analysis’ soundness defines how much confidence one should put in its results. The notion is not uniform and is determined by whether the analysis is intended to be used as a testing or as a verification tool.
Editor: Michael Hicks
- Sound Analysis: Can We Tell the Truth About Programs?
- “Program Verification”: Has it lost its punch?
- Scaling the Field: Collaboration is of the Essence
- A Checklist Manifesto for Empirical Evaluation: A Preemptive Strike Against a Replication Crisis in Computer Science
- From Programs to Deep Models – Part 1
abstract interpretation AI safety algorithm announcement architecture Artifact evaluation awards carbon footprint carbon offset climate change code completion compilers concurrency conferences dynamic analysis formal verification gradual typing hardware industrial adoption language design machine learning Measurements Methodology nanopass neural networks news open access optimization program analysis programming program proof program synthesis proof engineering publication process quantum computing research productivity scientific journals security service soundness static analysis systems testing theorem proving type systems