Reasoning about recursive tree traversals. Wang, Y., Liu, J., Zhang, D., & Qiu, X. In Lee, J. & Petrank, E., editors, PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Virtual Event, Republic of Korea, February 27- March 3, 2021, pages 47–61, 2021. ACM.
Paper doi bibtex @inproceedings{DBLP:conf/ppopp/WangLZQ21,
author = {Yanjun Wang and
Jinwei Liu and
Dalin Zhang and
Xiaokang Qiu},
editor = {Jaejin Lee and
Erez Petrank},
title = {Reasoning about recursive tree traversals},
booktitle = {PPoPP '21: 26th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, Virtual Event, Republic of Korea, February
27- March 3, 2021},
pages = {47--61},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437801.3441617},
doi = {10.1145/3437801.3441617},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/WangLZQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"iu4CrGwbmf6kkizsS","bibbaseid":"wang-liu-zhang-qiu-reasoningaboutrecursivetreetraversals-2021","author_short":["Wang, Y.","Liu, J.","Zhang, D.","Qiu, X."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yanjun"],"propositions":[],"lastnames":["Wang"],"suffixes":[]},{"firstnames":["Jinwei"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Dalin"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Xiaokang"],"propositions":[],"lastnames":["Qiu"],"suffixes":[]}],"editor":[{"firstnames":["Jaejin"],"propositions":[],"lastnames":["Lee"],"suffixes":[]},{"firstnames":["Erez"],"propositions":[],"lastnames":["Petrank"],"suffixes":[]}],"title":"Reasoning about recursive tree traversals","booktitle":"PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Virtual Event, Republic of Korea, February 27- March 3, 2021","pages":"47–61","publisher":"ACM","year":"2021","url":"https://doi.org/10.1145/3437801.3441617","doi":"10.1145/3437801.3441617","timestamp":"Fri, 26 Nov 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/ppopp/WangLZQ21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ppopp/WangLZQ21,\n author = {Yanjun Wang and\n Jinwei Liu and\n Dalin Zhang and\n Xiaokang Qiu},\n editor = {Jaejin Lee and\n Erez Petrank},\n title = {Reasoning about recursive tree traversals},\n booktitle = {PPoPP '21: 26th {ACM} {SIGPLAN} Symposium on Principles and Practice\n of Parallel Programming, Virtual Event, Republic of Korea, February\n 27- March 3, 2021},\n pages = {47--61},\n publisher = {{ACM}},\n year = {2021},\n url = {https://doi.org/10.1145/3437801.3441617},\n doi = {10.1145/3437801.3441617},\n timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ppopp/WangLZQ21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Wang, Y.","Liu, J.","Zhang, D.","Qiu, X."],"editor_short":["Lee, J.","Petrank, E."],"key":"DBLP:conf/ppopp/WangLZQ21","id":"DBLP:conf/ppopp/WangLZQ21","bibbaseid":"wang-liu-zhang-qiu-reasoningaboutrecursivetreetraversals-2021","role":"author","urls":{"Paper":"https://doi.org/10.1145/3437801.3441617"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/43/2087.bib","dataSources":["hu6gnCePSjXrq4RZY"],"keywords":[],"search_terms":["reasoning","recursive","tree","traversals","wang","liu","zhang","qiu"],"title":"Reasoning about recursive tree traversals","year":2021}