@inproceedings{peleg2023codesign,
author = "Peleg, Hila",
title = "{Program Synthesis Co-Design}",
year = "2023",
month = "3",
maintitle = {PLATEAU 2023: 13th annual workshop on the intersection of HCI and PL},
url = "https://kilthub.cmu.edu/articles/conference_contribution/Program_Synthesis_Co-Design/22277329",
doi = "10.1184/R1/22277329.v1"
}