November 6th FPTalks Community Meeting: Brett Saiki on first-class rounding contexts
Ian Briggs
Hi Everyone!
Next Thursday, November 6th at 9:00-10:00 AM pacific time, we’ll have the next FPTalks Community Meeting on this Zoom:
https://washington.zoom.us/j/99708186928?pwd=HbhpebAtCWvoP4VQahYb8G1QpQnTgm.1
Google Calender: https://calendar.google.com/calendar/u/0?cid=Y181N3Ayc3ZqdjFuN2JxNDkzNGNlbmYzNWxkMEBncm91cC5jYWxlbmRhci5nb29nbGUuY29t
We’re super excited to welcome Brett Saiki from University of Washington and Intel to present on programming with first-class rounding contexts
separate from exact mathematical operations, provides one such high-level
abstraction. However, its rounding context construct cannot capture a key
feature of an emerging class of algorithms: rounding that depends on
runtime values. To express and study these designs, we propose making
rounding contexts first-class values.
We implement these ideas in FPy, a domain-specific language for exploring
numerical algorithms. FPy allows programmers to capture both existing
FPCore programs, and algorithms with value-dependent rounding that cannot
be captured in FPCore. First-class rounding contexts enable systematic
exploration, since rounding parameters may be program inputs rather than
controlled via ad-hoc metaprogramming. We demonstrate FPy’s effectiveness
by analyzing how design parameters affect numerical error on a family of
designs from prior work that features value-dependent rounding.
Looking forward to seeing everyone!
As a reminder, if you would like to give a talk or know of someone that would be great for an FPBench Community meeting, please have them fill out the speaker suggestion form!
FPTalks Discussion: https://fpbench.org/subscribe
Ian Briggs
Hi Everyone!
This Thursday, November 6th at 9:00-10:00 AM pacific time, we’ll have the next FPTalks Community Meeting on this Zoom: