Data-Aware Vaccine Allocation Over Large Networks
A fast algorithm for finding dominators in a flowgraph