The Many Faces of Facebook's Datacenter Network, , Proceedings of the ACM SIGCOMM Conference, London, England, August 2015.
Scheduling for Data Center Networks with Reconfiguration Delay, , Proceedings of the IEEE Infocom Conference, Hong Kong, China, April 2015, pages 1-9.
Circuit Switching Under the Radar with REACToR, , Proceedings of the 11th ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI), Seattle, WA, April 2014, pages 1-15.
Directing Data Center Traffic, , Science 342(6155):202-203, 2013.
Bullet Trains: A Study of NIC Burst Behavior at Microsecond Timescales, , Proceedings of ACM CoNEXT, Santa Barbara, CA, December 2013, pages 133-138.
FasTrak: Enabling Express Lanes in Multi-Tenant Data Centers, , Proceedings of ACM CoNEXT, Santa Barbara, CA, December 2013.
Dahu: Commodity Switches for Direct Connect Data Center Networks, , Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), San Jose, CA, October 2013.
A Multiport Microsecond Optical Circuit Switch for Data Center Networking, , IEEE Photonics Technology Letters 25(16):1589-1592, 2013.
Integrating Microsecond Circuit Switching into the Data Center, , Proceedings of the ACM SIGCOMM Conference, Hong Kong, China, August 2013.
Optical/Electrical Hybrid Switching for Datacenter Communications, , Proceedings of the 18th OptoElectronics and Communications Conference (OECC2013) / Photonics in Switching 2013 (PS2013), Kyoto, Japan, July 2013.
See Straight Through Data Center Bandwidth Limitations with X-Rays, , Proceedings of TinyTOCS, Reconfigurable wireless X-Ray links in data centers could deliver 40 Pb/sec, but would have to be turned off while operators are present, April 2013.
A 10 us Hybrid Optical-Circuit/Electrical-Packet Network for Data Centers, , Proceedings of OFC/NFOEC, Anaheim, CA, March 2013.
Hunting Mice with Microsecond Circuit Switches, , Proceedings of the 11th ACM Workshop on Hot Topics in Networks (HotNets-XI), Redmond, WA, October 2012.
Chronos: Predictable Low Latency for Data Center Applications, , Proceedings of the ACM Symposium on Cloud Computing (SOCC), San Jose, CA, October 2012, pages 9:1-9:14.
Themis: An I/O-Efficient MapReduce, , Proceedings of the ACM Symposium on Cloud Computing (SOCC), San Jose, CA, October 2012.
NetBump: User-extensible Active Queue Management with Bumps on the Wire, , Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Austin, Texas, October 2012.
A Demonstration of Ultra-low Latency Data Center Optical Circuit Switching (Demo session), , Proceedings of the ACM SIGCOMM Conference, Helsinki, Finland, August 2012.
Practical TDMA for Datacenter Ethernet, , Proceedings of the ACM European Conference in Computer Systems (EuroSys), Bern, Switzerland, April 2012.
Helios: A Hybrid Electrical/Optical Switch Architecture for Modular Data Centers, , Proceedings of the ACM SIGCOMM Conference, New Delhi, India, August 2010.
Experiences with Tracing Causality in Networked Services, , Proceedings of the Internet Network Management Workshop / Workshop on Research on Enterprise Networking (INM/WREN), San Jose, CA, April 2010.
Towards Decoupling Storage and Computation in Hadoop with SuperDataNodes, , ACM SIGOPS Operating Systems Review 44(2):41-46, April 2010.
Towards Decoupling Storage and Computation in Hadoop with SuperDataNodes, , Proceedings of the International Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Big Sky, MT, October 2009.
Effective Small-site Web Load Balancing Through Statistical Monitoring, , Proceedings of the IEEE/IFIP International Workshop on Self-Managed Systems and Services (SelfMan), Nice, France, May 2005.
COPS: Quality of Service vs. Any Service at All, , Proceedings of the International Workshop on Quality of Service (IWQoS), June 2005.
Delta Routing: Improving the Price-Performance of Hybrid Private Networks, , Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), Seoul, Korea, April 2004.
The Apprentice Challenge, , ACM Transactions on Programming Languages and Systems (TOPLAS) 24(3):193-216, May 2002.
The SAHARA Model for Service Composition Across Multiple Providers, , Proceedings of the International Conference on Pervasive Computing (Pervasive), August 2002.
Formal Models of Java at the JVM Level--a Survey from the ACL2 Perspective, , Proceedings of Workshop on Formal Techniques for Java Programs / ECOOP, Budapest, Hungary, June 2001.
An Executable Formal Java Virtual Machine Thread Model, , Proceedings of the USENIX Java Virtual Machine Symposium (JVM), Monterey, CA, April 2001.