Fast and Reliable Program Synthesis via User Interaction

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 11, 2023
Source ID
10.1109/ase56229.2023.00129

Entities

People

  • Chenglong Wang
  • Osbert Bastani
  • Xinyu Wang
  • Yanju Chen
  • Yu Feng

Organizations

  • Defense Advanced Research Projects Agency
  • Microsoft
  • National Science Foundation
  • University of Michigan
  • University of Pennsylvania