Trumpet: Timely and Precise Triggers in Data Centers
Kinetic: verifiable dynamic network control