@inproceedings{dblp-conf-vmcai-lucc019,
  title = {Type-Directed Bounding of Collections in Reactive Programs},
  author = {Tianhan Lu and Pavol Cerný and Bor-Yuh Evan Chang and Ashutosh Trivedi},
  year = {2019},
  url = {https://dblp.org/rec/conf/vmcai/LuCC019},
  booktitle = {VMCAI 2019}
}