@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}
}

{"_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}