mcmc-synthesis

Version 0.1.2.2 revision 0 uploaded by TikhonJelvis.

Package meta

Synopsis
MCMC applied to probabilistic program synthesis
Description

A simple implementation of the ideas from "Stochastic Superoptimization" which uses a variant of Markov Chain Monte Carlo (MCMC) to synthesize programs based on a set of test cases. "Stochastic Superoptimization": http://cs.stanford.edu/people/eschkufz/research/asplos291-schkufza.pdf

Author
Jessica Taylor <jessica.liu.taylor@gmail.com>, Tikhon Jelvis <tikhon@jelv.is>
Bug reports
n/a
Category
Language
Copyright
n/a
Homepage
n/a
Maintainer
Jessica Taylor <jessica.liu.taylor@gmail.com>
Package URL
n/a
Stability
n/a

Components