Efficient compilation of a class of variational forms

ACM Transactions on Mathematical Software

Volumn 33, Issue 3, 2007, Pages

  Kirby, Robert C ^a,c   Logg, Anders ^b  

^a UNIVERSITY OF CHICAGO   (United States)

^b SIMULA RESEARCH LABORATORY   (Norway)

^c THE UNIVERSITY OF CHICAGO   (United States)

Author keywords

Automation; BLAS; Compiler; Finite element; Granularity; Loop hoisting; Monomials; Variational form

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTATIONAL GEOMETRY; FINITE ELEMENT METHOD; PROGRAM COMPILERS; TENSORS;

GRANULARITY; LOOP HOISTING; MONOMIALS; MULTILINEAR VARIATIONAL FORMS;

VARIATIONAL TECHNIQUES;

EID: 34548709708     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/1268769.1268771     Document Type: Article

References (28)

1. BAGHERI, B. AND SCOTT, L. R. 2003. Analysa. http://people.cs.uchicago.edu/~ridg/al/aa.html.
2. BALAY, S., BUSCHELMAN, K., EIJKHOUT, V., GROPP, W. D., KAUSHIK, D., KNEPLEY, M. G., MCINNES, L. C., SMITH, B. F., AND ZHANG, H. 2004. PETSc Users Manual. Tech. Rep. ANL-95/11 - Revision 2.1.5, Argonne National Laboratory.
3. BALAY, S., BUSCHELMAN, K., GROPP, W. D., KAUSHIK, D., KNEPLEY, M. G., MCINNES, L. C., SMITH, B. F., AND ZHANG, H. 2006. PETSc. http://www.mcs.anl.gov/petsc/.
4. BALAY, S., GROPP, W. D., MCINNES, L. C., AND SMITH, B. F. 1997. Efficient management of parallelism in object oriented numerical software libraries. In Modern Software Tools in Scientific Computing, E. Arge, A. M. Bruaset, and H. P. Langtangen, Eds. Birkhäuser Press, 163-202.
5. BANGERTH, W., HARTMANN, R., AND KANSCHAT, G. 2006. deal.II Differential Equations Analysis Library. http://www.dealii.org/.
6. BRENNER, S. C. AND SCOTT, L. R. 1994. The Mathematical Theory of Finite Element Methods. Springer-Verlag.
7. CIARLET, P. G. 1976. Numerical Analysis of the Finite Element Method. Les Presses de l'Universite de Montreal.
8. DULAR, P. AND GEUZAINE, C. 2006. GetDP: a General environment for the treatment of Discrete Problems. http://www.geuz.org/ getdp/.
9. ERIKSSON, K., ESTEP, D., HANSBO, P., AND JOHNSON, C. 1996. Computational Differential Equations. Cambridge University Press.
10. ERIKSSON, K., ESTEP, D., AND JOHNSON, C. 2003. Applied Mathematics: Body and Soul. Vol. III. Springer-Verlag.
11. HOFFMAN, J., JANSSON, J., JOHNSON, C., KNEPLEY, M. G., KIRBY, R. C., LOGG, A., SCOTT, L. R., AND WELLS, G.N. 2006. FEniCS. http://www.fenics.org/.
12. HOFFMAN, J., JANSSON, J., LOGG, A., AND WELLS, G. N. 2006. DOLFIN. http://www.fenics.org/dolfin/.
13. HOFFMAN, J. AND JOHNSON, C. 2004. Encyclopedia of Computational Mechanics, Volume 3 (Chapter 7, Computability and Adaptivity in CFD). John Wiley.
14. HUGHES, T. J. R. 1987. The Finite Element Method: Linear Static and Dynamic Finite Element Analysis. Prentice-Hall.
15. KARNIADAKIS, G. E. AND SHERWIN, S. J. 1999. Spectral / Hp Element Methods for CFD. Numerical Mathematics and Scientific Computation. Oxford University Press, New York.
16. KIRBY, R. C. 2004. FIAT: A new paradigm for computing finite element basis functions. ACM Trans. Math. Softw. 30, 502-516.
17. KIRBY, R. C. 2006a. FIAT. http://www.fenics.org/fiat/.
18. KIRBY, R. C. 2006b. Optimizing FIAT with Level 3 BLAS. ACM Trans. Math. Softw.. To appear.
19. 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, 3, 741-758.
20. 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.
21. KIRBY, R. C. AND LOGG, A. 2006. A compiler for variational forms. ACM Trans. Math. Softw.. To appear.
22. 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, 1, 224-240.
23. LANGTANGEN, H. P. 1999. Computational Partial Differential Equations - Numerical Methods and Diffpack Programming. Lecture Notes in Computational Science and Engineering. Springer-Verlag.
24. LOGG, A. 2004. Automation of computational mathematical modeling. Ph.D. thesis, Chalmers University of Technology, Sweden.
25. LOGG, A. 2006. FFC. http://www.fenics.org/ffc/.
26. 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-Verlag.
27. OLIPHANT, T. ET AL. 2006. Python Numeric. URL: http://numeric.scipy.org/.
28. PIRONNEAU, O., HECHT, F., HYARIC, A. L., AND OHTSUKA, K. 2006. FreeFEM. http://www.freefem.org/.