Towards a verified range analysis for JavaScript JITs.

Fraser Brown, John Renner, Andres Ntzli, Sorin Lerner, Hovav Shacham, Deian Stefan

Browse the full PLDI paper archive.