Yong Luo

2007
17	EE	Yue-xiang Yang, Li-Zhi Cheng, Yong Luo, Rui Wang: Bandelet Union Optimal Matrix Norms Constructing Lossless Watermarking. CISIM 2007: 294-298
16	EE	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	EE	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	EE	Zhaohui Luo, Yong Luo: Transitivity in coercive subtyping. Inf. Comput. 197(1-2): 122-144 (2005)
2003
12	EE	Yong Luo, Zhaohui Luo: Combining Incoherent Coercions for Sigma-Types. TYPES 2003: 276-292
2002
11	EE	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	EE	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	EE	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	EE	Yong Luo: Shared Memory vs. Message Passing: The COMOPS Benchmark Experiment. The Journal of Supercomputing 13(3): 283-301 (1999)
1998
2	EE	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	EE	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	Maya Gokhale	[10]
11	Dongmei He	[5] [7] [8]
12	Adolfy Hoisie	[1]
13	Elias N. Houstis	[1]
14	Dominique Lavenier	[10]
15	Olaf M. Lubeck	[1] [2]
16	Zhaohui Luo	[9] [11] [12] [13]
17	Richard L. Oliver	[1]
18	John R. Rice	[1]
19	James Scharzmeier	[6]
20	Yan Solihin	[10]
21	Sergei Soloviev	[11]
22	Xian-He Sun	[5] [7] [8]
23	David Sundaram-Stukel	[1]
24	Patricia J. Teller	[1]
25	Mary K. Vernon	[1]
26	Rui Wang	[17]
27	Harvey J. Wasserman	[1] [2]
28	Yue-xiang Yang	[17]

Colors in the list of coauthors