Fong Pong

2007
14	EE	Fong Pong, Nian-Feng Tzeng, Koray Öner, Chun Ning, Kwong-Tak Chui, Manoj Ekbote, Yanping Lu: Communication performance of a modular high-bandwidth multiprocessor system. ICPADS 2007: 1-8
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

Coauthor Index

1	Gunes Aybay	[5] [10]
2	Michael C. Browne	[10]
3	Kwong-Tak Chui	[14]
4	Michel Dubois	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11]
5	Manoj Ekbote	[14]
6	Yanping Lu	[14]
7	Chun Ning	[14]
8	Andreas Nowatzyk	[5] [7] [10]
9	Koray Öner	[14]
10	Ashley Saulsbury	[7]
11	Per Stenström	[3]
12	Nian-Feng Tzeng	[13] [14]