@Article{Kirby:2008:BDC,
  author =       "Robert C. Kirby and Anders Logg",
  title =        "Benchmarking Domain-specific Compiler Optimizations for Variational Forms",
  journal =      "{ACM} Transactions on Mathematical Software",
  volume =       "35",
  number =       "2",
  month =        jul,
  year =         "2008",
  pages =        "10:1--10:18",
  URL =          "http://doi.acm.org/10.1145/1377612.1377614",
  abstract =     "We examine the effect of using complexity-reducing relations [?] to generate optimized code for the
                 evaluation of finite element variational forms. The optimizations are implemented in a prototype
                 code named FErari, which has been integrated as an optimizing backend to the FEniCS Form Compiler, FFC. 
                 In some cases, FErari provides very little speedup, while in other cases, we obtain reduced local 
                 operation counts of a factor of as much as 7.9 and speedups for the assembly of the global sparse matrix 
                 of as much as a factor of 2.8.",
}