Johnnie Birch

Learn More
This paper presents a unified approach for generalized induction variable recognition and substitution, pointer analysis, analysis of conditionally updated variables, value range analysis, array region analysis, and nonlinear dependence testing. The analysis techniques share a well-defined uniform approach based on the chains of recurrences algebra. The(More)
B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson, W. G. Anderson, K. Arai, M. C. Araya, C. C. Arceneaux, J. S. Areeda, N.(More)
J. Aasi, J. Abadie, B. P. Abbott, R. Abbott, T. D. Abbott, M. Abernathy, T. Accadia, F. Acernese, C. Adams, T. Adams, P. Addesso, R. Adhikari, C. Affeldt, M. Agathos, K. Agatsuma, P. Ajith, B. Allen, A. Allocca, E. Amador Ceron, D. Amariutei, S. B. Anderson, W.G. Anderson, K. Arai, M. C. Araya, S. Ast, S.M. Aston, P. Astone, D. Atkinson, P. Aufmuth, C.(More)
Pointer-based array traversals are often used by C programmers to optimize sequential memory access. However, the use of pointer arithmetic prevents compilers from effectively applying dependence testing and loop analysis for optimization and parallelization. Because pointer variables can be viewed as reference-type induction variables, conventional(More)
J. Abadie, B. P. Abbott, R. Abbott, T. D. Abbott, M. Abernathy, T. Accadia, F. Acernese, C. Adams, R. Adhikari, C. Affeldt, M. Agathos, K. Agatsuma, P. Ajith, B. Allen, E. Amador Ceron, D. Amariutei, S. B. Anderson, W.G. Anderson, K. Arai, M.A. Arain, M. C. Araya, S.M. Aston, P. Astone, D. Atkinson, P. Aufmuth, C. Aulbert, B. E. Aylott, S. Babak, P. Baker,(More)
The diagnostic and prognostic relevance of desmin expression in 80 rhabdomyosarcomas (RMS) and 5 embryonal sarcomas (ES) was examined using a peroxidase anti-peroxidase staining procedure. Fifty-nine RMS but only one ES stained for desmin (P less than 0.05). The maximum percentage of desmin containing cells was 49 in RMS compared with only 1% in ES. Desmin(More)
J. Abadie, B. P. Abbott, R. Abbott, T. D. Abbott, M. Abernathy, T. Accadia, F. Acernese, C. Adams, R. Adhikari, C. Affeldt, M. Agathos, P. Ajith, B. Allen, G. S. Allen, E. Amador Ceron, D. Amariutei, R. S. Amin, S. B. Anderson, W.G. Anderson, K. Arai, M.A. Arain, M. C. Araya, S.M. Aston, P. Astone, D. Atkinson, P. Aufmuth, C. Aulbert, B. E. Aylott, S.(More)
D. V. Martynov, E. D. Hall, B. P. Abbott, R. Abbott, T. D. Abbott, C. Adams, R. X. Adhikari, R. A. Anderson, S. B. Anderson, K. Arai, M. A. Arain, S. M. Aston, L. Austin, S. W. Ballmer, M. Barbet, D. Barker, B. Barr, L. Barsotti, J. Bartlett, M. A. Barton, I. Bartos, J. C. Batch, A. S. Bell, I. Belopolski, J. Bergman, J. Betzwieser, G. Billingsley, J.(More)
This paper presents a parametric intra-task dynamic voltage scheduling (IntraVS) method that scales voltage/frequency based upon the parameterization of the remaining worst case exection cycles (RWEC) of a task. The parametric RWEC of the task is determined by static analysis of code. The parameterization of the RWEC of loops with symbolic bounds, whose(More)
The gravitational-wave signal GW150914 was first identified on September 14, 2015, by searches for short-duration gravitational-wave transients. These searches identify time-correlated transients in multiple detectors with minimal assumptions about the signal morphology, allowing them to be sensitive to gravitational waves emitted by a wide range of sources(More)