Dave Cunningham

Learn More
OBJECTIVES Hitherto, patients with testicular dysfunction and azoospermia had to resort to adoption, donor sperm insemination, or child-free living. The realization that a proportion of such men harbor spermatozoa in their testicular parenchyma, combined with the ability of intracytoplasmic sperm injection (ICSI) to effect pregnancy with single sperm, has(More)
GPU architectures have emerged as a viable way of considerably improving performance for appropriate applications. Program fragments (kernels) appropriate for GPU execution can be implemented in CUDA or OpenCL and glued into an application via an API. While there is plenty of evidence of performance improvements using this approach, there are many issues(More)
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about programs. We formalise Universe Types for a core subset of Java in two steps: We first define a Topological Type System that structures the object store hierarchically into an(More)
Testicular tissue extraction (TESE) to obtain spermatozoa for use with intracytoplasmic sperm injection (ICSI) has recently been employed in patients with non-obstructive azoospermia. Standard protocol is to retrieve a new sample of testis tissue on the day of oocyte recovery. Unfortunately, approximately 30% of men will possess no spermatozoa in their(More)
BACKGROUND Men with cystic fibrosis (CF) have bilateral absence of the vas deferens causing an obstructive azoospermia that is not amenable to surgical correction. Advances in the field of reproductive medicine allow for the procurement of viable sperm and facilitate fertilization and pregnancy in couples where the man has CF. OBJECTIVES To describe(More)