@inproceedings{brown:2020:vera,
author = {Fraser Brown and John Renner and Andres Noetzli and Sorin Lerner and Hovav Schacham and Deian Stefan},
title = {Towards a Verified Range Analysis for Javascript JITs},
booktitle = {Programming Language Design and Implementation (PLDI)},
month = {June},
year = {2020},
publisher = {ACM SIGPLAN}
}