Towards a verified range analysis for JavaScript JITs

Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan. Towards a verified range analysis for JavaScript JITs. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 135-150, ACM, 2020. [doi]

Authors

Fraser Brown

This author has not been identified. Look up 'Fraser Brown' in Google

John Renner

This author has not been identified. Look up 'John Renner' in Google

Andres Nötzli

This author has not been identified. Look up 'Andres Nötzli' in Google

Sorin Lerner

This author has not been identified. It may be one of the following persons: Look up 'Sorin Lerner' in Google

Hovav Shacham

This author has not been identified. Look up 'Hovav Shacham' in Google

Deian Stefan

This author has not been identified. Look up 'Deian Stefan' in Google