- 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)
Automated Dependent Resource Analysis1/21/21
As presented at the POPL 2021 SRC