Bayou is a data-driven program synthesis system for Java API idioms that uses the novel technique of Neural Sketch Learning.
To learn more, click here for the ICLR 2018 paper on Bayou. Click here for the PLDI 2018 tutorial slides on Bayou.
Try Bayou on your browser! Visit www.askbayou.com.
git clone https://github.com/capergroup/bayou.git
cd bayou/tool_files/build_scripts
sudo ./install_dependencies.sh
./build.sh
cd out/
./start_bayou.sh &
Wait until you see:
===================================
Bayou Ready
===================================
then execute:
./synthesize.sh
You should see as output several programs separated by the characters
---------- BEGIN PROGRAM ----------
To run Bayou on some of the provided examples, execute:
./synthesize.sh example_inputs/<Program.java>
where Program.java
is the name of the example program.