SemDNS: A Declarative Semantics for DNS Resolution.

Kaiqiang Hu, Haizhou Du, Kexin Yu, Xiaoliang Wang

Browse the full SIGCOMM paper archive.