Showing 2026Show all
2 papers · 1 filter
cs.PL2026
When Double Rounding is Correct
Brett Saiki, Bill Zorn, Cynthia Richey +1
Number libraries, which implement number formats and their arithmetic in software, are used to simulate hardware, making hardware behavior reproducible and thus verifiable and easi…
cs.PL2026
Equality saturation theory exploration à la carte
Anjali Pal, Brett Saiki, Ryan Tjoa +6
Rewrite rules are critical in equality saturation, an increasingly popular technique in optimizing compilers, synthesizers, and verifiers. Unfortunately, developing high-quality ru…