• Publications
  • Influence
Finding and understanding bugs in C compilers
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs. During this periodExpand
  • 574
  • 71
  • PDF
Test-case reduction for C compiler bugs
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing substrings of theExpand
  • 157
  • 23
  • PDF
A clinical study of 115 patients with extranodal natural killer/T-cell lymphoma, nasal type.
  • X. Wu, P. Li, +8 authors C. Yi
  • Medicine
  • Clinical oncology (Royal College of Radiologists…
  • 1 October 2008
AIMS To investigate the clinicopathological features, treatment outcomes, and prognostic factors in patients with extranodal natural killer (NK)/T-cell lymphoma, nasal type. MATERIALS AND METHODSExpand
  • 75
  • 6
Role of mucilage in the germination of Artemisia sphaerocephala (Asteraceae) achenes exposed to osmotic stress and salinity.
Artemisia sphaerocephala (Asteraceae) is one of the pioneer species in moving and semi-stable sand dunes in the deserts of northwest China. The outer surface of A. sphaerocephala achenes contains aExpand
  • 64
  • 6
Degradation of seed mucilage by soil microflora promotes early seedling growth of a desert sand dune plant.
In contrast to the extensive understanding of seed mucilage biosynthesis, much less is known about how mucilage is biodegraded and what role it plays in the soil where seeds germinate. We studiedExpand
  • 32
  • 6
  • PDF
Energy-Oriented OpenMP Parallel Loop Scheduling
In HPC, power-related concern becomes dominant aspects of hardware and software design. Significant research effort has been devoted towards the energy optimization of parallel loop. This article isExpand
  • 16
  • 5
The Reliability Wall for Exascale Supercomputing
Reliability is a key challenge to be understood to turn the vision of exascale supercomputing into reality. Inevitably, large-scale supercomputing systems, especially those at the peta/exascaleExpand
  • 72
  • 4
  • PDF
Seed Mucilage Improves Seedling Emergence of a Sand Desert Shrub
The success of seedling establishment of desert plants is determined by seedling emergence response to an unpredictable precipitation regime. Sand burial is a crucial and frequent environmentalExpand
  • 28
  • 4
A 64-bit stream processor architecture for scientific applications
Stream architecture is a novel microprocessor architecture with wide application potential. But as for whether it can be used efficiently in scientific computing, many issues await further study.Expand
  • 60
  • 3
Hamming network circuits based on CMOS/memristor hybrid design
Memristor, as an innovative technology, has been proposed in the application of neural networks since its physical implementation was reported by HP lab. In this paper, we proposed a Hamming networkExpand
  • 6
  • 3