@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} }