Semantics for 2D Rasterization
1 points by Gingeh
1 points by Gingeh
In this paper, we develop a formal semantics for the Skia graphics engine (which powers the rendering of applications like Chrome, Firefox, and Sublime Text). We use these semantics to prove correct optimizations that rewrite inefficient sequences of Skia API calls from Chrome. Our optimizer is really good; it achieves average speedups of around 12% over Chrome across the top 100 most-visited websites.
Description from: https://mastodon.social/@bhargavkk/117283544190163184