| 2007 |
|---|
| 13 | EE | Fong Pong,
Nian-Feng Tzeng:
Storage-Efficient Architecture for Routing Tables via Prefix Transformation.
LCN 2007: 55-62 |
| 2006 |
|---|
| 12 | EE | Fong Pong:
Fast and Robust TCP Session Lookup by Digest Hash.
ICPADS (1) 2006: 507-514 |
| 2000 |
|---|
| 11 | EE | Fong Pong,
Michel Dubois:
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models.
IEEE Trans. Parallel Distrib. Syst. 11(9): 989-1006 (2000) |
| 1998 |
|---|
| 10 | | Fong Pong,
Michael C. Browne,
Gunes Aybay,
Andreas Nowatzyk,
Michel Dubois:
Design Verification of the S3.mp Cache-Coherent Shared-Memory System.
IEEE Trans. Computers 47(1): 135-140 (1998) |
| 9 | EE | Fong Pong,
Michel Dubois:
Formal Verification of Complex Coherence Protocols Using Symbolic State Models.
J. ACM 45(4): 557-587 (1998) |
| 1996 |
|---|
| 8 | EE | Fong Pong,
Michel Dubois:
Formal Verification of Delayed Consistency Protocols.
IPPS 1996: 124-131 |
| 7 | EE | Ashley Saulsbury,
Fong Pong,
Andreas Nowatzyk:
Missing the Memory Wall: The Case for Processor/Memory Integration.
ISCA 1996: 90-101 |
| 6 | EE | Fong Pong,
Michel Dubois:
Verification Techniques for Cache Coherence Protocols.
ACM Comput. Surv. 29(1): 82-126 (1996) |
| 1995 |
|---|
| 5 | | Fong Pong,
Andreas Nowatzyk,
Gunes Aybay,
Michel Dubois:
Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study.
Euro-Par 1995: 287-300 |
| 4 | EE | Fong Pong,
Michel Dubois:
A New Approach for the Verification of Cache Coherence Protocols.
IEEE Trans. Parallel Distrib. Syst. 6(8): 773-787 (1995) |
| 1994 |
|---|
| 3 | | Fong Pong,
Per Stenström,
Michel Dubois:
An Integrated Methodology for the Verification of Directory-Based Cache Protocols.
ICPP (1) 1994: 158-165 |
| 1993 |
|---|
| 2 | EE | Fong Pong,
Michel Dubois:
The Verification of Cache Coherence Protocols.
SPAA 1993: 11-20 |
| 1 | | Fong Pong,
Michel Dubois:
Correctness of a Directory-Based Cache Coherence Protocol: Early Experience.
SPDP 1993: 37-44 |
