papers
Publications (6)
cs.PL2017
Synthesizing Bijective Lenses
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce +2
cs.NI2019
Contra: A Programmable System for Performance-aware Routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen +3
cs.NI2016
SNAP: Stateful Network-Wide Abstractions for Packet Processing
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg +2
cs.NI2018
Control Plane Compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan +1
cs.NI2014
Programming Protocol-Independent Packet Processors
Pat Bosshart, Dan Daly, Martin Izzard +7
cs.PL2019
Synthesizing Symmetric Lenses
Anders Miltner, Solomon Maina, Kathleen Fisher +3