@inproceedings{OOPSLA-2016-Itzhaky0SYLLC,
	author        = "Shachar Itzhaky and Rohit Singh 0002 and Armando Solar-Lezama and Kuat Yessenov and Yongquan Lu and Charles E. Leiserson and Rezaul Alam Chowdhury",
	booktitle     = "{Proceedings of the 31st Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/2983990.2983993",
	isbn          = "978-1-4503-4444-9",
	pages         = "145--164",
	publisher     = "{ACM}",
	title         = "{Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations}",
	year          = 2016,
}