• Galpin V. (2018). Formal Modelling of Software Defined Networking. Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. (pp. 172-193). [source]

  • Z. Wen, D. L. Quoc, P. Bhatotia, R. Chen and M. Lee, ApproxIoT: Approximate Analytics for Edge Computing, 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS), Vienna, 2018, pp. 411-421. [source]

  • Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, and David Aspinall. 2018. Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations. In IFIP SEC’18. 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection. [source]

  • Praveen Tammana, Rachit Agarwal, and Myungjin Lee. 2016. Simplifying datacenter network debugging with pathdump. In USENIX OSDI’16. USENIX Association, Berkeley, CA, USA, 233-248. [source]

  • Praveen Tammana, Rachit Agarwal, and Myungjin Lee. 2015. CherryPick: tracing packet trajectory in software-defined datacenter networks. In ACM SIGCOMM SOSR ‘15. ACM, New York, NY, USA, 7 pages.