Author
Pavel Panchekha
Recent research
- AI & ComputingOpen access
Semantics for 2D Rasterization
Rasterization is the process of determining the color of every pixel drawn by an application. Powerful rasterization libraries like Skia, CoreGraphics, and Direct2D put exceptional effort into drawing, blending, and rendering efficiently. Yet applications are still hindered by th...
- AI & ComputingOpen access
Accurate Residues for Floating-Point Debugging
Floating-point arithmetic is error-prone and unintuitive. Floating-point debuggers instrument programs to monitor floating-point arithmetic at run time and flag numerical issues. To do so, they estimate residues—the difference between actual floating-point and ideal real values—f...