The mcmc-synthesis package

[Tags: gpl, library]

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


Properties

Versions0.1.0.4, 0.1.0.5, 0.1.1.0, 0.1.1.1, 0.1.2.1, 0.1.2.2
Dependenciesbase (>3 && <=5), MonadRandom (==0.1.*)
LicenseGPL-3
AuthorJessica Taylor <jessica.liu.taylor@gmail.com>, Tikhon Jelvis <tikhon@jelv.is>
MaintainerJessica Taylor <jessica.liu.taylor@gmail.com>
CategoryLanguage
Source repositoryhead: git clone git://github.com/jacobt/mcmc-synthesis.git
Upload dateSun Apr 13 00:44:24 UTC 2014
Uploaded byTikhonJelvis
Downloads300 total (32 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees