Hongkun Yang, Simon S. Lam. Scalable Verification of Networks With Packet Transformers Using Atomic Predicates. IEEE/ACM Transactions on Networking, Volume 25, No. 5, October 2017. Pages 2900-2915.
Hongkun Yang, Simon S Lam. Real-time Verification of Network Properties using Atomic Predicates. IEEE/ACM Transactions on Networking, Volume 24, No. 2, April 2016. Pages 887-900.
Simon S. Lam, Chen Qian. Geographic Routing in d-dimensional Spaces with Guaranteed Delivery and Low Stretch. IEEE/ACM Transactions on Networking, Vol. 21, No. 2, April 2013. Pages 663-677.
Chung Kei Wong, Simon S Lam. Digital Signatures for Flows and Multicasts. IEEE/ACM Transactions on Networking, Vol. 7, No. 4, August 1999. Pages 502-513.
Thomas Woo, Raghuram Bindignavle, Shaowen Su, Simon S. Lam. SNP: An Interface for Secure Network Programming. Proceedings USENIX '94 Summer Technical Conference, Boston, June 1994..
Awards & Honors
2007 - Election to the National Academy of Engineering
2007 - Teaching Excellence Award, College of Natural Sciences, UT-Austin
2004 - ACM Software System Award
2004 - ACM SIGCOMM Award for lifetime contribution to the field of communication networks
2004 - W. Wallace McDowell Award, IEEE Computer Society
2001 - William R. Bennett Prize, IEEE Communications Society
1998 - ACM Fellow
1985 - IEEE Fellow
1975 - Leonard G. Abraham Prize, IEEE Communications Society