@article{barke2020probe,
  title={Just-in-Time Learning for Bottom-up Enumerative Synthesis},
  author={Barke, Shraddha and Peleg, Hila and Polikarpova, Nadia},
  journal={Proceedings of the ACM on Programming Languages},
  volume={4},
  number={OOPSLA},
  year={2020},
  month={11},
  publisher={ACM New York, NY, USA},
  doi={10.1145/3428295},
  articleno = {227},
  numpages = {29}
}