XBayes is an optimizer for the AutoBayes system (by NASA).
The optimizer is an extension to the AutoBayes system, it communicates
with the system through a Prolog-ATerm bridge and it operates on an
intermediate format (called ABIR).
The optimizations implemented are mostly loop optimizations (loop fusion,
invariant expression elimination, sum simplification amongst others),
specified as rewriting strategies (the Stratego way).
The talk will explain a system overview, dependence analysis (used in loop
optimizations for program equivalence) and a number of optimizations.