AutoBayes is a program synthesis for the domain of statistical data analysis. Stratego/XT is used in combination with AutoBayes to (1) provide concrete syntax for schemas used in synthesis and (2) to optimize synthesized programs. * http://ase.arc.nasa.gov/autobayes/ : AutoBayes website, including webinterface * PrologTools : used to provide concrete syntax for schemas. * Paper: [[Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax]]