@inproceedings{dblp-conf-sas-luct21,
  title = {Selectively-Amortized Resource Bounding},
  author = {Tianhan Lu and Bor-Yuh Evan Chang and Ashutosh Trivedi},
  year = {2021},
  url = {https://dblp.org/rec/conf/sas/LuCT21},
  booktitle = {SAS 2021}
}