Benchmarking domain-specific compiler optimizations for variational forms

ACM Transactions on Mathematical Software

Volumn 35, Issue 2, 2008, Pages 1-18

  Kirby, Robert C ^a   Logg, Anders ^b  

^a TEXAS TECH UNIVERSITY   (United States)

^b SIMULA RESEARCH LABORATORY   (Norway)

Author keywords

Compiler; Complexity reducing relations; FErari; FFC; Finite element method; Optimization; Variational form

Indexed keywords

COMPUTER SOFTWARE; FINITE ELEMENT METHOD; OPTIMIZATION; SOFTWARE ENGINEERING;

COMPILER; COMPILER OPTIMIZATIONS; COMPLEXITY-REDUCING RELATIONS; DOMAIN SPECIFIC; FERARI; LOCAL OPERATIONS; SPARSE MATRICES; VARIATIONAL FORM;

PROGRAM COMPILERS;

EID: 48849098749     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/1377612.1377614     Document Type: Article

References (20)

1. BANGERTH, W., HARTMANN, R., AND KANSCHAT, G. 2006. deal.II differential equations analysis library. http://www.dealii.org/.
2. DONGARRA, J. J., CROZ, J. D., HAMMARLING, S., AND HANSON, R. J. 1988. An extended set of FORTRAN basic linear algebra subprograms. ACM Trans. Math Softw. 14, 1 (Mar.), 1-17.
3. HOFFMAN, J., JANSSON, J., LOGG, A., AND WELLS, G. N. 2006a. DOLFIN. http://www.fenics.org/dolfin/.
4. HOFFMAN, J., JANSSON, J., LOGG, A., AND WELLS, G. N. 2006b. DOLFIN User Manual.
5. HOFFMAN, J. AND LOGG, A. 2002. DOLFIN: Dynamic object oriented library for finite element computation. Tech. Rep. 2002-06, Chalmers Finite Element Center Preprint Series.
6. HUGHES, T. J. R. 1987. The Finite Element Method: Linear Static and Dynamic Finite Element Analysis. Prentice-Hall.
7. KIRBY, R. C., KNEPLEY, M. G., LOGG, A., AND SCOTT, L. R. 2005. Optimizing the evaluation of finite element matrices. SIAM J. Sci. Comput. 27, ., 741-758.
8. KIRBY, R. C., KNEPLEY, M. G., AND SCOTT, L. R. 2004. Evaluation of the action of finite element operators. Tech. Rep. TR-2004-07, University of Chicago, Department of Computer Science.
9. KIRBY, R. C. AND LOGG, A. 2006. A compiler for variational forms. ACM Trans. Math. Softw. 32, ., 417-444.
10. KIRBY, R. C. AND LOGG, A. 2007. Efficient compilation of a class of variational forms. ACMTrans. Math. Softw. 33, 3.
11. KIRBY, R. C., LOGG, A., SCOTT, L. R., AND TERREL, A. R. 2006. Topological optimization of the evaluation of finite element matrices. SIAM J. Sci. Comput. 28, ., 224-240.
12. KIRBY, R. C. AND SCOTT, L. R. 2007. Geometric optimization of the evaluation of finite element matrices. SIAM J. Sci. Comput. (to appear).
13. LANGTANGEN, H. P. 1999. Computational Partial Differential Equations - Numerical Methods and Diffpack Programming. Lecture Notes in Computational Science and Engineering. Springer.
14. LOGG, A. 2007. FFC. http://www.fenics.org/ffc/.
15. LOGG, A., ØLGAARD, K., ROGNES, M. E., WELLS, G. N., JANSSON, J., KIRBY, R. C., KNEPLEY, M. G., LINDBO, D., AND SKAVHAUG, O. 2007. The FEniCS project. http://fenics.org/.
16. LONG, K. 2003. Sundance, a rapid prototyping tool for parallel PDE-constrained optimization. In Large-Scale PDE-Constrained Optimization. Lecture notes in Computational Science and Engineering. Springer.
17. LONG, K. 2004. Sundance 2.0 tutorial. Tech. Rep. TR-2004-09, Sandia National Laboratories.
18. LONG, K. 2006. Sundance. http://software.sandia.gov/sundance/.
19. PÜSCHEL, M., MOURA, J. M. F., JOHNSON, J., PADUA, D., VELOSO, M., SINGER, B. W., XIONG, J., FRANCHETTI, F., GAČIĆ, A., VORONENKO, Y., CHEN, K., JOHNSON, R. W., AND RIZZOLO, N. 2005. SPIRAL: Code generation for DSP transforms. Proc. IEEE, SI Program Gener. Optim. Adapt. 93, ., 232-275.
20. ZIENKIEWICZ, O. C., TAYLOR, R. L., AND ZHU, J. Z. 2005. The Finite Element Method - Its Basis and Fundamentals, 6th ed. Elsevier.