@hackage / mcmc-synthesis

MCMC applied to probabilistic program synthesis

Latest0.1.2.2

About

Metadata

  • Last updated , by TikhonJelvis
  • License GPL-3.0-only

  • Maintained by: Jessica Taylor <jessica.liu.taylor@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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