Mridul Aanjaneya
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Santosh Nagarakatte7 talks
- Jay P. Lim2 talks
- Ariel E. Kellison5 talks
- Tobias Grosser14 talks
- Arjun Pitchanathan3 talks
- Zhoulai Fu2 talks
| title | conference | date |
|---|---|---|
| Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear(…) | PLDI 2024 | 2024-06-24 |
Claims an algorithm that finds a maximum consensus floating point solution for infeasible low-dimensional linear programs with billions of constraints and few… | ||
| 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 | ||