Events & News
CS Colloquium
| Category | Lecture |
| Date | Wednesday, October 7, 2015 |
| Time | 9:30 am |
| Concludes | 10:30 am |
| Location | Gould-Simpson 701 |
| Details | Please join us for coffee and light refreshments at 11am, Gould-Simpson, 9th Floor Atrium. Faculty Host: Michelle Strout |
| Speaker | Paul Hovland, Ph.D. |
| Title | LANS Director and Senior Computer Scientist |
| Affiliation | Argonne 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.
Biography
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.