| 2024 | ASPLOS | Proteus: A High-Throughput Inference-Serving System with Accuracy Scaling. | Sohaib Ahmad, Hui Guan, Brian D. Friedman, Thomas Williams, Ramesh K. Sitaraman, Thomas Y. C. Woo |
| 2020 | SC | An efficient and non-intrusive GPU scheduling framework for deep learning training systems. | Shaoqi Wang, Oscar J. Gonzalez, Xiaobo Zhou, Thomas Williams, Brian D. Friedman, Martin Havemann, Thomas Y. C. Woo |
| 2007 | INFOCOM | On the Detection of Signaling DoS Attacks on 3G Wireless Networks. | Patrick P. C. Lee, Tian Bu, Thomas Y. C. Woo |
| 2006 | INFOCOM | Design and Evaluation of a Fast and Robust Worm Detection Algorithm. | Tian Bu, Aiyou Chen, Scott A. Vander Wiel, Thomas Y. C. Woo |
| 2005 | INFOCOM | ECHOS - enhanced capacity 802.11 hotspots. | Arunchandar Vasan, Ramachandran Ramjee, Thomas Y. C. Woo |
| 2004 | ICNP | Trading Resiliency for Security: Model and Algorithms. | Tian Bu, Samphel Norden, Thomas Y. C. Woo |
| 2000 | INFOCOM | A Modular Approach to Packet Classification: Algorithms and Results. | Thomas Y. C. Woo |
| 1999 | INFOCOM | Cache-Based Compaction: A New Technique for Optimizing Web Transfer. | Mun Choon Chan, Thomas Y. C. Woo |
| 1999 | WCNC | Application of compaction technique to optimizing wireless email transfer. | Mun Choon Chan, Thomas Y. C. Woo |
| 1998 | INFOCOM | Designing a Distributed Authorization Service. | Thomas Y. C. Woo, Simon S. Lam |
| 1998 | INFOCOM | Update and Search Algorithms for Wireless Two-Way Messaging: Design and Performance. | Thomas Y. C. Woo, Thomas F. La Porta, Jamal Golestani, Naveen Agarwal |
| 1998 | PIMRC | Providing Internet services to mobile phones: a case study with email. | Thomas Y. C. Woo, Krishan K. Sabnani, Scott C. Miller |
| 1997 | ICNP | User Agents and Flexible Messages: A New Approach to Wireless Two-Way Messaging. | Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani |
| 1997 | SIGCOMM | A Flow-Based Approach to Datagram Security. | Suvo Mittra, Thomas Y. C. Woo |
| 1996 | PIMRC | Pigeon: a wireless two-way messaging system. | Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani |
| 1994 | ICNP | Design, verification and implementation of an authentication protocol. | Thomas Y. C. Woo, Simon S. Lam |
| 1994 | USENIX | SNP: An Interface for Secure Network Programming. | Thomas Y. C. Woo, Raghuram Bindignavle, Shaowen Su, Simon S. Lam |
| 1993 | CCS | A Framework for Distributed Authorization. | Thomas Y. C. Woo, Simon S. Lam |
| 1993 | ICNP | Verifying authentication protocols: methodology and example. | Thomas Y. C. Woo, Simon S. Lam |
| 1993 | SP | A semantic model for authentication protocols. | Thomas Y. C. Woo, Simon S. Lam |
| 1992 | KR | Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). | Vladimir Lifschitz, Thomas Y. C. Woo |
| 1992 | SP | Authorization in distributed systems: a formal approach. | Thomas Y. C. Woo, Simon S. Lam |
| 1991 | SP | Applying a Theory of Modules and Interfaces to Security Verification. | Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo |