Replacing Unevaluated Parts in the Traces of Functional Programs (2009)
Abstract In non-strict functional programming languages such as Haskell, it happens often that some parts of a program are not evaluated because their values are not demanded. In practice, those...
The outcome of Cryptococcus neoformansintracellular pathogenesis in human monocytes (2009)
Alvarez, Mauricio, Burn, Tamika, Luo, Yong, Pirofski, Liise-anne, Casadevall, Arturo
Abstract Background Cryptococcus neoformans is an encapsulated yeast that is a facultative intracellular pathogen. The interaction between macrophages and C. neoformans is critical for extrapulmonary...
Bmc Microbiology, Mauricio Alvarez, Tamika Burns, Yong Luo, Arturo Casadevall, Mauricio Alvarez, ...
This Provisional PDF corresponds to the article as it appeared upon acceptance. Fully formatted PDF and full text (HTML) versions will be made available soon. The outcome of Cryptococcus neoformans...
Proving the Correctness of Algorithmic Debugging for Functional Programs (2008)
This paper formally presents a model of tracing for functional programs based on a small-step operational semantics. The model records the computation of a functional program in a graph which can be...
Proving the Correctness of Algorithmic Debugging for Functional Programs (2008)
This paper formally presents a model of tracing for functional programs based on a small-step operational semantics. The model records the computation of a functional program in a graph which can be...
Reservation Station Architecture for Mutable Functional Unit Usage in Superscalar Processors (2008)
Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya Gokhale
One major bottleneck of a superscalar processor is mismatch of instruction stream mix with functional unit configuration. Depending on the type and number of functional units, the performance loss...
Xian-he Sun, Kirk W. Cameron, Yong Luo, Dongmei He
Memory latency is a substantial contributor to single processor performance loss. Latency hiding techniques such as out of order and speculative execution, outstanding loads to memory, and increases...
Memory Hierarchy Model Validation (2007)
Yan Solihin, Yong Luo, Kirk Cameron
The memory hierarchy model is a powerful tool that can separate the stall time in a multi-level cache. However, since no tool currently exists that is able to compute this information, it is...
Dynamically Mutable Functional Unit in Superscalar Processors (2007)
Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya Gokhale
One major bottleneck of a superscalar processor is the mismatch of instruction stream mix with functional unit configuration. Depending on the type and number of functional units, the performance...
OpenMP Experiments on the Origin2000 Distributed Shared Memory Machine (2007)
istic particle transport code with wavefront pipeline structure: SWEEP3D [3]. This code has inherent parallelism through its wavefront pipeline structure with multi-wavefronts executed concurrently....
Polynomial Time-Marching for Three-Dimensional Wave Equations (2007)
As a continuation of the efficient and accurate polynomial interpolation time-marching technique in one-dimensional and two-dimensional cases, this paper proposes a method to extend it to...
Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier
2 Florida Institute of Technology,
1 Reservation Station Architecture for Mutable Functional Unit Usage in (2007)
Superscalar Processors, Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya Gokhale
One major bottleneck of a superscalar processor is mismatch of instruction stream mix with functional unit configuration. Depending on the type and number of functional units, the performance loss...
A Methodology for Implementing Inductive Schemata (2007)
Here, we give recursive denitions for elimination rule and computation rules of inductive schemata. The new denitions are good for implementing inductive types, and one can get algorithms form them...
Combining Incoherent Coercions for Σ-types (2007)
Coherence is a vital requirement for the correct use of coercive subtyping for abbreviation and other applications. However, some coercions are incoherent, although very useful. A typical example of...
nanostructures design and fabrication for magnetic storage applications (2007)
As technology scales down, many opportunities are available for conventional magnetic storage devices. The advent of nanofabrication technology offers capabilities in patterning materials and...
Microbial and opsonic effects on macrophage cell cycle progression / (2007)
Luo, Yong., Casadevall, Arturo.
Advisor: Arturo Casadevall.
Conventional and molecular assays aid diagnosis of crop diseases and fungicide resistance (2006)
Michailides, Themis J., Morgan, David P., Ma, Zhonghua, Luo, Yong, Felts, Daniel, Doster, Mark A., ...
For the past decade, we have been developing techniques for monitoring pre- and postharvest diseases of tree fruit, nuts and vines at the UC Kearney Research and Extension Center (KREC). We have also...
Towards a theory of tracing for functional programs based on graph rewriting (2006)
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support program comprehension...
In this paper, we prove the strong normalisation for Martin-L\"{o}f's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarantee the strong...
Weak transitivity in coercive subtyping (2002)
Yong Luo, Zhaohui Luo, Sergei Soloviev
Abstract. Coercive subtyping is a general approach to subtyping, inheritance and abbreviation in dependent type theories. A vital requirement for coercive subtyping is that of coherence which...
Coherence and transitivity in coercive subtyping (2001)
Abstract. Coercive subtyping is a general approach to subtyping, inheritance and abbreviation in dependent type theories. A vital requirement for coercive subtyping is that of coherence {...
Coherence and transitivity in coercive subtyping Yong Luo and Zhaohui Luo (2001)
Coercive subtyping is a general approach to subtyping, inheritance and abbreviation in dependent type theories. A vital requirement for coercive subtyping is that of coherence { computational...
Instruction-levle microprocessor modeling of scientific applications (1999)
Kirk W. Cameron, Yong Luo, James Scharzmeier
Abstract. Superscalar microprocessor efficiency is generally not as high as anticipated. In fact, sustained utilization below thirty percent of peak is not uncommon, even for fully optimized,...
A Factorial Performance Evaluation for Hierarchical Memory Systems (1999)
Xian-He Sun, Dongmei He, Kirk W. Cameron, Yong Luo
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines the impact of...
Boosting the Speedup of Future Processor Architectures by Using Mutable Functional Units (1999)
Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya Gokhale
One major bottleneck of a superscalar processor is the mismatch of instruction stream mix with functional unit configuration. The resulting "unavailable functional unit" stalls can be a...
POEMS: End-to-end performance design of large parallel adaptive computational systems (1998)
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo, Richard L. Oliver, David Sundaram-stukel, ...
The POEMS project is creating an environment for endto-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runtime and operating system...
Harvey Wasserman, Olaf M. Lubeck, Yong Luo, Federico Bassetti
: In this paper we compare single-processor performance of the SGI Origin and PowerChallenge and utilize a previously-reported performance model for hierarchical memory systems to explain the...
Shared Memory vs. Message Passing: the COMOPS Benchmark Experiment (1997)
This paper presents the comparison of the COMOPS benchmark performance in MPI and shared memory on three different shared memory platforms: the DEC AlphaServer 8400/300 (Turbolaser), the SGI Power...
Tumor Necrosis Factor Alpha Induction of NF-κB Requires the Novel Coactivator SIMPL
Kwon, Hyung-Joo, Breese, Erin Haag, Vig-Varga, Eva, Luo, Yong, Lee, Younghee, Goebl, Mark G., ...
A myriad of stimuli including proinflammatory cytokines, viruses, and chemical and mechanical insults activate a kinase complex composed of IκB kinase β (IKK-β), IKK-α, and IKK-γ/N, leading to...
Tumor Necrosis Factor Alpha Induction of NF-κB Requires the Novel Coactivator SIMPL
Kwon, Hyung-Joo, Breese, Erin Haag, Vig-Varga, Eva, Luo, Yong, Lee, Younghee, Goebl, Mark G., ...
A myriad of stimuli including proinflammatory cytokines, viruses, and chemical and mechanical insults activate a kinase complex composed of IκB kinase β (IKK-β), IKK-α, and IKK-γ/N, leading to...
The Outcome of Phagocytic Cell Division with Infectious Cargo Depends on Single Phagosome Formation
Luo, Yong, Alvarez, Mauricio, Xia, Lingchuan, Casadevall, Arturo
Given that macrophages can proliferate and that certain microbes survive inside phagocytic cells, the question arises as to the post-mitotic distribution of microbial cargo. Using macrophage-like...
Translational Control of C-terminal Src Kinase (Csk) Expression by PRL3 Phosphatase*
Liang, Fubo, Luo, Yong, Dong, Yuanshu, Walls, Chad D., Liang, Jiao, Jiang, Hao-Yuan, ...
Phosphatase of regenerating liver 3 (PRL3) is up-regulated in cancer metastases. However, little is known of PRL3-mediated cellular signaling pathways. We previously reported that elevated PRL3...