@article{YangYS12,
  author    = {Jean Yang and
               Kuat Yessenov and
               Armando Solar-Lezama},
  title     = {A language for automatically enforcing privacy policies},
  booktitle = {POPL},
  year      = {2012},
  pages     = {85-96},
}