@inproceedings{DBLP:conf/sc/XuKS14,
  author       = {Zhilei Xu and
                  Shoaib Kamil and
                  Armando Solar{-}Lezama},
  title        = {{MSL:} {A} Synthesis Enabled Language for Distributed Implementations},
  booktitle    = {International Conference for High Performance Computing, Networking,
                  Storage and Analysis, {SC} 2014, New Orleans, LA, USA, November 16-21,
                  2014},
  pages        = {311--322},
  year         = {2014},
  crossref     = {DBLP:conf/sc/2014},
  url          = {https://doi.org/10.1109/SC.2014.31},
  doi          = {10.1109/SC.2014.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/XuKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FJE3eDqK4etCBiDz5","bibbaseid":"xu-kamil-solarlezama-mslasynthesisenabledlanguagefordistributedimplementations-2014","downloads":0,"creationDate":"2015-05-13T06:23:45.253Z","title":"MSL: A Synthesis Enabled Language for Distributed Implementations","author_short":["Xu, Z.","Kamil, S.","Solar-Lezama, A."],"year":2014,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Zhilei"],"propositions":[],"lastnames":["Xu"],"suffixes":[]},{"firstnames":["Shoaib"],"propositions":[],"lastnames":["Kamil"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"MSL: A Synthesis Enabled Language for Distributed Implementations","booktitle":"International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2014, New Orleans, LA, USA, November 16-21, 2014","pages":"311–322","year":"2014","crossref":"DBLP:conf/sc/2014","url":"https://doi.org/10.1109/SC.2014.31","doi":"10.1109/SC.2014.31","timestamp":"Fri, 24 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/sc/XuKS14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sc/XuKS14,\n author = {Zhilei Xu and\n Shoaib Kamil and\n Armando Solar{-}Lezama},\n title = {{MSL:} {A} Synthesis Enabled Language for Distributed Implementations},\n booktitle = {International Conference for High Performance Computing, Networking,\n Storage and Analysis, {SC} 2014, New Orleans, LA, USA, November 16-21,\n 2014},\n pages = {311--322},\n year = {2014},\n crossref = {DBLP:conf/sc/2014},\n url = {https://doi.org/10.1109/SC.2014.31},\n doi = {10.1109/SC.2014.31},\n timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/sc/XuKS14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Xu, Z.","Kamil, S.","Solar-Lezama, A."],"key":"DBLP:conf/sc/XuKS14","id":"DBLP:conf/sc/XuKS14","bibbaseid":"xu-kamil-solarlezama-mslasynthesisenabledlanguagefordistributedimplementations-2014","role":"author","urls":{"Paper":"https://doi.org/10.1109/SC.2014.31"},"metadata":{"authorlinks":{"solar-lezama, a":"https://groups.csail.mit.edu/cap/"}},"downloads":0},"search_terms":["msl","synthesis","enabled","language","distributed","implementations","xu","kamil","solar-lezama"],"keywords":[],"authorIDs":["GNDG7jN4NcBAe8MZj"],"dataSources":["rGuy4xgsrB7zfgooW","aWDTff4xwjWuNyMM5"]}