Jay P. Lim
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2022
on a stage with
who talks about the same things
- Santosh Nagarakatte7 talks
- Mridul Aanjaneya2 talks
- Ariel E. Kellison5 talks
- Joe Darcy6 talks
- Boguslaw Cyganek5 talks
- Cassio Neri9 talks
| title | conference | date |
|---|---|---|
| One Polynomial Approximation to Produce Correctly Rounded Results of an Elementa | POPL 2022 | 2022-01-16 |
Claims a single polynomial, found by solving linear programs over rounding intervals, yields correctly rounded elementary-function results across multiple… | ||
| Generating Correctly Rounded Math Libraries for New Floating Point Variants | POPL 2021 | 2021-01-17 |
Generates polynomials that approximate the correctly rounded value (not the real value) and encodes coefficient constraints as an LP-formulated constraints… | ||
| nothing matches | ||