Search the dblp DataBase

Publications of Author

1. Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya Gokhale
   Mutable Functional Units and Their Applications on Microprocessors. [Citation Graph (0, 0)][DBLP]
   ICCD, 2001, pp:234-239 [Conf]
   
2. Xian-He Sun, Dongmei He, Kirk W. Cameron, Yong Luo
   A Factorial Performance Evaluation for Hierarchical Memory Systems. [Citation Graph (0, 0)][DBLP]
   IPPS/SPDP, 1999, pp:70-74 [Conf]
   
3. Kirk W. Cameron, Yong Luo, James Scharzmeier
   Instruction-Level Microprocessor Modeling of Scientific Applications. [Citation Graph (0, 0)][DBLP]
   ISHPC, 1999, pp:29-40 [Conf]
   
4. Yong Luo, Zhaohui Luo
   Coherence and Transitivity in Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
   LPAR, 2001, pp:249-265 [Conf]
   
5. Yong Luo
   OpenMP Experiments on the Origin 2000 Distributed Shared Memory Machine. [Citation Graph (0, 0)][DBLP]
   PPSC, 1999, pp:- [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   PPSC, 1999, pp:- [Conf]
   
7. Yong Luo, Zhaohui Luo
   Combining Incoherent Coercions for Sigma-Types. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:276-292 [Conf]
   
8. Yong Luo, Zhaohui Luo, Sergei Soloviev
   Weak Transitivity in Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
   TYPES, 2002, pp:220-239 [Conf]
   
9. 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. [Citation Graph (0, 0)][DBLP]
   WOSP, 1998, pp:152-163 [Conf]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    WOSP, 1998, pp:18-30 [Conf]
    
11. Olaf Chitil, Yong Luo
    Structure and Properties of Traces for Functional Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:39-63 [Journal]
    
12. Zhaohui Luo, Yong Luo
    Transitivity in coercive subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:197, n:1-2, pp:122-144 [Journal]
    
13. Xian-He Sun, Dongmei He, Kirk W. Cameron, Yong Luo
    Adaptive multivariate regression for advanced memory system evaluation: application and experience. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2001, v:45, n:1, pp:1-18 [Journal]
    
14. Yong Luo
    Shared Memory vs. Message Passing: The COMOPS Benchmark Experiment. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 1999, v:13, n:3, pp:283-301 [Journal]
    
15. Yong Luo, Olaf Chitil
    Proving the correctness of algorithmic debugging for functional programs. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:19-34 [Conf]
    
16. Yue-xiang Yang, Li-Zhi Cheng, Yong Luo, Rui Wang
    Bandelet Union Optimal Matrix Norms Constructing Lossless Watermarking. [Citation Graph (0, 0)][DBLP]
    CISIM, 2007, pp:294-298 [Conf]
    
17. 
    Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising [Citation Graph (, )][DBLP]