Efficient synthesis of network updates.

Jedidiah McClurg Hossein Hojjat Pavol Cerný Nate Foster

Published in: PLDI (2015)

Keyphrases

network model
peer to peer
databases
network size
communication networks
network traffic
program synthesis
database
network design
data flow
cost effective
wireless sensor networks
search algorithm
bayesian networks
decision trees
artificial intelligence
data sets