~dcao posts photos resume

Automated Dependent Resource Analysis1/21/21

As presented at the POPL 2021 SRC

  • Abstract: https://cao.sh/posts/adra-src/popl_21_src_FINAL.pdf
  • Slides: https://cao.sh/posts/adra-src/adra.pptx
  • Virtual poster: https://vimeo.com/503234893 (it should also be embedded above)