James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova. Searching entangled program spaces. Proceedings of the ACM on Programming Languages, 6(ICFP):23-51, 2022. [doi]
@article{KoppelGVSP22, title = {Searching entangled program spaces}, author = {James Koppel and Zheng Guo and Edsko de Vries and Armando Solar-Lezama and Nadia Polikarpova}, year = {2022}, doi = {10.1145/3547622}, url = {https://doi.org/10.1145/3547622}, researchr = {https://researchr.org/publication/KoppelGVSP22}, cites = {0}, citedby = {0}, journal = {Proceedings of the ACM on Programming Languages}, volume = {6}, number = {ICFP}, pages = {23-51}, }