@hackage mcmc-synthesis0.1.2.2

MCMC applied to probabilistic program synthesis

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

  • Installation

  • Dependencies (0)

  • Dependents (0)