Papers

Method, measurement and result, written to be checked.

  1. Closing the gap to C on wrapping integer loops

    Prismio's Int wraps on overflow and fell 5 to 12 percent behind C on tight loops. Four compiler analyses recover the gap without making overflow undefined.

    • Paper
    • Prismio 0.1.0
    • 8 min read
  2. Telling a real benchmark difference from noise

    A verdict rule for short benchmarks that compares both medians and best runs, and why a flat percentage threshold calls ties wins and losses.

    • Paper
    • Prismio 0.1.0
    • 4 min read