Yong Luo

	2009
18		Xiao-Shan Gao, Yong Luo, Chun-Ming Yuan: A characteristic set method for ordinary difference polynomial systems. J. Symb. Comput. 44(3): 242-260 (2009)
	2007
17		Yue-xiang Yang, Li-Zhi Cheng, Yong Luo, Rui Wang: Bandelet Union Optimal Matrix Norms Constructing Lossless Watermarking. CISIM 2007: 294-298
16		Olaf Chitil, Yong Luo: Structure and Properties of Traces for Functional Programs. Electr. Notes Theor. Comput. Sci. 176(1): 39-63 (2007)
	2006
15		Yong Luo, Olaf Chitil: Proving the correctness of algorithmic debugging for functional programs. Trends in Functional Programming 2006: 19-34
	2005
14		Yong Luo: Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising CoRR abs/cs/0506060: (2005)
13		Zhaohui Luo, Yong Luo: Transitivity in coercive subtyping. Inf. Comput. 197(1-2): 122-144 (2005)
	2003
12		Yong Luo, Zhaohui Luo: Combining Incoherent Coercions for Sigma-Types. TYPES 2003: 276-292
	2002
11		Yong Luo, Zhaohui Luo, Sergei Soloviev: Weak Transitivity in Coercive Subtyping. TYPES 2002: 220-239
	2001
10		Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya Gokhale: Mutable Functional Units and Their Applications on Microprocessors. ICCD 2001: 234-239
9		Yong Luo, Zhaohui Luo: Coherence and Transitivity in Coercive Subtyping. LPAR 2001: 249-265
8		Xian-He Sun, Dongmei He, Kirk W. Cameron, Yong Luo: Adaptive multivariate regression for advanced memory system evaluation: application and experience. Perform. Eval. 45(1): 1-18 (2001)
	1999
7		Xian-He Sun, Dongmei He, Kirk W. Cameron, Yong Luo: A Factorial Performance Evaluation for Hierarchical Memory Systems. IPPS/SPDP 1999: 70-74
6		Kirk W. Cameron, Yong Luo, James Scharzmeier: Instruction-Level Microprocessor Modeling of Scientific Applications. ISHPC 1999: 29-40
5		Xian-He Sun, Kirk W. Cameron, Yong Luo, Dongmei He: A Memory-Centric Characterization of ASCI Applications Via a Combined Approach of Statistical and Empirical Analysis. PPSC 1999
4		Yong Luo: OpenMP Experiments on the Origin 2000 Distributed Shared Memory Machine. PPSC 1999
3		Yong Luo: Shared Memory vs. Message Passing: The COMOPS Benchmark Experiment. The Journal of Supercomputing 13(3): 283-301 (1999)
	1998
2		Yong Luo, Olaf M. Lubeck, Harvey J. Wasserman, Federico Bassetti, Kirk W. Cameron: Development and validation of a hierarchical memory model incorporating CPU- and memory-operation overlap model. WOSP 1998: 152-163
1		Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo, Richard L. Oliver, David Sundaram-Stukel, Harvey J. Wasserman, Vikram S. Adve, Rajive Bagrodia, James C. Browne, Elias N. Houstis, Olaf M. Lubeck, John R. Rice, Patricia J. Teller, Mary K. Vernon: Poems: end-to-end performance design of large parallel adaptive computational systems. WOSP 1998: 18-30

Coauthor Index

1	Vikram S. Adve	[1]
2	Rajive Bagrodia	[1]
3	Federico Bassetti	[2]
4	James C. Browne	[1]
5	Kirk W. Cameron	[2] [5] [6] [7] [8] [10]
6	Li-Zhi Cheng	[17]
7	Olaf Chitil	[15] [16]
8	Ewa Deelman	[1]
9	Aditya Dube	[1]
10	Xiao-Shan Gao	[18]
11	Maya Gokhale	[10]
12	Dongmei He	[5] [7] [8]
13	Adolfy Hoisie	[1]
14	Elias N. Houstis	[1]
15	Dominique Lavenier	[10]
16	Olaf M. Lubeck	[1] [2]
17	Zhaohui Luo	[9] [11] [12] [13]
18	Richard L. Oliver	[1]
19	John R. Rice	[1]
20	James Scharzmeier	[6]
21	Yan Solihin	[10]
22	Sergei Soloviev	[11]
23	Xian-He Sun	[5] [7] [8]
24	David Sundaram-Stukel	[1]
25	Patricia J. Teller	[1]
26	Mary K. Vernon	[1]
27	Rui Wang	[17]
28	Harvey J. Wasserman	[1] [2]
29	Yue-xiang Yang	[17]
30	Chun-Ming Yuan	[18]

Colors in the list of coauthors