Jingmei Hu, Stephen Chong, Margo I. Seltzer. Parallel Assembly Synthesis. In Juliana Bowles, Harald Søndergaard, editors, Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings. Volume 14919 of Lecture Notes in Computer Science, pages 3-26, Springer, 2024. [doi]
@inproceedings{HuCS24,
title = {Parallel Assembly Synthesis},
author = {Jingmei Hu and Stephen Chong and Margo I. Seltzer},
year = {2024},
doi = {10.1007/978-3-031-71294-4_1},
url = {https://doi.org/10.1007/978-3-031-71294-4_1},
researchr = {https://researchr.org/publication/HuCS24},
cites = {0},
citedby = {0},
pages = {3-26},
booktitle = {Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings},
editor = {Juliana Bowles and Harald Søndergaard},
volume = {14919},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-71294-4},
}