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.
Reasoning about recursive tree traversals [link]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