Parallel Assembly Synthesis

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]

Authors

Jingmei Hu

This author has not been identified. Look up 'Jingmei Hu' in Google

Stephen Chong

This author has not been identified. It may be one of the following persons: Look up 'Stephen Chong' in Google

Margo I. Seltzer

This author has not been identified. Look up 'Margo I. Seltzer' in Google