@article{goldstein2025search,
title={The Search for Constrained Random Generators},
author={Goldstein, Harrison and Peleg, Hila and Torczon, Cassia and Sainati, Daniel and Lampropoulos, Leonidas and Pierce, Benjamin C},
year = {2026},
issue_date = {June 2026},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {9},
number = {PLDI},
url = {https://doi.org/10.1145/3808329},
doi = {10.1145/3808329},
journal = {Proc. ACM Program. Lang.},
month = jun,
}