Cyclic program synthesis

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey. Cyclic program synthesis. In Stephen N. Freund, Eran Yahav, editors, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211. pages 944-959, ACM, 2021. [doi]

Authors

Shachar Itzhaky

This author has not been identified. Look up 'Shachar Itzhaky' in Google

Hila Peleg

This author has not been identified. Look up 'Hila Peleg' in Google

Nadia Polikarpova

This author has not been identified. Look up 'Nadia Polikarpova' in Google

Reuben N. S. Rowe

This author has not been identified. Look up 'Reuben N. S. Rowe' in Google

Ilya Sergey

This author has not been identified. Look up 'Ilya Sergey' in Google