Fast and Reliable Program Synthesis via User Interaction

Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng 0001. Fast and Reliable Program Synthesis via User Interaction. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023. pages 963-975, IEEE, 2023. [doi]

@inproceedings{ChenWWBF23,
  title = {Fast and Reliable Program Synthesis via User Interaction},
  author = {Yanju Chen and Chenglong Wang and Xinyu Wang and Osbert Bastani and Yu Feng 0001},
  year = {2023},
  doi = {10.1109/ASE56229.2023.00129},
  url = {https://doi.org/10.1109/ASE56229.2023.00129},
  researchr = {https://researchr.org/publication/ChenWWBF23},
  cites = {0},
  citedby = {0},
  pages = {963-975},
  booktitle = {38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023},
  publisher = {IEEE},
  isbn = {979-8-3503-2996-4},
}