Publications

Netter: Probabilistic, Stateful Network Models. [ pdf, Github, artifact, presentation ]
Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrickson, and Limin Jia.
22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'21), January 2021.
Towards Comprehensive Repositories of Opinions. [ pdf ]
Han Zhang, Kasra Edalat Nejad, Amir Rahmati, and Harsha V. Madhyastha.
15th ACM Workshop on Hot Topics in Networks (HotNets'16), Atlanta, GA, November 2016.