Zhang, Shuyuan, Sharad Malik, Sanjai Narain, and Laurent Vanbever. 2014. “In-Band Update for Network Routing Policy Migration”. In Network Protocols (ICNP), 2014 IEEE 22nd International Conference on, 356–361. IEEE.

Beckett, Ryan, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, and David Walker. 2014. “An Assertion Language for Debugging SDN Applications”. In Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, 91–96. ACM.

Zhang, Shuyuan, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, and Sharad Malik. 2014. “An Adaptable Rule Placement for Software-Defined Networks”. In Dependable Systems and Networks (DSN), 2014 44th Annual IEEE IFIP International Conference on, 88–99. IEEE.

Zhang, Shuyuan, and Sharad Malik. 2013. “SAT Based Verification of Network Data Planes”. In International Symposium on Automated Technology for Verification and Analysis, 496–505. Springer International Publishing.

Zhang, Shuyuan, Abdulrahman Mahmoud, Sharad Malik, and Sanjai Narain. 2012. “Verification and Synthesis of Firewalls Using SAT and QBF”. In Network Protocols (ICNP), 2012 20th IEEE International Conference on, 1–6. IEEE.

Zhang, Shuyuan, Sharad Malik, and Rick McGeer. 2012. “Verification of Computer Switching Networks: An Overview”. In International Symposium on Automated Technology for Verification and Analysis, 1–16. Springer Berlin Heidelberg.