Geoffrey Sawaya

Learn More
Programs written for GPUs often contain correctness errors such as races, deadlocks, or may compute the wrong result. Existing debugging tools often miss these errors because of their limited input-space and execution-space exploration. Existing tools based on conservative static analysis or conservative modeling of SIMD concurrency generate false alarms(More)
Model checking of safety properties can be scaled up by pooling the CPU and memory resources of multiple computers. As compute clusters containing 100s of nodes, with each node realized using multi-core (e.g., 2) CPUs will be widespread, a model checker based on the parallel (shared memory) and distributed (message passing) paradigms will more efficiently(More)
BACKGROUND Serious complications after hysterectomy are estimated to occur in around six women per 10,000 hysterectomies in the USA. We did a systematic review of evidence that hysterectomy is associated with urinary incontinence. METHODS We identified English-language and non-English-language articles registered on MEDLINE from January, 1966, to(More)
With the increasing emphasis on exploiting concurrency efficiently and correctly, the lack of suitable pedagogical material for teaching concurrency is a growing problem. In this paper, we summarize a recently concluded class as well as some independent projects in the area of concurrency and multi-core computing that offer some insights to address this(More)
This e-newsletter presents reviews of important, recently published scientific articles selected by The North American Menopause Society (NAMS), the leading nonprofit scientific organization dedicated to improving women's health and quality of life through an understanding of menopause and healthy aging. Each review has a commentary from a recognized expert(More)
  • 1