Caleb C. Chan

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Conjunctive Queries

Interval Arithmetic

Top Venues

Publications

Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. UIST (2023)