Author

Pavel Panchekha

0 works0 citationsORCID

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...

    Proceedings of the ACM on Programming Languages2026-10-010 citationsDOI
  • 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...

    Proceedings of the ACM on Programming Languages2026-10-010 citationsDOI