@article{suarezacevedo-2026-weighted, title={Weighted NetKAT: A Programming Language for Quantitative Network Verification}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3808318}, DOI={10.1145/3808318}, number={PLDI}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Suárez Acevedo, Emmanuel and Ferreira, Tiago and Batz, Kevin and Bøving, Oliver and Foster, Nate and Silva, Alexandra}, year={2026}, month=June, pages={1788–1811} }