TY  - RPRT
TI  - SynGuar: Guaranteeing Generalization in Programming by Example
AU  - Bo Wang
AU  - Teodora Baluta
AU  - Aashish Kolluri
AU  - Prateek Saxena
PY  - 2021
DO  - 10.1145/3468264.3468621
UR  - https://arxiv.org/abs/2106.11610
ID  - 2106.11610
ER  -