@inproceedings{sigcomm22-switchv,
	author    = {Kinan Dak Albab and Jonathan {DiLorenzo} and Stefan Heule and Ali Kheradmand and Steffen Smolka and Konstantin Weitz and Muhammad Timarzi and Jiaqi Gao and Minlan Yu},
	title     = {{SwitchV:} Automated {SDN} Switch Validation with P4 Models},
	booktitle = {Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication ({SIGCOMM})},
	year      = {2022},
	month     = {August},
	publisher = {{ACM}},
	biburl    = {https://stefanheule.com/publications/sigcomm22-switchv/},
	bibsource = {stefanheule.com, https://stefanheule.com/}
}