Xbayes
Stc
ComputingScienceColloquium
Date: October 16
Time: 11am
Room: BBL-505
Speaker: Karina Olmos
Title: Xbayes: An optimizing component for the Autobayes Program Synthesis System
Abstract
Autobayes is an automatic program synthesis system for data
analysis problems. Its input is a declarative problem description
in a form of statistical model. It produces well documented code.
The code derivation process uses a schema-based approach (i.e. template)
and a set of constraints. Due to this type of program
derivation, the generated code has different features if you will
compare it with code written by humans.
In the talk, I will present Xbayes, as an separated optimizing component
that aims to optimize Autobayes generated code and keep documentation
synchronized with the code.
