ACM Comm 2012 08 Continuity and Robustness of Programs (Notes)

"Quantum Money" CACM August 2012

Continuity and Robustness of Programs by Swarat Chaudhuri, Sumit Gulwani, and Roberto Lublinerman, p.107-115

Continuity and Robustness of Programs

Mathematical continuity can be applied to software.
This could be useful in proving Mutant OS works.

Ideas

1. Continuous - small input changes cause small, and acceptable, output changes.
2. Lipschitz Continuous[1]
3. Control Theory connection to Programs==References==
4. Robustness intended behavior no matter the input.
5. That a unified theory of program analysis can merge logical and analytical approaches.
   1. This would allow automated software verification.
6. Branching can be discontinuous. But mostly is continuous, given no data gaps between the branches.
7. Uncertain inputs. Author's term for noisy or inexact inputs.
8. Under uncertainty, robustness can guarantee correctness by making sure the output is acceptably correct.
9. Knapsack Problem
10. Bubble Sort
11. Bellman-For shortest path
12. Dijkstra's shortest path

Internal Links

Parent Article: Reading Notes