@inproceedings{DBLP:conf/oopsla/Itzhaky0SYLLC16,
  author       = {Shachar Itzhaky and
                  Rohit Singh and
                  Armando Solar{-}Lezama and
                  Kuat Yessenov and
                  Yongquan Lu and
                  Charles E. Leiserson and
                  Rezaul Alam Chowdhury},
  title        = {Deriving divide-and-conquer dynamic programming algorithms using solver-aided
                  transformations},
  booktitle    = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
                  October 30 - November 4, 2016},
  pages        = {145--164},
  year         = {2016},
  crossref     = {DBLP:conf/oopsla/2016},
  url          = {https://doi.org/10.1145/2983990.2983993},
  doi          = {10.1145/2983990.2983993},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/Itzhaky0SYLLC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"AjrbrLNcz9sPD7mBN","bibbaseid":"itzhaky-singh-solarlezama-yessenov-lu-leiserson-chowdhury-derivingdivideandconquerdynamicprogrammingalgorithmsusingsolveraidedtransformations-2016","author_short":["Itzhaky, S.","Singh, R.","Solar-Lezama, A.","Yessenov, K.","Lu, Y.","Leiserson, C. E.","Chowdhury, R. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Shachar"],"propositions":[],"lastnames":["Itzhaky"],"suffixes":[]},{"firstnames":["Rohit"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]},{"firstnames":["Kuat"],"propositions":[],"lastnames":["Yessenov"],"suffixes":[]},{"firstnames":["Yongquan"],"propositions":[],"lastnames":["Lu"],"suffixes":[]},{"firstnames":["Charles","E."],"propositions":[],"lastnames":["Leiserson"],"suffixes":[]},{"firstnames":["Rezaul","Alam"],"propositions":[],"lastnames":["Chowdhury"],"suffixes":[]}],"title":"Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations","booktitle":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016","pages":"145–164","year":"2016","crossref":"DBLP:conf/oopsla/2016","url":"https://doi.org/10.1145/2983990.2983993","doi":"10.1145/2983990.2983993","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/oopsla/Itzhaky0SYLLC16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/oopsla/Itzhaky0SYLLC16,\n author = {Shachar Itzhaky and\n Rohit Singh and\n Armando Solar{-}Lezama and\n Kuat Yessenov and\n Yongquan Lu and\n Charles E. Leiserson and\n Rezaul Alam Chowdhury},\n title = {Deriving divide-and-conquer dynamic programming algorithms using solver-aided\n transformations},\n booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on\n Object-Oriented Programming, Systems, Languages, and Applications,\n {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,\n October 30 - November 4, 2016},\n pages = {145--164},\n year = {2016},\n crossref = {DBLP:conf/oopsla/2016},\n url = {https://doi.org/10.1145/2983990.2983993},\n doi = {10.1145/2983990.2983993},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/oopsla/Itzhaky0SYLLC16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Itzhaky, S.","Singh, R.","Solar-Lezama, A.","Yessenov, K.","Lu, Y.","Leiserson, C. E.","Chowdhury, R. A."],"key":"DBLP:conf/oopsla/Itzhaky0SYLLC16","id":"DBLP:conf/oopsla/Itzhaky0SYLLC16","bibbaseid":"itzhaky-singh-solarlezama-yessenov-lu-leiserson-chowdhury-derivingdivideandconquerdynamicprogrammingalgorithmsusingsolveraidedtransformations-2016","role":"author","urls":{"Paper":"https://doi.org/10.1145/2983990.2983993"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW","DAnxudWukpMXCtWy8"],"keywords":[],"search_terms":["deriving","divide","conquer","dynamic","programming","algorithms","using","solver","aided","transformations","itzhaky","singh","solar-lezama","yessenov","lu","leiserson","chowdhury"],"title":"Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations","year":2016}