Inproceedings,
Synthesizing optimal collective algorithms.
Z. Cai, Z. Liu, S. Maleki, M. Musuvathi, T. Mytkowicz, J. Nelson, and O. Saarikivi.PPoPP, page 62-75. ACM, (2021)
Meta data
- BibTeX key
- conf/ppopp/CaiLMMMNS21
- entry type
- inproceedings
- booktitle
- PPoPP
- year
- 2021
- pages
- 62-75
- publisher
- ACM
- crossref
- conf/ppopp/2021
- ee
- https://doi.org/10.1145/3437801.3441620
- isbn
- 978-1-4503-8294-6
- url
- http://dblp.uni-trier.de/db/conf/ppopp/ppopp2021.html#CaiLMMMNS21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ppopp/CaiLMMMNS21
%A Cai, Zixian
%A Liu, Zhengyang
%A Maleki, Saeed
%A Musuvathi, Madanlal
%A Mytkowicz, Todd
%A Nelson, Jacob
%A Saarikivi, Olli
%B PPoPP
%D 2021
%E Lee, Jaejin
%E Petrank, Erez
%I ACM
%K dblp
%P 62-75
%T Synthesizing optimal collective algorithms.
%U http://dblp.uni-trier.de/db/conf/ppopp/ppopp2021.html#CaiLMMMNS21
%@ 978-1-4503-8294-6
@inproceedings{conf/ppopp/CaiLMMMNS21,
added-at = {2023-08-11T00:00:00.000+0200},
author = {Cai, Zixian and Liu, Zhengyang and Maleki, Saeed and Musuvathi, Madanlal and Mytkowicz, Todd and Nelson, Jacob and Saarikivi, Olli},
biburl = {https://www.bibsonomy.org/bibtex/286b05f7dc726c6659343f42df7d32322/dblp},
booktitle = {PPoPP},
crossref = {conf/ppopp/2021},
editor = {Lee, Jaejin and Petrank, Erez},
ee = {https://doi.org/10.1145/3437801.3441620},
interhash = {cb689b6f73d83008a8a0351f9623db45},
intrahash = {86b05f7dc726c6659343f42df7d32322},
isbn = {978-1-4503-8294-6},
keywords = {dblp},
pages = {62-75},
publisher = {ACM},
timestamp = {2024-04-10T01:15:29.000+0200},
title = {Synthesizing optimal collective algorithms.},
url = {http://dblp.uni-trier.de/db/conf/ppopp/ppopp2021.html#CaiLMMMNS21},
year = 2021
}