@InProceedings{fournet-popl13,
  title =        "Fully Abstract Compilation to {JavaScript}",
  author =       "Cedric Fournet and Nikhil Swamy and Juan Chen and
                 Pierre-Evariste Dagand and Pierre-Yves Strub and
                 Benjamin Livshits",
  year =         "2013",
  month =        jan,
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages {(POPL)}",
}