The University of Arizona

Events & News

CS Colloquium

DateWednesday, October 7, 2015
Time9:30 am
Concludes10:30 am
LocationGould-Simpson 701
DetailsPlease join us for coffee and light refreshments at 11am, Gould-Simpson, 9th Floor Atrium.

Faculty Host: Michelle Strout
SpeakerPaul Hovland, Ph.D.
TitleLANS Director and Senior Computer Scientist
AffiliationArgonne National Laboratory

Program Analysis and Transformation for Scientific Computing

We discuss several applications of program analysis and transformation in scientific computing. We begin with a discussion of automatic empirical performance tuning (autotuning) techniques and strategies for dealing with multiple, competing objectives (such as time and power). We continue with a discussion of automatic (also called algorithmic) differentiation techniques for computing the derivatives of functions defined by computer subprograms. We conclude with a consideration of program verification, with an emphasis on proving the equivalence of two implementations.


Paul Hovland's research focuses on program analysis and transformation tools for high performance scientific computing applications. He holds a B.S. in computer engineering and an M.S. in computer science from Michigan State University. He received his Ph.D. in computer science with a computational science and engineering option from the University of Illinois at Urbana-Champaign, advised by Michael T. Heath. He is a Senior Computer Scientist and the Strategic Lead for Applied Mathematics in the Mathematics and Computer Science Division at Argonne National Laboratory.