Huayang Guo

Learn More
<i>Deterministic multithreading (DMT)</i> eliminates many pernicious software problems caused by nondeterminism. It works by constraining a program to repeat the same thread interleavings, or <i>schedules</i>, when given same input. Despite much recent research, it remains an open challenge to build <i>both deterministic and efficient</i> DMT systems for(More)
Implementation-level software model checking explores the state space of a system implementation directly to find potential software defects without requiring any specification or modeling. Despite early successes, the effectiveness of this approach remains severely constrained due to poor scalability caused by state-space explosion. DeMeter makes software(More)
Ontogenetic development of the digestive system in golden pompano (Trachinotus ovatus, Linnaeus 1758) larvae was histologically and enzymatically studied from hatch to 32 day post-hatch (DPH). The development of digestive system in golden pompano can be divided into three phases: phase I starting from hatching and ending at the onset of exogenous feeding;(More)
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it logs all non-deterministic side effects passing through the interface from the environment and feeds them back during replay. The replay interface is critical for correctness and recording(More)
Pearl oyster Pinctada fucata is widely cultured to produce seawater pearl in South China, and the quality of pearl is significantly affected by its shell color. Thus the Pearl Oyster Selective Breeding Program (POSBP) was carried out for the shell color and growth traits. The black (B), gold (G), red (R) and white (W) shell strains with fast growth trait(More)
The golden pompano Trachinotus ovatus is a most important marine fish in South China, and the wild population of T. Ovatus has been rapidly decreasing owing to overfishing recently, to understand the genetic status for the conservation, we isolated and characterized twenty-one polymorphic microsatellites from a (GT)13 enriched genomic library. The number of(More)
Parentage determination was a kind of important technology of selective breeding for aquaculture species. In this study, fourteen microsatellite markers were isolated and chosen to estimate the parentage of 100 progeny in ten black tiger shrimp (Penaeus monodon) full-sib families. Simulation analysis indicated that the power of five loci to exclude false(More)
Twenty-three polymorphic microsatellite markers were developed and characterized for Fenneropenaeus merguiensis in this study. The number of alleles varied from 3 to 16. The observed heterozygosity and expected heterozygosity ranged from 0.2188 to 1.0000 and 0.4430 to 0.8819, respectively. Four loci showed moderate polymorphism (0.25 < PIC < 0.5), while the(More)
Twenty-five single nucleotide polymorphism (SNP) markers were developed and characterized from the expressed sequence tags of the pearl oyster Pinctada martensii in this study. The SNP genotyping of the wild population and an artificially bred population was analyzed using unlabeled probe high resolution melting. All the loci contained two alleles, and the(More)