The Verification of Cache Coherence Protocols. - Fong Pong; Michel Dubois 001 (SPAA, 1993)

Correctness of a Directory-Based Cache Coherence Protocol: Early Experience. - Fong Pong; Michel Dubois 001 (SPDP, 1993)

An Integrated Methodology for the Verification of Directory-Based Cache Protocols. - Fong Pong; Per Stenström; Michel Dubois 001 (ICPP (1), 1994)

Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study. - Fong Pong; Andreas Nowatzyk; Gunes Aybay; Michel Dubois 001 (Euro-Par, 1995)

A New Approach for the Verification of Cache Coherence Protocols. - Fong Pong; Michel Dubois 001 (IEEE Trans. Parallel Distributed Syst., 1995)

Formal Verification of Delayed Consistency Protocols. - Fong Pong; Michel Dubois 001 (IPPS, 1996)

Missing the Memory Wall: The Case for Processor/Memory Integration. - Ashley Saulsbury; Fong Pong; Andreas Nowatzyk (ISCA, 1996)

Verification Techniques for Cache Coherence Protocols. - Fong Pong; Michel Dubois 001 (ACM Comput. Surv., 1997)

Formal Verification of Complex Coherence Protocols Using Symbolic State Models. - Fong Pong; Michel Dubois 001 (J. ACM, 1998)

Design Verification of the S3.mp Cache-Coherent Shared-Memory System. - Fong Pong; Michael C. Browne; Gunes Aybay; Andreas Nowatzyk; Michel Dubois 001 (IEEE Trans. Computers, 1998)

Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models. - Fong Pong; Michel Dubois 001 (IEEE Trans. Parallel Distributed Syst., 2000)

Fast and Robust TCP Session Lookup by Digest Hash. - Fong Pong (ICPADS (1), 2006)

Communication performance of a modular high-bandwidth multiprocessor system. - Fong Pong; Nian-Feng Tzeng; Koray Öner; Chun Ning; Kwong-Tak Chui; Manoj Ekbote; Yanping Lu (ICPADS, 2007)

Storage-Efficient Architecture for Routing Tables via Prefix Transformation. - Fong Pong; Nian-Feng Tzeng (LCN, 2007)

Application-Layer Packet Processing through Ethereal Memory. - Fong Pong; Nian-Feng Tzeng (NCA, 2008)

Hashing Round-down Prefixes for Rapid Packet Classification. - Fong Pong; Nian-Feng Tzeng (USENIX ATC, 2009)

SUSE: superior storage-efficiency for routing tables through prefix transformation and aggregation. - Fong Pong; Nian-Feng Tzeng (IEEE/ACM Trans. Netw., 2010)

HaRP: Rapid Packet Classification via Hashing Round-Down Prefixes. - Fong Pong; Nian-Feng Tzeng (IEEE Trans. Parallel Distributed Syst., 2011)

Speedy FPGA-based packet classifiers with low on-chip memory requirements. - Chih-Hsun Chou; Fong Pong; Nian-Feng Tzeng (FPGA, 2012)

Concise Lookup Tables for IPv4 and IPv6 Longest Prefix Matching in Scalable Routers. - Fong Pong; Nian-Feng Tzeng (IEEE/ACM Trans. Netw., 2012)