Huayang Guo

Shigui Jiang6
Dianchang Zhang4
6Shigui Jiang
4Dianchang Zhang
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)
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)
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)
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)
Effects of prey color, wall color and water color on the food ingestion of orange-spotted grouper Epinephelus coioides larvae were studied under a laboratory condition. The food ingestion of fish larvae was significantly affected by wall color. The highest food ingestion was observed when fish were stocked in white containers, while the lowest food(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)
  • 1