trishullab / bayou

System for synthesizing Java API idioms, powered by Neural Sketch Learning

Bayou

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.

Requirements

• JDK 1.8
• Python3 (Tested with 3.5.1)
• Tensorflow (Tested with 1.4)
• scikit-learn (Tested with 0.19)

Compiling and Running Bayou from Source on Ubuntu/Mac

1.) Download source from GitHub:

git clone https://github.com/capergroup/bayou.git

2.) Install Dependencies

cd bayou/tool_files/build_scripts
sudo ./install_dependencies.sh

3.) Compile Bayou

./build.sh

4.) Run Bayou

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.