Zachary Tatlock

Papers that credit Zachary Tatlock in their source bylines. Matching names may refer to different researchers.

1 results

1. PaperSoftware & Code

   A shared number model clarifies when rounding can be reused

   A shared number model shows when double rounding works and tests a reusable library on specialized arithmetic.

   Added to Chiosa Oct 08, 2026