Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Graphical models for machine learning and digital communication
Graphical models for machine learning and digital communication
Reuse technologies and their niches
Proceedings of the 21st international conference on Software engineering
Learning in graphical models
Towards automated synthesis of data mining programs
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
Octave: A Free, High-Level Language for Mathematics
Linux Journal
Neural Networks for Pattern Recognition
Neural Networks for Pattern Recognition
Machine Learning
Automated Software Engineering
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Planware ¾ Domain-Specific Synthesis of High-Performance Schedulers
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Theory and Practice of Logic Programming - Prolog Systems
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Automated Software Engineering
Automatic generation of hypertext system repositories: a model driven approach
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Automating Traceability for Generated Software Artifacts
Proceedings of the 19th IEEE international conference on Automated software engineering
Combinatorial sketching for finite programs
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Proceedings of the 5th international conference on Generative programming and component engineering
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
Sketching concurrent data structures
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Explaining Verification Conditions
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Generating customized verifiers for automatically generated code
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Embedded Probabilistic Programming
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A concurrent automatic programming system
Proceedings of the 46th Annual Southeast Regional Conference on XX
Tool Support for Parametric Analysis of Large Software Simulation Systems
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Intelligent software engineering tools for NASA's crew exploration vehicle
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Monolingual probabilistic programming using generalized coroutines
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Automatically finding the control variables for complex system behavior
Automated Software Engineering
Derivational software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Synthesis of loop-free programs
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Parallel programming with inductive synthesis
HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Analysis of air traffic track data with the autobayes synthesis system
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Special issue on repeatable results in software engineering prediction
Empirical Software Engineering
Certifiable program generation
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Formal testing for separation assurance
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Data analysis is an important scientific task which is required whenever information needs to be extracted from raw data. Statistical approaches to data analysis, which use methods from probability theory and numerical analysis, are well-founded but difficult to implement: the development of a statistical data analysis program for any given application is time-consuming and requires substantial knowledge and experience in several areas. In this paper, we describe AUTOBAYES, a program synthesis system for the generation of data analysis programs from statistical models. A statistical model specifies the properties for each problem variable (i.e. observation or parameter) and its dependencies in the form of a probability distribution. It is a fully declarative problem description, similar in spirit to a set of differential equations. From such a model, AUTOBAYES generates optimized and fully commented CF;C++ code which can be linked dynamically into the Matlab and Octave environments. Code is produced by a schema-guided deductive synthesis process. A schema consists of a code template and applicability constraints which are checked against the model during synthesis using theorem proving technology. AUTOBAYES augments schema-guided synthesis by symbolic-algebraic computation and can thus derive closed form solutions for many problems. It is well-suited for tasks like estimating best-fitting model parameters for the given data. Here, we describe AUTOBAYES's system architecture, in particular the schema-guided synthesis kernel. Its capabilities are illustrated by a number of advanced textbook examples and benchmarks.