MSL: A Synthesis Enabled Language for Distributed Implementations. Xu, Z., Kamil, S., & Solar-Lezama, A. In International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2014, New Orleans, LA, USA, November 16-21, 2014, pages 311–322, 2014.
MSL: A Synthesis Enabled Language for Distributed Implementations [link]Paper  doi  bibtex   
@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}
}

Downloads: 0