Next: Other Pubs Previous: Journal Articles Up: Publications Home: Simon S. Lam

Conference Keynotes

``Multi-hop DT: A New Routing Protocol,'' Keynote lecture (.pptx) at the IEEE International Conference on Network Protocols, Austin, Texas, October 2012 (the only Keynote in the conference).


``Back to the Future, Part 4: The Internet,'' Keynote speech as SIGCOMM Award winner at the ACM SIGCOMM Conference, Portland, Oregon, August 2004 (the only Keynote in the conference).


``Understanding Interfaces,'' Keynote lecture at the 4th International Conference on Formal Description Techniques, Sydney, Australia, November 1991 (the only Keynote in the conference).

Conference Articles

  1. Hongkun Yang and Simon S. Lam, ``Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane,'' Proceedings of IEEE ICNP 2014, Raleigh, NC, October 2014.

  2. Hongkun Yang and Simon S. Lam, ``Real-time Verification of Network Properties Using Atomic Predicates,'' Proceedings of IEEE ICNP 2013, Göttingen, Germany, October 2013.

  3. Chen Qian and Simon S. Lam, ``ROME: Routing On Metropolitan-scale Ethernet,'' Proceedings of IEEE ICNP 2012, Austin, TX, October 2012. (longer, improved version)

  4. Simon S. Lam and Chen Qian, ``Geographic Routing in d-dimensional Spaces with Guaranteed Delivery and Low Stretch,'' Proceedings of ACM SIGMETRICS 2011, San Jose, CA, June 2011  (revised journal version and PowerPoint presentation).

  5. Chen Qian and Simon S. Lam, ``Greedy Distance Vector Routing,'' Proceedings of 31st IEEE ICDCS, Minneapolis, Minnesota, June 2011.

  6. Song Han, Tianji Li, Chen Qian, Douglas Leith, Aloysius K. Mok, Simon S. Lam, ``HartFi: An Energy-Efficient Localization System,'' Proceedings of ACM SIGCOMM Workshop on Energy and IT: from Green Networking to Smarter Systems, August 2011.

  7. Dong-Young Lee and Simon S. Lam, ``Efficient and Accurate Protocols for Distributed Delaunay Triangulation under Churn,'' Proceedings of IEEE ICNP 2008, Orlando, Florida, October 2008 (corrigenda).

  8. Dong-Young Lee, Eui Kyung Chung, and Simon S. Lam, ``A Radius Geocast Routing Protocol,'' Proceedings of IEEE International Conference on High Performance Computing and Communications, Dalian, China, September 2008.

  9. Dong-Young Lee and Simon S. Lam, ``Protocol Design for Dynamic Delaunay Triangulation,'' Proceedings of 27th IEEE ICDCS, Toronto, June 2007.

  10. Yi Li, Yin Zhang, Lili Qiu, and Simon Lam, ``SmartTunnel: Achieving Reliability in the Internet,'' Proceedings of IEEE INFOCOM 2007, Anchorage, Alaska, May 2007.

  11. Yun Mao, Feng Wang, Lili Qiu, Simon Lam, and Jonathan Smith, ``S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor Networks,'' Proceedings of the 4th USENIX Symposium on Networked System Design and Implementation (NSDI 2007), Cambridge, Massachusetts, April 2007.

  12. Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, and Edward J. Powers, ``Scalable Clustering of Internet Paths by Shared Congestion,'' Proceedings of IEEE INFOCOM  2006, Barcelona, Spain, April 2006.

  13. X. Brian Zhang, Simon S. Lam, and Huaiyu Liu, ``Efficient Group Rekeying Using Application Layer Multicast,'' Proceedings of 25th IEEE ICDCS, Columbus, Ohio, June 2005.

  14. Min Sik Kim, Yi Li, and Simon S. Lam, ``Eliminating Bottlenecks in Overlay Multicast,'' Proceedings of IFIP Networking 2005, Waterloo, Canada, May 2005.

  15. Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, and Edward J. Powers, ``A Wavelet-based Approach to Detect Shared Congestion,'' Proceedings of ACM SIGCOMM '04, Portland, Oregon, Aug. 30-Sept.3, 2004.

  16. Simon S. Lam and Huaiyu Liu, ``Failure Recovery for Structured P2P Networks: Protocol Design and Performance Evaluation,'' Proceedings of ACM SIGMETRICS 2004, New York City, June 2004.

  17. Huaiyu Liu and Simon S. Lam, ``Consistency-preserving Neighbor Table Optimization for P2P Networks,'' Proceedings of ICPADS 2004, Newport Beach, CA, July 2004.

  18. Huaiyu Liu and Simon S. Lam, ``Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network,'' Proceedings of IEEE ICDCS 2003, Providence, RI, May 2003.

  19. Min Sik Kim, Simon S. Lam, and Dong-Young Lee, ``Optimal Distribution Tree for Internet Streaming Media,'' Proceedings of IEEE ICDCS 2003, Providence, RI, May 2003.

  20. X. Brian Zhang, Simon S. Lam, and Dong-Young Lee, ``Group Rekeying with Limited Unicast Recovery,'' Proceedings of IEEE ICC 2003, Anchorage, Alaska, May 2003.

  21. Nishanth Sastry and Simon S. Lam, ``A Theory of Window-Based Unicast Congestion Control,'' Proceedings of IEEE ICNP 2002, Paris, November 2002.
  22. Y. Richard Yang, X. Steve Li, X. Brian Zhang, and Simon S. Lam, ``Reliable Group Rekeying: A Performance Analysis,'' Proceedings of ACM SIGCOMM 2001, San Diego, August 2001.
  23. X. Brian Zhang, Simon S. Lam, D.-Y. Lee, and Y. Richard Yang, ``Protocol Design for Scalable and Reliable Group Rekeying,'' Proceedings of SPIE Conference on Scalability and Traffic Control in IP Networks, Denver, CO, August 2001.
  24. X. Steve Li, Y. Richard Yang, Mohamed Gouda, and Simon S. Lam, ``Batch Rekeying for Secure Group Communications,'' Proceedings of Tenth International World Wide Web Conference, Hong Kong, China, May 2001.
  25. Y. Richard Yang, Min S. Kim, and Simon S. Lam, ``Transient Behaviors of TCP-Friendly Congestion Control Protocols,'' Proceedings of IEEE INFOCOM 2001, Anchorage, April 2001.
  26. Y. Richard Yang, Min S. Kim, and Simon S. Lam, ``Optimal Partitioning of Multicast Receivers,'' Proceedings of IEEE ICNP 2000, Osaka, Japan, November 2000.
  27. Y. Richard Yang and Simon S. Lam, ``General AIMD Congestion Control,'' Proceedings of IEEE ICNP 2000, Osaka, Japan, November 2000.
  28. Chung Kei Wong and Simon S. Lam, ``Keystone: A Group Key Management Service,'' Proceedings of International Conference on Telecommunications, Acapulco, Mexico, May 2000.
  29. Chung Kei Wong, Mohamed Gouda, and Simon S. Lam, ``Secure Group Communications using Key Graphs,'' Proceedings of ACM SIGCOMM '98, Vancouver, B.C., September 1998.
  30. Chung Kei Wong and Simon S. Lam, ``Digital Signatures for Flows and Multicasts,'' Proceedings of IEEE ICNP '98, Austin, October 1998.
  31. Thomas Y. C. Woo and Simon S. Lam, ``Designing a Distributed Authorization Service,'' Proceedings of IEEE INFOCOM '98, San Francisco, March 1998.
  32. Geoffrey G. Xie and Simon S. Lam, ``Admission Control and Loss Management for an Application-Level Statistical Service,'' Proceedings IEEE ICNP '97, Atlanta, October 1997.
  33. David K. Y. Yau and Simon S. Lam, ``Migrating Sockets for Networking with Quality of Service Guarantees,'' Proceedings IEEE ICNP '97, Atlanta, October 1997.
  34. David K. Y. Yau and Simon S. Lam, ``End System Support for Networking with Quality of Service Guarantees,'' Proceedings of 4th IEEE Workshop on the Architecture and Implementation of High Performance Communication Systems, Chalkidiki, Greece, July 1997.
  35. Geoffrey G. Xie and Simon S. Lam, ``Real-Time Block Transfer Under a Link Sharing Hierarchy,'' Proceedings of IEEE INFOCOM '97, Japan, March 1997.
  36. David K. Y. Yau and Simon S. Lam, ``Adaptive Rate-Controlled Scheduling for Multimedia Applications,'' Proceedings ACM Multimedia '96, Boston, November 1996.
  37. Geoffrey G. Xie and Simon S. Lam, ``An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic,'' Proceedings of International Conference on Network Protocols, Columbus, Ohio, October 1996.
  38. Simon S. Lam and Geoffrey G. Xie, ``Group Priority Scheduling,'' Proceedings of IEEE INFOCOM '96, San Francisco, March 1996.
  39. David K. Y. Yau and Simon S. Lam, ``An Architecture Towards Efficient OS Support for Distributed Multimedia,'' IS&T/SPIE Proceedings Multimedia Computing and Networking, San Jose, January 1996.
  40. Simon S. Lam and Geoffrey G. Xie, ``Burst Scheduling Networks: Flow Specification and Performance Guarantees,'' Proceedings NOSSDAV '95 Workshop, Durham, New Hampshire, April 1995.
  41. Pawan Goyal, Simon S. Lam, and Harrick Vin, ``Determining End-to-End Delay Bounds in Heterogeneous Networks,'' Proceedings NOSSDAV '95 Workshop, Durham, New Hampshire, April 1995.
  42. Simon S. Lam and Geoffrey G. Xie, ``Burst Scheduling: Architecture and Algorithm for Switching Packet Video,'' Proceedings IEEE INFOCOM '95, Boston, April 1995.
  43. Thomas Y. C. Woo and Simon S. Lam, ``Design, Verification and Implementation of an Authentication Protocol,'' Proc. Int. Conference on Network Protocols, Boston, October 1994.
  44. Simon S. Lam, Simon Chow, and David Yau, ``An Algorithm for Lossless Smoothing of MPEG Video,'' Proceedings ACM SIGCOMM '94, London, August 1994.
  45. Thomas Woo, Raghuram Bindignavle, Shaowen Su, and Simon S. Lam, ``SNP: An Interface for Secure Network Programming,'' Proc. USENIX '94 Summer Technical Conference, Boston, June 1994.
  46. Thomas Y. C. Woo and Simon S. Lam, ``A Framework for Distributed Authorization,'' Proceedings ACM Conference on Computer and Communications Security, Fairfax, VA, November 1993.
  47. Thomas Y. C. Woo and Simon S. Lam, ``Verifying Authentication Protocols: Methodology and Example,'' Proceedings International Conference on Network Protocols, San Francisco, October 1993.
  48. Thomas Y. C. Woo and Simon S. Lam, ``A Semantic Model for Authentication Protocols,'' Proceedings IEEE Symposium on Research in Security and Privacy, Oakland, May 1993.
  49. Thomas Y. C. Woo and Simon S. Lam, ``Authorization in Distributed System: A Formal Approach,'' Proceedings IEEE Symposium on Research in Security and Privacy, Oakland, May 1992.
  50. Simon S. Lam and A. Udaya Shankar, ``Understanding Interfaces,'' Proceedings Fourth International Conference on Formal Description Techniques, Sydney, Australia, November 1991 (conference Keynote).

  51. Simon S. Lam and A. Udaya Shankar, ``A Composition Theorem for Layered Systems,'' Proceedings 11th IFIP International Symposium on Protocol Specification, Testing and Verification, Stockholm, June 1991.
  52. Simon S. Lam, A. Udaya Shankar, and Thomas Y. C. Woo, ``Applying a Theory of Modules and Interfaces to Security Verification,'' Proceedings IEEE Symposium on Research in Security and Privacy, Oakland, May 1991.
  53. Kenneth L. Calvert and Simon S. Lam, ``Adaptors for Protocol Conversion,'' Proceedings INFOCOM '90, San Francisco, June 1990.
  54. Kenneth L. Calvert and Simon S. Lam, ``The Protocol Conversion Problem--Finding a Quotient of Specifications,'' Proceedings 27th Allerton Conference, Urbana-Champaign, September 1989.
  55. Kenneth L. Calvert and Simon S. Lam, ``Deriving a Protocol Converter: A Top-Down Method,'' Proceedings ACM SIGCOMM Symposium, Austin, Texas, September 1989. (ACM SIGCOMM Best Student Paper Award)
  56. C. T. Hsieh and Simon S. Lam, ``PAM--A Noniterative Approximation Solution Method for Closed Multichain Queueing Networks,'' Proceedings ACM SIGMETRICS Conference, Santa Fe, New Mexico, May 1988.
  57. Pradeep Jain and Simon S. Lam, ``Specification and Verification of Collision-Free Broadcast Networks,'' Proceedings ACM SIGCOMM Symposium, Stanford University, August 1988.
  58. Simon S. Lam, ``Protocol Conversion via Projections,'' Proceedings Int. Computer Science Conference, Hong Kong, December 1988.
  59. Simon S. Lam and A. Udaya Shankar, ``A Relational Notation for State Transition Systems,'' Proceedings Eighth International Symposium on Protocol Specification, Testing, and Verification, North-Holland, 1988.
  60. Kenneth L. Calvert and Simon S. Lam, ``An Exercise in Deriving a Protocol Conversion,'' Proceedings ACM SIGCOMM, Stowe, VT, August 1987.
  61. Simon S. Lam and C. T. Hsieh, ``Modeling, Analysis and Optimal Routing of Flow-Controlled Communication Networks,'' Proceedings ACM SIGCOMM, Stowe, VT, August 1987.
  62. Simon S. Lam, ``Protocol Conversion--Correctness Problems,'' Proceedings ACM SIGCOMM, Stowe, VT, August 1986.
  63. Simon S. Lam, C. H. Chow, M. G. Gouda, A. U. Shankar, ``Interactive Verification and Construction of Communication Protocols in PROSPEC,'' Proceedings of INFOCOM '86, Miami, FL, April 1986.
  64. Simon S. Lam and C. T. Hsieh, ``Models and Algorithms for the Design of Store-and-Forward Communication Networks,'' Proceedings International Conference on Communications, Chicago, IL, June 1985.
  65. M. G. Gouda, C. H. Chow, and Simon S. Lam, ``On the Undecidability of Detecting Livelocks in Networks of Communicating Finite State Machines,'' Proceedings Fourth International Workshop on Protocol Specification, Testing and Verification, Mt. Pocono, PA, June 1984.
  66. C. H. Chow, M. G. Gouda, and Simon S. Lam, ``An Exercise in Constructing Multi-Phase Communication Protocols,'' Proceedings ACM SIGCOMM '84 Symposium, Montreal, June 1984.
  67. A. Udaya Shankar and Simon S. Lam, ``Specification and Verification of Time-Dependent Communication Protocols,'' Proceedings Fourth International Workshop on Protocol Specification, Testing and Verification, Mt. Pocono, PA, June 1984.
  68. C. H. Chow, M. G. Gouda, and Simon S. Lam, ``On Constructing Multiphase Communication Protocols,'' Proceedings Fourth International Workshop on Protocol Specification, Testing and Verification, Mt. Pocono, PA, pp. 47-56, North-Holland, 1984.
  69. Simon S. Lam, ``Communication Network Protocols: Formal Models and Analytic Methods,'' NSF Workshop on Large-Scale Computer Communication Networks and Information Theory, Washington, D.C., April 1984.

  70. Simon S. Lam, ``Some Research Problems and Directions in Computer Communications,'' NSF Workshop on Large-Scale Computer Communication Networks and Information Theory, Washington, D.C., April 1984.
  71. A. Udaya Shankar and Simon S. Lam, ``Verification of an HDLC Protocol with ARM Connection Management and Full-Duplex Data Transfer,'' Proceedings ACM SIGCOMM '83 Symposium, March 1983; also in Computer Communication Review, Vol. 13, No. 2, 1983.
  72. A. Udaya Shankar and Simon S. Lam, ``On Time-Dependent Communication Protocols and their Projections,'' Protocol Specification, Testing and Verification, (ed. C. Sunshine), North-Holland Publishing Co., Amsterdam, 1982.
  73. Simon S. Lam and A. Udaya Shankar, ``An Illustration of Protocol Projections,'' Protocol Specification, Testing and Verification, (ed. C. Sunshine), North-Holland Publishing Co., Amsterdam, 1982.
  74. Simon S. Lam and Y. Luke Lien, ``Optimal Routing in Networks with Flow-Controlled Virtual Channels,'' Computer Network Performance Symposium, University of Maryland, April 1982, published in Performance Evaluation Review, Vol. 11, No. 1, 1982.
  75. Simon S. Lam, ``On the Performance of Multiple Access Protocols for Local Networks,'' Proceedings 10th IMACS World Congress on Systems Simulation and Scientific Computation, Montreal, August 1982.
  76. Simon S. Lam and A. Udaya Shankar, ``Verification of Communication Protocols via Protocol Projections,'' Proceedings INFOCOM 82, Las Vegas, NV, March 1982, IEEE Computer Society Press.
  77. Simon S. Lam and A. Udaya Shankar, ``Protocol Projections: A Method for Analyzing Communication Protocols,'' Conference Rec. National Telecommunications Conference, New Orleans, LA, November 1981.
  78. Simon S. Lam and Y. Luke Lien, ``Modeling and Analysis of Flow Controlled Packet Switching Networks,'' Proceedings Seventh Data Communications Symposium, Mexico City, October 1981, IEEE Computer Society Press.
  79. Simon S. Lam, ``Design Considerations for Large Mobile Packet Radio Networks,'' Local Networks and Distributed Office Systems, Online Publications Ltd., Northwood, UK, 1981.
  80. Simon S. Lam and Y. Luke Lien, ``An Experimental Study of the Congestion Control of Packet Communications Networks,'' Proceedings International Conference on Computer Communications, Atlanta, GA, October 1980.
  81. Simon S. Lam, ``A Packet Network Architecture for Local Interconnection,'' Conference Rec. International Conference on Communications, Seattle, WA, June 1980.
  82. Simon S. Lam and A. Udaya Shankar, ``Response Time Distributions for a Multi-Class Queue with Feedback,'' International Symposium on Computer Performance Modeling, Measurement and Evaluation, Toronto, May 1980, published in Performance Evaluation Review, Vol. 9, No. 2, pp. 225-234, 1980.
  83. Simon S. Lam, ``Congestion Control Techniques for Packet Networks,'' Second International Conference on Information Sciences and Systems, Patras, Greece, July 1979, Advances in Communications, (ed. D. Lainiotis and N. Tzannes), D. Reidel, Holland, 1980.
  84. Simon S. Lam, ``A Packet Communication System Architecture for Local Networking,'' Workshop on Large Scale Systems, Proceedings International Symposium on Circuits and Systems, Houston, TX, April 1980.
  85. Simon S. Lam, ``A Study of the CSMA Protocol in Local Networks,'' Proceedings Fourth Berkeley Conference on Distributed Data Management and Computer Networks, San Francisco, CA, August 1979.
  86. Simon S. Lam, ``On Protocols for Satellite Packet Switching,'' Conference Rec. International Conference on Communications, Boston, MA, June 1979.
  87. Simon S. Lam, ``An Analysis of the Reservation-ALOHA Protocol for Satellite Packet Switching,'' Conference Rec. International Conference on Communications, Toronto, June 1978.
  88. Simon S. Lam, ``Packet Broadcasting Networks,'' Proceedings Workshop on Pattern Database Systems, Tokyo, Japan, December 1977.
  89. Simon S. Lam and Martin Reiser, ``Congestion Control of Store-and-Forward Networks by Input Buffer Limits,'' Conference Rec. National Telecommunications Conference, Los Angeles, CA, December 1977.
  90. Simon S. Lam, ``Satellite Multiaccess Schemes for Data Traffic,'' Proceedings International Conference on Communications, Chicago, June 1977.
  91. Simon S. Lam, ``Delay Analysis of a Packet-Switched TDMA System,'' Conference Rec. National Telecommunication Conference, Dallas, TX, November 1976.
  92. Simon S. Lam and L. Kleinrock, ``Dynamic Control Schemes for a Packet Switched Multi-Access Broadcast Channel,'' National Computer Conference, Anaheim, CA, May 1975, AFIPS Conference Proceedings, Vol. 44, AFIPS Press, 1975.
  93. L. Kleinrock and Simon S. Lam, ```On Stability of Packet Switching in a Random Multi-Access Broadcast Channel,'' Proceedings Subconf. on Computer Nets, Seventh Hawaii International Conference on System Sciences, Honolulu, January 1974.
  94. L. Kleinrock and Simon S. Lam, ``Packet-Switching in a Slotted Satellite Channel,'' National Computer Conference, New York, NY, June 1973; in AFIPS Conference Proceedings, Vol. 42, 1973, pp. 703-710.


Next: Other Pubs Previous: Journal Articles Up: Publications Home: Simon S. Lam