SPLASH 2021 (series) / Recent SIGPLAN Conference Paper Presentations /
Towards a Verified Range Analysis for JavaScript JITs
We present VeRA, a system for verifying the range analysis pass in browser just-in-time (JIT) compilers. Browser developers write range analysis routines in a subset of C++, and verification developers write infrastructure to verify custom analysis properties. Then, VeRA automatically verifies the range analysis routines, which browser developers can integrate directly into the JIT. We use VeRA to translate and verify Firefox range analysis routines, and it detects a new, confirmed bug that has existed in the browser for six years.
Fri 22 OctDisplayed time zone: Central Time (US & Canada) change
Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change
10:50 - 12:10 | PLDI 2020 Papers 4SIGPLAN Papers at Zurich G Chair(s): Muhammad Usman University of Texas at Austin, USA | ||
10:50 15mTalk | BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t SIGPLAN Papers Chris Porter Georgia Institute of Technology, USA, Girish Mururu Georgia Institute of Technology, Prithayan Barua Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology | ||
11:05 15mTalk | Crafty: Efficient, HTM-Compatible Persistent Transactions SIGPLAN Papers Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA, Guoqing Harry Xu University of California at Los Angeles | ||
11:20 15mTalk | SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework SIGPLAN Papers Sotiris Apostolakis Google, Ziyang Xu Princeton University, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University DOI Pre-print | ||
11:35 15mTalk | Towards a Verified Range Analysis for JavaScript JITs SIGPLAN Papers Fraser Brown Stanford University, USA, John Renner University of California at San Diego, USA, Andres Nötzli Stanford University, USA, Sorin Lerner University of California at San Diego, Hovav Shacham University of Texas at Austin, Deian Stefan University of California at San Diego, USA Link to publication DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||