@inproceedings{brown:2020:vera,
  author    = {Fraser Brown and John Renner and Andres N\"oetzli and Sorin Lerner and Hovav Shacham and Deian Stefan},
  title     = {Towards a verified range analysis for {JavaScript} {JIT}s},
  booktitle = {Programming Language Design and Implementation (PLDI)},
  publisher = {ACM SIGPLAN},
  month     = {June},
  year      = {2020}
}