@inproceedings{itzhaky2021cyclic,
author = {Itzhaky, Shachar and Peleg, Hila and Polikarpova, Nadia and Rowe, Reuben N. S. and Sergey, Ilya},
title = {Cyclic Program Synthesis},
year = {2021},
publisher = {Association for Computing Machinery},
doi = {10.1145/3453483.3454087},
booktitle = {Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
pages = {944–959},
numpages = {16},
location = {Virtual, Canada},
series = {PLDI 2021}
}