•  5
    Floating-point precision tuning using blame analysis
    with C. Rubio-Gonzalez, B. Mehne, K. Sen, J. Demmel, W. Kahan, C. Iancu, W. Lavrijsen, D. H. Bailey, and D. Hough
    © 2016 ACM.While tremendously useful, automated techniques for tuning the precision of floating-point programs face important scalability challenges. We present Blame Analysis, a novel dynamic approach that speeds up precision tuning. Blame Analysis performs floating-point instructions using different levels of accuracy for their operands. The analysis determines the precision of all operands such that a given precision is achieved in the final result of the program. Our evaluation on ten scient…Read more
  •  8
    A progressive translational mouse model of human valosin-containing protein disease: The VCP R155H/+ mouse
    with A. Nalbandian, K. J. Llewellyn, M. Badadani, H. Z. Yin, V. Katheria, G. Watts, J. Mukherjee, J. Vesa, V. Caiozzo, T. Mozaffar, J. H. Weiss, and V. E. Kimonis
    Introduction: Mutations in the valosin-containing protein gene cause hereditary inclusion body myopathy associated with Paget disease of bone, and frontotemporal dementia. More recently, these mutations have been linked to 2% of familial amyotrophic lateral sclerosis cases. A knock-in mouse model offers the opportunity to study VCP-associated pathogenesis. Methods: The VCPR155H/+ knock-in mouse model was assessed for muscle strength and immunohistochemical, Western blot, apoptosis, autophagy, an…Read more