44 citations · 76 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Synthesizing Symmetric Lenses
Anders Miltner, Solomon Maina, Kathleen Fisher +3
Lenses are programs that can be run both "front to back" and "back to front," allowing updates to either their source or their target data to be transferred in both directions. Len…
cs.NI2018
Control Plane Compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan +1
We develop an algorithm capable of compressing large networks into a smaller ones with similar control plane behavior: For every stable routing solution in the large, original netw…