Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

Domain: Networked Systems

Challenge: Synthesis of distributed routing network protocols from high-level policies using declarative networking foundations.