Paul D. Hovland

Mathematics and Computer Science Division
Argonne National Laboratory
Bldg. 221, Rm. C-223
9700 S. Cass Ave.
Argonne, IL 60439

Research Interests

Computational Science, High Performance Computing, Automatic Differentiation, and Component-based Software Engineering.

Education

University of Illinois at Urbana-Champaign, Urbana, IL, Aug. 1992-May 1997.
Ph.D. in Computer Science with Computational Science option.
             Thesis Title: ``Automatic Differentiation of Parallel Programs''
             Thesis Advisors: Dr. Michael T. Heath and Dr. Christian H. Bischof

Michigan State University (Honors College), East Lansing, MI, Sept. 1988-Aug. 1992.
B.S. in Computer Engineering, June 1991, with High Honors.
M.S. in Computer Science, May 1993.

Work Experience

Computer Scientist, Argonne National Laboratory, January 2003-present.

Assistant Computer Scientist, Argonne National Laboratory, November 1998-January 2003.

Enrico Fermi Fellow, Argonne National Laboratory, June 1997-November 1998.

Lab-grad, Argonne National Laboratory, Sept. 1995-May 1997.

Teaching Assistant, Department of Computer Science, University of Illinois, Sept. 1993-May 1994, Aug. 1995-May 1996.

DeVlieg Fellow, Case Center for CAE/CAM, Michigan State University, Dec. 1992-Aug. 1992.

Student Researcher, Argonne National Laboratory, June 1991-Dec. 1991, summers 1992-1994.

Undergraduate Research Assistant, Department of Computer Science, Michigan State University, Sept. 1988-Dec. 1988, Mar. 1990-June 1991.

Professional Activities

Professional societies: SIAM, IEEE, IEEE Computer Society, ACM.

PI, NSF-ITR Project ``ACTS'', 2002 -

PI, DOE-SciDAC Integrated Software Infrastructure Center ``PERC'', 2001 -

Organizing Committee, Fourth International Conference on Automatic Differentiation (AD2004).

Program Committee, Third International Conference on Automatic Differentiation (AD 2000).

Fellow, Argonne National Laboratory and University of Chicago Computation Institute, 2001-present.

Visiting Researcher, Department of Computer Science, University of Illinois at Urbana-Champaign, 1997-1999.

Editor, ACM SIGNUM Newsletter, 1997-1999.

Referee, SIAM books, Springer, Optimization Methods and Software, Scientific Programming, SIAM Review, Journal of Computational and Applied Mathematics.

Reviewer, NSF, DOE.

Event Supervisor, Illinois Science Olympiad, 1993-2000, National Science Olympiad, 1999.

Publications

Journal Articles and Chapters in Books
 

[1]
Christian Bischof, Alan Carle, George Corliss, Andreas Griewank, and Paul Hovland. ADIFOR: Generating derivative codes from Fortran programs. Scientific Programming, 1(1):11-29, 1992.

[2]
Paul Hovland, Christian Bischof, Donna Spiegelman, and Mario Casella. Efficient derivative codes through automatic differentiation and interface contraction: An application in biostatistics. SIAM Journal on Scientific Computing, 18(4):1056-1066, 1997.

[3]
Paul D. Hovland and Lois C. McInnes. Parallel simulation of compressible flow using automatic differentiation and PETSc. Parallel Computing, 27:503-519, 2001.

[4]
Paul Hovland, Bijan Mohammadi, and Christian Bischof. Automatic differentiation of Navier-Stokes computations. In Jeff Borggaard, John Burns, Eugene Cliff, and Scott Schreck, editors, Computational Methods for Optimal Design and Control, pages 265-284. Birkhäuser, Boston, 1998.

[5]
C. H. Bischof and P. D. Hovland. Automatic differentiation: Parallel computation. In C. A. Floudas and P. M. Pardalos, editors, Encyclopedia of Optimization, volume 1, pages 102-108. Kluwer Academic Publishers, 2001.

[6]
Jason Abate, Steve Benson, Lisa Grignon, Paul Hovland, Lois McInnes, and Boyana Norris. Integrating automatic differentiation with object-oriented toolkits for high-performance scientific computing. In George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoeët, and Uwe Naumann, editors, Automatic Differentiation of Algorithms: From Simulation to Optimization, pages 173-178. Springer, New York, 2002.

[7]
D. E. Keyes, P. D. Hovland, L. C. McInnes, and W. Samyono. Using automatic differentiation for second-order matrix-free methods in PDE-constrained optimization. In George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoeët, and Uwe Naumann, editors, Automatic Differentiation of Algorithms: From Simulation to Optimization, pages 35-50. Springer, New York, 2002.

[8]
Jong G. Kim and Paul D. Hovland. Sensitivity analysis and parameter tuning of a sea-ice model. In George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoeët, and Uwe Naumann, editors, Automatic Differentiation of Algorithms: From Simulation to Optimization, pages 91-98. Springer, New York, 2002.

[9]
Steven L. Lee and Paul D. Hovland. Sensitivity analysis using parallel ODE solvers and automatic differentiation in C: SensPVODE and ADIC. In George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët, and Uwe Naumann, editors, Automatic Differentiation of Algorithms: From Simulation to Optimization, pages 223-229. Springer, New York, 2002.

[10]
Boyana Norris, Satish Balay, Steve Benson, Lori Freitag, Paul Hovland, Lois McInnes, and Barry Smith. Parallel components for PDEs and optimization: Some issues and experiences. To appear as an invited paper in a special issue of Parallel Computing on Ädvanced Programming Environments for Parallel and Distributed Computing." Available via http://www.mcs.anl.gov/cca/papers/p932.pdf.

Refereed Conference Proceedings
 

[11]
Paul D. Hovland and Lionel M. Ni. A model for automatic data partitioning. In Alok N. Choudhary and P. Bruce Berra, editors, Proceedings of the 1993 International Conference on Parallel Processing, Volume II, pages 251-259. CRC Press, 1993.

[12]
Paul Hovland, Steve Altus, Christian Bischof, and Ilan Kroo. Using automatic differentiation with the quasi-procedural method for multidisciplinary design optimization. In Proceedings of the 34th AIAA Aerospace Sciences Meeting, AIAA Paper 96-0090. American Institute for Aeronautics and Astronomics, 1996.

[13]
Paul Hovland and Christian Bischof. Automatic differentiation of message-passing parallel programs. In Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing, pages 98-104, Los Alamitos, CA, 1998. IEEE Computer Society Press.

[14]
Paul Hovland, Boyana Norris, Lucas Roh, and Barry Smith. Developing a derivative-enhanced object-oriented toolkit for scientific computations. In Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing, pages 129-137. SIAM, Oct 1998.

[15]
Lori A. Freitag, William D. Gropp, Paul Hovland, Lois C. McInnes, and Barry F. Smith. Infrastructure and interfaces for large-scale numerical software. In H. R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '99), Las Vegas, Nevada, USA, June 28 - July 1, 1999, volume V, pages 2657-2663. CSREA Press, 1999.

[16]
C. H. Bischof, H. M. Bücker, and P. D. Hovland. On Combining Computational Differentiation and Toolkits for Parallel Scientific Computing. In A. Bode, T. Ludwig, W. Karl, and R. Wismüller, editors, Euro-Par 2000 - Parallel Processing, Proceedings of the 6th International Euro-Par Conference, Munich, Germany, August/September 2000, volume 1900 of Lecture Notes in Computer Science, pages 86-94, Berlin, 2000. Springer.

[17]
Boyana Norris and Paul Hovland. A distributed application server for automatic differentiation. Technical Report ANL/MCS-P856-1100, Mathematics and Computer Science Division, Argonne National Laboratory, 2000. Also available in Proceedings of IPDPS2001 (CDROM).

[18]
H. M. Bücker, K. R. Buschelman, and P. D. Hovland. A Matrix-Matrix Multiplication Approach to the Automatic Differentiation and Parallelization of Straight-Line Codes. In U. Brinkschulte, K.-E. Großpietsch, C. Hochberger, and E. W. Mayr, editors, Workshop Proceedings of the International Conference on Architecture of Computing Systems ARCS 2002, Germany, April 8-12, 2002, pages 203-210, Berlin, 2002. VDE Verlag.

[19]
Paul Hovland, Boyana Norris, and Barry Smith. Making automatic differentiation truly automatic: Coupling PETSc with ADIC. In P. M. A. Sloot, C. J. K. Tan, J. J. Dongarra, and A. G. Hoekstra, editors, Computational Science - ICCS 2002, Proceedings of the International Conference on Computational Science, Amsterdam, The Netherlands, April 21-24, 2002. Part II, volume 2330 of Lecture Notes in Computer Science, pages 1087-1096, Berlin, 2002. Springer.

[20]
Paul D. Hovland, Uwe Naumann, and Boyana Norris. An XML-based platform for semantic transformation of numerical programs. Preprint ANL/MCS-P950-0402, Mathematics and Computer Science Division, Argonne National Laboratory, 2002. To appear in Proceedings of Software Engineering and Applications (SEA 2002).

Other Conference Proceedings
 

[21]
Erik D. Goodman, William F. Punch, Min Pei, Richard J. Enbody, Chia-Shun Lai, and Paul Hovland. Genetic algorithms: New implementations and new applications. In Proceedings of Formal Design Methods for CAD, Tallinn, 1993.

[22]
W. F. Punch, E. D. Goodman, Min Pei, Lai Chia-Shun, P. Hovland, and R. Enbody. Further research on feature selection and classification using genetic algorithms. In Proceedings of the Fifth International Conference on Genetic Algorithms, pages 557-564. Morgan Kaufmann, 1993.

[23]
Paul Hovland, Christian Bischof, and Lucas Roh. Automatic differentiation of a parallel molecular dynamics application. In Proceedings of the 8th SIAM Conference on Parallel Processing for Scientific Computing (CDROM), Minneapolis, 1997. SIAM.

[24]
Elizabeth Dolan, Paul Hovland, Jorge Moré, Boyana Norris, and Barry Smith. Remote access to mathematical software. In Proceedings of Internet Accessible Mathematical Computation, a Workshop at ISSAC'2001, 2001. http://icm.mcs.kent.edu/research/iamc01proceedings.html.

[25]
Christian H. Bischof, Paul D. Hovland, and Boyana Norris. Implementation of automatic differentiation tools. In Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Portland, Oregon, January 14-15, 2002, pages 98-107, New York, 2002. ACM Press.

Organizational Activities

Organizer of a Theory Institute on ``Differentiation of Computational Approximations to Functions,'' Argonne, May 1998.

Organizer of two minisymposia, ``Automatic Differentiation and Parallelism'' and ``Component-based Software for High-Performance Computing,'' SIAM Annual Meeting, Atlanta, July 1999.

Organizer of a minisymposium, ``Multivectors for Scientific Computing,'' SIAM Annual Meeting, San Juan, PR, July 2000.

Organizer of two minisymposia, ``PDE-Constrained Optimization'' and ``High-Performance Algorithms,'' Tenth SIAM Conference on Parallel Processing for Scientific Computing, Portsmouth, VA, March 2001.

Organizer of an invited minisymposium, ``Frontiers of Optimization,'' SIAM 50th Anniversary and 2002 Annual Meeting, Philadelphia, July 2002.

Presentations

Invited Conference Presentations
 
``Current status and future trends in computational differentiation.'' Minisymposium organized by M. Berz. 1998 SIAM Annual Meeting, Toronto, CA, July 1998.

``Challenges and Opportunities in Using Automatic Differentiation with Object-Oriented Toolkits for Scientific Computing.'' First Sandia Workshop on Large Scale PDE-Constrained Optimization, Santa Fe, April 2001.

``Automatic Differentiation as a Tool for Scientific Computing,'' panelist for a special session on ``new software techniques for scientific computing.'' Scicade01, Vancouver, July 2001.

``Automatic Differentiation: Tools and Techniques.'' ISCR Sensitivity Analysis Workshop, Livermore, August 2001.

``Truly Automatic Automatic Differentiation.'' Minisymposium organized by C. Bischof and A. Griewank. First SIAM-EMS Conference ``Applied Mathematics in our Changing World,'' Berlin, Sept. 2001.

``Implementation of Automatic Differentiation Tools.'' 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02) Portland, Oregon, USA, January 14-15, 2002, PEPM, January 2002.

``Automating Automatic Differentiation through Domain Decomposition.'' Minisymposium organized by D. Keyes. Fourteenth International Conference on Domain Decomposition Methods, Cocoyoc, MX, January 2002.

``Automatic Differentiation and Large-Scale Optimization.'' Minisymposium organized by J. Moré. SIAM Conference on Optimization, Toronto, May 2002.

   Invited Seminars
 
``Automatic Differentiation Tools.'' CEMRACS 97 tutorial session, Orsay, France, July 1997.

``Effective use of automatic differentiation tools'' and ``An overview of PETSc.'' CEMRACS 97 workshop, Marseilles, France, Aug. 1993.

``Accelerated conversion of an explicit solver to an implicit solver using tools for scientific computing'' and ``Automatic differentiation and parallel computation.'' CEMRACS 97 follow-up, Orsay, France, Feb. 1998.

``An overview of automatic differentiation.'' University of Texas at Austin, Feb. 1998.

``Automatic differentiation of Navier-Stokes computations.'' Boeing, Apr. 1998 and ICASE, May 1998.

``Automatic Differentiation and Toolkits for Scientific Computing.'' INRIA, Sept. 1998.

``Automatic Differentiation: A Tool for Computational Science.'' Lawrence Livermore National Laboratory, Feb. 1999.

``An Overview of Current Automatic Differentiation Research.'' Northwestern University, May 2000.

``PETSc and TAO: Toolkits for Scientific Computing'' and ``Component Architectures for High-performance Scientific Computing.'' Aachen University of Technology, July 2000.

``Foundations of Automatic Differentiation.'' Old Dominion University and the College of William & Mary, Sept. 2000.

``Foundations of Automatic Differentiation.'' Worcester Polytechnic Institute, Nov. 2001.

``Automatic Differentiation Tools and CFD Applications.'' Los Alamos National Laboratory, Jan. 2001.

``Foundations of Automatic Differentiation.'' University of Chicago, CI Fellow talk, Jan. 2001.

``Application Services for Scientific Computing.'' Aachen University of Technology, Feb. 2001.

   Contributed Talks and Seminars
 
``A model for automatic data partitioning.'' ICPP '93, St. Charles, IL, Aug. 1993.

``Using automatic differentiation with the quasi-procedural method for multidisciplinary design optimization.'' 34th AIAA Aerospace Sciences Meeting, Reno, NV, Jan. 1996.

``Automatic differentiation of a parallel molecular dynamics application.'' 8th SIAM Conf. on Parallel Processing for Scientific Computing, Minneapolis, MN, Mar. 1997.

``Automatic differentiation of Navier-Stokes computations.'' CODAC '97, Arlington, VA, Oct. 1997.

``Automatic differentiation for message-passing parallel programs.'' 12th IPPS, Orlando, FL, Apr. 1998.

``ADIFOR & ADIC: Tools for Automatic Differentiation.'' SciTools 98, Oslo, Sept. 1998.

``Numerical Algorithms for Sensitivity Computations,'' Predictability Workshop, Los Alamos National Laboratory, 1999.

``Infrastructure and Interfaces for Large-Scale Numerical Software.'' International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, July 1999.

``Automatic Differentiation and Parallelism.'' SIAM Annual Meeting, Atlanta, July 1999.

``Automatic Differentiation and Multivectors.'' SIAM Annual Meeting, San Juan, PR, July 2000.

``Integrating AD with Object-oriented Toolkits for Scientific Computing'' and ``Numerical Algorithms for Sensitivity Computations.'' AD2000, Nice, June 2000.

``Automatic Differentiation: Tools and Techniques.'' Boeing, July 2001.

``Automating Automatic Differentiation: Coupling AD and PETSc.'' Seventh Copper Mountain Conference on Iterative Methods, Copper Mountain, CO, March 2002.

``Automating Automatic Differentiation: Coupling AD and PETSc (and TAO).'' Second International Conference on Computational Science, Workshop on Automatic Differentiation and Applications, Amsterdam, April 2002.

File translated from TEX by TTH, version 2.51.
On 18 Dec 2003, 11:22.